1369 search results - page 9 / 274 » Graphical Design 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 (...
JSS
2008
13 years 7 months ago
2008
The increasing trend toward complex software systems has highlighted the need to incorporate quality requirements earlier in the development cycle. We propose a new methodology fo...
VLDB
1994
ACM
13 years 11 months ago
1994
ACM
This paper describes the design and implementation of NAOS, an active rule component in the object-oriented database system 02. The contribution of this work is related to two mai...
DAC
1997
ACM
13 years 11 months ago
1997
ACM
Task scheduling forreactive real time systems is a di cult problem due to tight constraints that the schedule must satisfy. A static priority scheme is proposed here that can be f...
CCS
2000
ACM
13 years 11 months ago
2000
ACM
We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the wellknown simulatability approach, i.e., the specification is an ...