438 search results - page 4 / 88 » Emergent Properties in Reactive Systems |
86
Voted
ICTAC
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We present a synchronous approach to real-time reactive programming in Lucid enriched with contexts as first class objects. The declarative intensional approach allows r...
129
click to vote
ICSE
2003
IEEE-ACM
15 years 4 months ago
2003
IEEE-ACM
Functional requirements contain, and systems exhibit, the behavior summarized below.Despite the advances in software engineering since 1968, how to go from a set of functional req...
84
Voted
CORR
2006
Springer
14 years 11 months ago
2006
Springer
We are interested in verifying dynamic properties of finite state reactive systems under fairness assumptions by model checking. The systems we want to verify are specified throug...
101
Voted
FASE
1998
Springer
15 years 3 months ago
1998
Springer
A loose semantics for graph transformation rules which has been developed recently is used in this paper for the compositional verification of specifications. The main conceptual t...
93
Voted
CCGRID
2005
IEEE
15 years 5 months ago
2005
IEEE
We have observed that supercomputing clusters made up of commodity off-the-shelf computers possess emergent properties that are apparent when these systems are considered as an in...