438 search results - page 42 / 88 » Emergent Properties in Reactive Systems |
SAS
2012
Springer
11 years 10 months ago
2012
Springer
Programming distributed and reactive asynchronous systems is complex due to the lack of synchronization between concurrently executing tasks, and arbitrary delay of message-based c...
QI
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Information systems are socio-technical systems. Their design, analysis and implementation requires appropriate languages for representing social and technical concepts. ...
FDL
2003
IEEE
14 years 1 months ago
2003
IEEE
With the increasing complexity of the emerging embedded real-time systems, traditional design approaches can not provide sufficient support for the development of these systems an...
ECRTS
2003
IEEE
14 years 1 months ago
2003
IEEE
Advances in scheduling theory have given designers of control systems greater flexibility over their choice of timing requirements. This could lead to systems becoming more respon...
ICDT
2009
ACM
13 years 5 months ago
2009
ACM
We describe a novel approach to verification of software systems centered around an underlying database. Instead of applying general-purpose techniques with only partial guarantee...