123 search results - page 2 / 25 » On the Construction of Sorted Reactive Systems |
PPDP
2005
Springer
13 years 9 months ago
2005
Springer
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...
DATE
2005
IEEE
13 years 10 months ago
2005
IEEE
Embedded software design for real time reactive system
VMCAI
2004
Springer
13 years 9 months ago
2004
Springer
Biological systems can be modeled beneficially as reactive systems, using languages and tools developed for the construction of man-made systems. Our long-term aim is to model a f...
LICS
2005
IEEE
13 years 10 months ago
2005
IEEE
The theory of reactive systems, introduced by Leifer and Milner and previously extended by the authors, allows the derivation of well-behaved labelled transition systems (LTS) for...
JWE
2006
13 years 4 months ago
2006
Reactivity on the Web is an emerging issue. It is essential for upcoming Web systems such as online marketplaces, adaptive, Semantic Web systems as well as Web services and Grids....