1454 search results - page 157 / 291 » Stateful traits and their formalization |
183
click to vote
HASE
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
184
click to vote
FM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
177
click to vote
FMCAD
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...
146
click to vote
DALT
2006
Springer
15 years 10 months ago
2006
Springer
Agents in an open system interact with each other based on (typically, published) protocols. An agent may, however, deviate from the protocol because of its internal policies. Such...
160
click to vote
ESWS
2006
Springer
15 years 10 months ago
2006
Springer
Functional descriptions are a central pillar of Semantic Web services. Disregarding details on how to invoke and consume the service, they shall provide a black box description for...