610 search results - page 16 / 122 » Synchronous Programming of Reactive Systems |
EDBTW
2006
Springer
13 years 11 months ago
2006
Springer
Reactivity, the ability to detect and react to events, is an essential functionality in many information systems. In particular, Web systems such as online marketplaces, adaptive (...
JWE
2006
13 years 7 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....
FMCO
2006
Springer
13 years 11 months ago
2006
Springer
This paper addresses the problem of off-line selection of test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of re...
POS
1994
Springer
13 years 11 months ago
1994
Springer
QEST
2006
IEEE
14 years 1 months ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...