800 search results - page 109 / 160 » Programming Models for Concurrency and Real-Time |
152
click to vote
SPIN
2004
Springer
15 years 6 months ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
SIGADA
1999
Springer
15 years 5 months ago
1999
Springer
Representing interdependencies between the objects of an object-oriented software application requires designtime mechanisms for specifying object interrelationships, as well as s...
114
click to vote
ICST
2008
IEEE
15 years 7 months ago
2008
IEEE
It is becoming increasingly important to be able to adapt an application’s behavior at run time in response to changing requirements and environmental conditions. Adaptive progr...
114
click to vote
SCCC
1999
IEEE
15 years 5 months ago
1999
IEEE
Threads have been present in programming languages for some time now. However, they have a bad image among software developers because they lead to unreliable applications. Most o...
GPCE
2007
Springer
15 years 7 months ago
2007
Springer
Every notion of a component for the development of embedded systems has to take heterogeneity into account: components may be hardware or software or OS, synchronous or asynchrono...