5863 search results - page 297 / 1173 » On Model-Checking of P Systems |
185
click to vote
LICS
2005
IEEE
16 years 27 days ago
2005
IEEE
Metric Temporal Logic (MTL) is a prominent specification formalism for real-time systems. In this paper, we show that the satisfiability problem for MTL over finite timed words...
189
click to vote
ADAEUROPE
2005
Springer
16 years 26 days ago
2005
Springer
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...
197
click to vote
FOSSACS
2005
Springer
16 years 25 days ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed, to study historybased access control. It allows for security policies with a possibly nested, local scope. We define a type ...
182
click to vote
IPPS
2003
IEEE
16 years 17 days ago
2003
IEEE
This paper investigates a complexity-effective technique for verifying a highly distributed directory-based cache coherence protocol. We develop a novel approach called “witnes...
243
click to vote
TIME
2003
IEEE
16 years 17 days ago
2003
IEEE
We investigate expressivity and complexity of hybrid logics on linear structures. Hybrid logics are an enrichment of modal logics with certain first-order features which are algo...