253 search results - page 38 / 51 » Compositional Analysis of Authentication Protocols |
120
click to vote
AINA
2007
IEEE
15 years 7 months ago
2007
IEEE
The paper presents a fail-safe mobility management and a collision prevention platform for a group of asynchronous cooperative mobile robots. The fail-safe platform consists of a ...
162
click to vote
TITB
2010
14 years 9 months ago
2010
A Body Area Network (BAN) is a wireless network of health monitoring sensors designed to deliver personalized health-care. Securing inter-sensor communications within BANs is essen...
112
click to vote
RTSS
1999
IEEE
15 years 7 months ago
1999
IEEE
The e ective design of composite dependable and real-time protocols entails demonstrating their proof of correctness and, in practice, the e cient delivery of services. We focus o...
118
click to vote
TAOSD
2010
15 years 1 months ago
2010
Abstract. The aim of this paper is to explore the modeling of crosscutavioral abstractions. We argue that behavioral aspects can be a particular kind of more general behavioral abs...
131
click to vote
AINA
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper presents a modeling method particularly suited to analyze interactions between Message Passing Interface MPI library execution and distributed cache coherence protocol....