17 papers:
ECSA-2013-SilvaB #architecture #automation #consistency #named- PANDArch: A Pluggable Automated Non-intrusive Dynamic Architecture Conformance Checker (LdS, DB), pp. 240–248.
IFL-2013-DenuziereRG #declarative #modelling #specification #user interface- Piglets to the rescue: Declarative User Interface Specification with Pluggable View Models (LD, ER, AG), p. 105.
SAC-2013-Barros #component #representation- Representing dynamic pluggable software units (FB), pp. 1006–1012.
FSE-2012-MilanovaH- Inference and checking of context-sensitive pluggable types (AM, WH), p. 26.
ICSE-2011-DietlDEMS #using- Building and using pluggable type-checkers (WD, SD, MDE, KM, TWS), pp. 681–690.
SIGMOD-2010-AnciauxBGPVY- Pluggable personal data servers (NA, LB, YG, PP, JJV, SY), pp. 1235–1238.
- FSE-2010-ErnstA #type system #using
- Building and using pluggable type systems (MDE, MA), pp. 375–376.
HPDC-2009-GoncalvesS #parallel- Pluggable parallelisation (RCG, JLS), pp. 11–20.
ISSTA-2008-PapiACPE #java- Practical pluggable types for java (MMP, MA, TLCJ, JHP, MDE), pp. 201–212.
TOOLS-EUROPE-2007-EkmanH #java- Pluggable checking and inferencing of nonnull types for Java (TE, GH), pp. 455–475.
OOPSLA-2006-AndreaeNMM #framework #implementation #type system- A framework for implementing pluggable type systems (CA, JN, SM, TDM), pp. 57–74.
LCTES-2006-CoopriderR #abstract domain #embedded- Pluggable abstract domains for analyzing embedded software (NC, JR), pp. 44–53.
- OOPSLA-2005-KojarskiL #aspect-oriented #composition #design
- Pluggable AOP: designing aspect mechanisms for third-party composition (SK, DHL), pp. 247–263.
- OOPSLA-2004-Fong #verification #virtual machine
- Pluggable verification modules: an extensible protection mechanism for the JVM (PWLF), pp. 404–418.
- ICSE-2004-LingenH #composition #configuration management #framework #policy
- An Experimental, Pluggable Infrastructure for Modular Configuration Management Policy Composition (RvdL, AvdH), pp. 573–582.
HT-2003-ZakariaMSB #adaptation #education #hypermedia #modelling- “Pluggable” user models for adaptive hypermedia in education (MRZ, AM, CDS, TJB), pp. 170–171.
- ICSE-2003-LorenzV #implementation #interface
- Pluggable Reflection: Decoupling Meta-Interface and Implementation (DHL, JMV), pp. 3–13.
