2508 search results - page 292 / 502 » An analytic approach to stability |
166
click to vote
MIDDLEWARE
2005
Springer
16 years 6 days ago
2005
Springer
This paper introduces dual-quorum replication, a novel data replication algorithm designed to support Internet edge services. Dual-quorum replication combines volume leases and qu...
173
click to vote
VLSM
2005
Springer
16 years 5 days ago
2005
Springer
Current state-of-the-art methods in variational image segmentation using level set methods are able to robustly segment complex textured images in an unsupervised manner. In recent...
178
click to vote
MOBICOM
2004
ACM
16 years 4 days ago
2004
ACM
— This paper studies the design of layer-2 protocols for a vehicle to send safety messages to other vehicles. The target is to send vehicle safety messages with high reliability ...
154
click to vote
WOSP
2004
ACM
16 years 4 days ago
2004
ACM
In this paper we present an original method of analysing the newlyrevised UML2.0 activity diagrams. Our analysis method builds on our formal interpretation of these diagrams with ...
201
click to vote
ICICS
2004
Springer
16 years 2 days 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...