334 search results - page 41 / 67 » A parametric analysis of the state-explosion problem in mode... |
103
click to vote
ICALP
2001
Springer
15 years 5 months ago
2001
Springer
A cryptographic protocol can be described as a system of concurrent processes, and analysis of the traces generated by this system can be used to verify authentication and secrecy ...
114
Voted
MOC
2002
15 years 14 days ago
2002
The mortar technique turns out to be well adapted to handle mesh adaptivity in finite elements, since it allows for working with nonnecessarily compatible discretizations on the el...
109
click to vote
APN
1995
Springer
15 years 4 months ago
1995
Springer
State Space Analysis is one of the most developed analysis methods for Petri Nets. The main problem of state space analysis is the size of the state spaces. Several ways to reduce ...
113
Voted
IANDC
2008
15 years 26 days ago
2008
Hybrid systems are dynamical systems with the ability to describe mixed discretecontinuous evolution of a wide range of systems. Consequently, at first glance, hybrid systems appe...
81
Voted
ATAL
2004
Springer
15 years 6 months ago
2004
Springer
We introduce a Game Logic with Preferences (GLP), which makes it possible to reason about how information or assumptions about the preferences of other players can be used by agen...