4341 search results - page 15 / 869 » Quantitative Model checking |
ARTS
1997
Springer
14 years 11 days ago
1997
Springer
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...
ICFCA
2010
Springer
14 years 3 months ago
2010
Springer
Abstract. In the past years Software Engineering has experienced several difficulties in modularising crosscutting aspects, like shared, dynamic or scattered behavior of object-ori...
EMSOFT
2003
Springer
14 years 2 months ago
2003
Springer
We present a formalism for specifying component interfaces that expose component requirements on limited resources. The formalism permits an algorithmic check if two or more compon...
QEST
2005
IEEE
14 years 2 months ago
2005
IEEE
AIPS
2000
13 years 10 months ago
2000
We develop an algorithm for merging plans that are represented in a richly expressive language. Speci cally, weare concerned with plans that have i quantitative temporal constrain...