Sciweavers

1021 search results - page 103 / 205
» Design of a Specification Language by Abstract Syntax Engine...
Sort
View
EMSOFT
2010
Springer
15 years 27 days ago
Initiating a design pattern catalog for embedded network systems
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...
Sally K. Wahba, Jason O. Hallstrom, Neelam Soundar...
ESAW
2008
Springer
15 years 4 months ago
ADELFE Design, AMAS-ML in Action
The complexity of engineers tasks leads us to provide means to bring the Adaptive Multi-Agent Systems (AMAS) design to a higher stage of automation and confidence thanks to Model D...
Sylvain Rougemaille, Jean-Paul Arcangeli, Marie Pi...
130
Voted
OOPSLA
2005
Springer
15 years 8 months ago
A delta-driven execution model for semantic computing
We describe (and demonstrate) the execution model of a computing platform where computation is both incremental and data-driven. We call such an approach delta-driven. The platfor...
Roly Perera, Jeff Foster, György Koch
188
Voted
ECOOPWEXCEPTION
2006
Springer
15 years 6 months ago
Handling Multiple Concurrent Exceptions in C++ Using Futures
Abstract. Exception handling is a well-established mechanism in sequential programming. Concurrency and asynchronous calls introduce the possibility for multiple simultaneous excep...
Matti Rintala
ECOOP
2008
Springer
15 years 4 months ago
On Validity of Program Transformations in the Java Memory Model
Abstract. We analyse the validity of several common program transformations in multi-threaded Java, as defined by the Java Memory Model (JMM) section of Chapter 17 of the Java Lang...
Jaroslav Sevcík, David Aspinall