2530 search results - page 118 / 506 » Dynamic topological logic |
134
Voted
CONCUR
2004
Springer
15 years 9 months ago
2004
Springer
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
127
Voted
AMAST
2000
Springer
15 years 8 months ago
2000
Springer
The primary objective of this paper is to present the deÿnition of a new dynamic, linear and modal logic for security protocols. The logic is compact, expressive and formal. It a...
125
Voted
TIME
2008
IEEE
15 years 10 months ago
2008
IEEE
Boolean contact algebras constitute a convenient approach to a region based theory of space. In this paper we want to extend this approach to regions moving in time - called timed...
117
Voted
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
—We consider network reliability in layered networks where the lower layer experiences random link failures. In layered networks, each failure at the lower layer may lead to mult...
126
Voted
NOMS
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract—Rapid and unpredictable topology changes and resource constraints make delivering packets in a MANET (Mobile Ad hoc Network) a challenging task. Routing information has ...