2366 search results - page 134 / 474 » Pfaffian Hybrid Systems |
109
click to vote
HYBRID
2010
Springer
14 years 11 months ago
2010
Springer
A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design...
103
Voted
FROCOS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In this paper, we introduce a spatial and temporal logic for reasoning about distributed computation. The logic is a combination of an extension of hybrid logic, that all...
106
click to vote
HYBRID
1995
Springer
15 years 4 months ago
1995
Springer
Uppaal is a new tool suit for automatic veri cation of networks of timed automata. In this paper we describe the diagnostic model-checking feature of Uppaal and illustrates its use...
108
Voted
ECBS
2009
IEEE
15 years 8 months ago
2009
IEEE
Probabilistic models are useful for analyzing systems which operate under the presence of uncertainty. In this paper, we present a technique for verifying safety and liveness prop...
143
Voted
ANSS
2008
IEEE
15 years 7 months ago
2008
IEEE
Efficient job scheduling in grids is challenging due to the large number of distributed autonomous resources. In this paper we study various resource allocation policies in a 2-le...