1804 search results - page 69 / 361 » On set systems with a threshold property |
155
click to vote
HYBRID
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper we present algorithms and tools for fast and efficient reachability analysis, applicable to continuous and hybrid systems. Most of the work on reachability ...
170
click to vote
ATVA
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...
155
click to vote
ER
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Definitions of the concepts derived from the goal concept (including functional and nonfunctional goal, hardgoal, and softgoal) used in requirements engineering are discu...
141
click to vote
RTS
2010
15 years 4 months ago
2010
Abstract Complex real-time systems, must integrate physical processes with digital control, human operation and organizational structures. New scientific foundations are required ...
233
click to vote
FAABS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...