177 search results - page 1 / 36 » Reasoning About Active Network Protocols |
ICNP
1998
IEEE
14 years 2 months ago
1998
IEEE
CSFW
2000
IEEE
14 years 3 months ago
2000
IEEE
In this paper we develop a language of mobile agents called uPLAN for describing the capabilities of active (programmable) networks. We use a formal semantics for uPLAN to demonst...
CSFW
2007
IEEE
14 years 5 months ago
2007
IEEE
There has been excellent progress on languages for rigorously describing key exchange protocols and techniques for proving that the network security tunnels they establish preserv...
CI
1998
13 years 11 months ago
1998
This paper presents a point based spatio-temporal rst order logic for representing the qualitative and quantitative spatial temporal knowledge needed to reason about motion in a t...
ICFEM
2010
Springer
13 years 9 months ago
2010
Springer
Designing concurrent or distributed systems with complex architectures while preserving a set of high-level requirements through all design steps is not a trivial task. Building up...