1980 search results - page 212 / 396 » Compositional Model Checking of Real Time Systems |
122
click to vote
IUI
2006
ACM
15 years 9 months ago
2006
ACM
Automated software customization is drawing increasing attention as a means to help users deal with the scope, complexity, potential intrusiveness, and ever-changing nature of mod...
146
click to vote
SDL
2003
15 years 4 months ago
2003
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...
148
Voted
SOFTVIS
2003
ACM
15 years 8 months ago
2003
ACM
An active research area in telecommunications concerns how to specify and control the addition of new services, such as call waiting or instant messaging, into existing software. ...
133
Voted
ICANN
2007
Springer
15 years 9 months ago
2007
Springer
Many applications would emerge from the development of artificial systems able to accurately localize and identify sound sources. However, one of the main difficulties of such kin...
121
click to vote
HVC
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper studies the efficiency of several probabilistic model checkers by comparing verification times and peak memory usage for a set of standard case studies. The s...