672 search results - page 6 / 135 » Analysis and applications of timed service protocols |
104
click to vote
ECRTS
2006
IEEE
15 years 5 months ago
2006
IEEE
FlexRay will very likely become the de-facto standard for in-vehicle communications. However, before it can be successfully used for safety-critical applications that require pred...
119
click to vote
SEMWEB
2004
Springer
15 years 5 months ago
2004
Springer
A central requirement for achieving the vision of run-time discovery and dynamic composition of services is the provision of appropriate descriptions of the operation of a service,...
92
Voted
CCS
2001
ACM
15 years 4 months ago
2001
ACM
Authenticating mobile computing users can require a significant amount of processing and communications resources— particularly when protocols based on public key encryption are...
94
Voted
FMSD
2006
14 years 11 months ago
2006
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...
103
click to vote
IPPS
2006
IEEE
15 years 5 months ago
2006
IEEE
Sampling is a widely used technique to increase efficiency in database and data mining applications operating on large dataset. In this paper we present a scalable sampling imple...