7274 search results - page 1125 / 1455 » Abstractions for network update |
219
click to vote
TCC
2004
Springer
16 years 28 days ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
233
click to vote
MA
2001
Springer
16 years 1 days ago
2001
Springer
Abstract. The goal of mobile agent systems is to provide a distributed computing infrastructure supporting applications whose components can move between different execution enviro...
224
click to vote
ICLP
2010
Springer
15 years 11 months ago
2010
Springer
[6]. An SBML model can be interpreted in Biocham at three abstraction levels: • the Boolean semantics (asynchronuous Boolean state transitions on the presence/absence of molecule...
219
click to vote
COORDINATION
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Constraint automata have been used as an operational model for component connectors that coordinate the cooperation and communication of the components by means of a netw...
196
click to vote
ICCAD
1995
IEEE
15 years 11 months ago
1995
IEEE
Abstract -- Telecommunication network management applications often require application-specific ICs that use large dynamically allocated stored data structures. Currently availab...