7778 search results - page 120 / 1556 » Designing Controllers for Reachability |
131
click to vote
EDOC
2000
IEEE
15 years 7 months ago
2000
IEEE
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...
111
Voted
WETICE
2000
IEEE
15 years 7 months ago
2000
IEEE
This poster paper presents a work in progress in the new emerging area of electronic services (e-services). The networked home with refrigerators and washing machines connected to...
130
Voted
SAS
1999
Springer
15 years 7 months ago
1999
Springer
We define an operational semantics for the Signal language and design an analysis which allows to verify properties pertaining to the relation between values of the numeric and bo...
127
Voted
CAV
2007
Springer
15 years 7 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
114
click to vote
CAV
2006
Springer
15 years 7 months ago
2006
Springer
Fast is a tool designed for the analysis of counter systems, i.e. automata extended with unbounded integer variables. Despite the reachability set is not recursive in general, Fast...