Sciweavers

11324 search results - page 315 / 2265
» Coordination Models and Languages
Sort
View
TOOLS
1999
IEEE
15 years 11 months ago
On Creation, Equality and the Object Model
In designing languages, we strive for consistency and elegance. In object-oriented languages, simple data types have always been a problem in that they do not quite fit in with th...
Michael Kölling, John Rosenberg
POPL
2009
ACM
16 years 7 months ago
A model of cooperative threads
We develop a model of concurrent imperative programming with threads. We focus on a small imperative language with cooperative threads which execute without interruption until the...
Gordon D. Plotkin, Martín Abadi
MODELS
2009
Springer
16 years 1 months ago
Incremental Model Synchronization for Efficient Run-Time Monitoring
Thomas Vogel, Stefan Neumann, Stephan Hildebrandt,...
148
Voted
MODELS
2009
Springer
16 years 1 months ago
Generating Synchronization Engines between Running Systems and Their Model-Based Views
Hui Song, Yingfei Xiong, Franck Chauvel, Gang Huan...
MODELS
2009
Springer
16 years 1 months ago
Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration
Basil Becker, Holger Giese, Stefan Neumann, Martin...