3729 search results - page 656 / 746 » On Formal Modeling of Agent Computations |
139
click to vote
KBSE
2007
IEEE
16 years 16 days ago
2007
IEEE
Growth in the complexity of computing systems, in the dynamism of the environments they operate in, and the need for timely adaptations as conditions change, now pose significant...
146
click to vote
CAV
2007
Springer
16 years 13 days ago
2007
Springer
Liveness temporal properties state that something “good” eventually happens, e.g., every request is eventually granted. In Linear Temporal Logic (LTL), there is no a priori bo...
168
click to vote
CONCUR
2007
Springer
16 years 13 days ago
2007
Springer
Scenario languages based on Message Sequence Charts (MSCs) have been widely studied in the last decade [21,20,3,15,12,19,14]. The high expressive power of MSCs renders many basic ...
147
click to vote
HYBRID
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
171
click to vote
BROADNETS
2006
IEEE
16 years 9 days ago
2006
IEEE
This paper studies the system parameters that affect the total cost of managing the multicast group on a router. A Petri net model is first proposed to describe the states and tra...