1228 search results - page 7 / 246 » Techniques for Reactive System Design: The Tools in TRADE |
MA
1998
Springer
13 years 12 months ago
1998
Springer
Mobile active computational entities introduce peculiar problems in the coordination of distributed application components. The paper surveys several coordination models for mobil...
Lab
We are interested in studying and developing programming languages techniques such as multi-stage programming, reactive programming, and indexed types and in showing how they can b...
AUTOMATICA
2008
13 years 6 months ago
2008
This paper presents a generation expansion model for the power sector which incorporates several features that make it very interesting for its application to current electricity m...
POPL
2000
ACM
13 years 11 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
EMSOFT
2010
Springer
13 years 5 months ago
2010
Springer
In the domain of desktop software, design patterns have had a profound impact; they are applied ubiquitously across a broad range of applications. Patterns serve both to promulgat...