Sciweavers

248 search results - page 24 / 50
» Knit: Component Composition for Systems Software
Sort
View
ICLP
2004
Springer
15 years 7 months ago
Applying CLP to Predict Extra-Functional Properties of Component-Based Models
A component is the basic re-usable unit of composition to build composite systems by connecting to others through their provided and required ports. Checking the functional complia...
Olivier Defour, Jean-Marc Jézéquel, ...
LCTRTS
2005
Springer
15 years 7 months ago
Software design patterns for TinyOS
— We present design patterns used by software components in the TinyOS operating system. They differ significantly from traditional software design patterns due to TinyOS’s fo...
David Gay, Philip Levis, David E. Culler
140
Voted
EMSOFT
2001
Springer
15 years 6 months ago
Interface Theories for Component-Based Design
Abstract. We classify component-based models of computation into component models and interface models. A component model speci es for each component how the component behaves in a...
Luca de Alfaro, Thomas A. Henzinger
81
Voted
BIRTHDAY
2004
Springer
15 years 7 months ago
Composing Hidden Information Modules over Inclusive Institutions
: This paper studies the composition of modules that can hide information, over a very general class of logical systems called inclusive institutions. Two semantics are given for c...
Joseph A. Goguen, Grigore Rosu
ISSRE
2010
IEEE
15 years 10 days ago
Automata-Based Verification of Security Requirements of Composite Web Services
— With the increasing reliance of complex real-world applications on composite web services assembled from independently developed component services, there is a growing need for...
Hongyu Sun, Samik Basu, Vasant Honavar, Robyn R. L...