4670 search results - page 190 / 934 » Toward meaningful computing |
DSN
2000
IEEE
14 years 2 months ago
2000
IEEE
This paper presents a generic methodology to transform a protocol resilient to process crashes into one resilient to arbitrary failures in the case where processes run the same te...
ACSAC
1999
IEEE
14 years 2 months ago
1999
IEEE
A wide range of security services may be available to applications in a heterogeneous computer network environment. Resource Management Systems (RMSs) responsible for assigning co...
ECOOPW
1997
Springer
14 years 2 months ago
1997
Springer
In this paper, we demonstrate how a precise semantics of object-oriented modeling techniques can be achieved, and what the possible bene ts are. We outline the main modeling techni...
ASM
2010
ASM
14 years 1 months ago
2010
ASM
We provide a detailed description of refinement in Event-B, both as a contribution in itself and as a foundation for the approach to simultaneous animation of multiple levels of re...
ICPR
2010
IEEE
14 years 11 days ago
2010
IEEE
A method for image matching from partial blurry images is presented that leverages existing text retrieval algorithms to provide a solution that scales to hundreds of thousands of...