819 search results - page 107 / 164 » Using Assumptions to Distribute CTL Model Checking |
121
Voted
ICTAC
2005
Springer
15 years 8 months ago
2005
Springer
In distributed and mobile systems with volatile bandwidth and fragile connectivity, non-functional aspects like performance and reliability become more and more important. To forma...
132
click to vote
NIPS
2001
15 years 4 months ago
2001
This paper proposes an approach to classification of adjacent segments of a time series as being either of classes. We use a hierarchical model that consists of a feature extract...
150
Voted
COORDINATION
2004
Springer
15 years 8 months ago
2004
Springer
This paper presents Limone, a new coordination model that facilitates rapid application development over ad hoc networks consisting of logically mobile agents and physically mobile...
107
Voted
PODC
2010
ACM
15 years 6 months ago
2010
ACM
We propose a natural generalisation of asynchronous bounded delay (ABD) network models. The commonly used ABD models assume a known bound on message delay. This assumption is ofte...
127
click to vote
FTRTFT
1998
Springer
15 years 6 months ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...