1463 search results - page 252 / 293 » Model Checking Implicit-Invocation Systems |
108
click to vote
WSC
1998
15 years 2 months ago
1998
The fast growth in airline passenger traffic combined with the slow growth in airport capacity worldwide is putting a severe strain on the capability of airlines to adapt their pr...
114
click to vote
SAFECOMP
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. In this paper we describe a novel concept for reliability analysis of communication architectures in safety-critical systems. This concept has been motivated by applicati...
119
click to vote
ICSE
1993
IEEE-ACM
15 years 5 months ago
1993
IEEE-ACM
Composite systems generally comprise heterogeneous components whose specifications are developed by many development participants. The requirements of such systems are invariably ...
125
click to vote
ICALP
2010
Springer
15 years 3 months ago
2010
Springer
Guided Abstraction Simplification Roberto Giacobazzi1 and Francesco Ranzato2 1 University of Verona, Italy 2 University of Padova, Italy Abstract. In static analysis, approximation...
117
click to vote
SIGSOFT
2008
ACM
16 years 2 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...