2162 search results - page 202 / 433 » A Meta-Notation for Protocol Analysis |
155
click to vote
ICPP
2006
IEEE
16 years 3 days ago
2006
IEEE
Recently, Bloom filters have been widely used in distributed systems where they are replicated to process distributed queries. Bloom filter replicas become stale in a dynamic en...
145
click to vote
BROADNETS
2007
IEEE
16 years 13 days ago
2007
IEEE
Abstract The increased usage of directional methods of communications to improve medium reuse, network capacity, and bandwidth has prompted research into leveraging directionalit...
153
click to vote
ICIC
2005
Springer
15 years 11 months ago
2005
Springer
Stream Control Transmission Protocol (SCTP) is a new end-to-end transport protocol, which can be used to support the mobility of mobile terminals. This paper describes a framework ...
175
click to vote
ICICS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The NRL Pump protocol defines a multilevel secure component whose goal is to minimize leaks of information from high level systems to lower level systems, without degrad...
159
Voted
RTCSA
1999
IEEE
15 years 10 months ago
1999
IEEE
Abstract. We present an approach to static priority preemptive process scheduling for the synthesis of hard realtime distributed embedded systems where communication plays an impor...