7329 search results - page 1225 / 1466 » Network Extractor Protocols |
157
click to vote
ICFEM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We develop a way of analyzing the behavior of systems modeled using Discrete Time Markov Chains (DTMC). Specifically, we define iLTL, an LTL with linear inequalities on...
151
click to vote
TCC
2004
Springer
15 years 9 months 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...
108
click to vote
CCGRID
2003
IEEE
15 years 9 months ago
2003
IEEE
Application-level multicast (ALM) is being increasingly recognized as a solution to support multipoint applications without the need for a network layer multicast protocol. Though...
132
click to vote
ISPDC
2003
IEEE
15 years 9 months ago
2003
IEEE
As software Distributed Shared Memory(DSM) systems become attractive on larger clusters, the focus of attention moves toward improving the reliability of systems. In this paper, w...
160
click to vote
EUROPAR
2003
Springer
15 years 9 months ago
2003
Springer
This paper describes an agent-based architecture that extends personal mobility to ubiquitous environment. A software agent, running on a portable device, leverages the existing se...