1655 search results - page 154 / 331 » State, Event, Time and Diagram in System Modeling |
170
click to vote
TACAS
2004
Springer
15 years 11 months ago
2004
Springer
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...
173
click to vote
IFIP
1994
Springer
15 years 10 months ago
1994
Springer
The computer simulation control problem can be splitted in two parts, namely a local control problem and a global control problem. The local control de nes the \behavior" of ...
177
click to vote
IDEAL
2004
Springer
15 years 11 months ago
2004
Springer
Many time series exhibit dynamics over vastly different time scales. The standard way to capture this behavior is to assume that the slow dynamics are a “trend”, to de-trend t...
184
click to vote
SASN
2003
ACM
15 years 11 months ago
2003
ACM
The purpose of this work is to automate the analysis of ad hoc routing protocols in the presence of attackers. To this end, a formal model of protocol behavior is developed in whi...
189
click to vote
DEBS
2008
ACM
15 years 7 months ago
2008
ACM
Availability of an overlay network is a necessary condition for event delivery in event based systems. The availability of the overlay links depends on the underlying physical net...