3891 search results - page 170 / 779 » Toward nature-inspired computing |
113
Voted
DIS
2001
Springer
15 years 8 months ago
2001
Springer
Scientists need customizable tools to help them with discovery. We present an adjustable heuristic function for scientific discovery. This function may be considered in either a Mi...
132
click to vote
DSN
2000
IEEE
15 years 8 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...
139
Voted
ACSAC
1999
IEEE
15 years 8 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...
125
Voted
ECOOPW
1997
Springer
15 years 8 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...
151
Voted
ASM
2010
ASM
15 years 7 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...