2470 search results - page 285 / 494 » Liveness-Preserving Simulation Relations |
153
click to vote
SIGMETRICS
2005
ACM
15 years 10 months ago
2005
ACM
A fundamental challenge in improving the file system performance is to design effective block replacement algorithms to minimize buffer cache misses. Despite the well-known int...
135
click to vote
GCB
2005
Springer
15 years 10 months ago
2005
Springer
: Functionally related genes involved in the same molecular-genetic, biochemical, or physiological process are often regulated coordinately Such regulation is provided by precisely...
154
click to vote
MICAI
2005
Springer
15 years 10 months ago
2005
Springer
A powerful and useful approach for modeling knowledge and qualitative reasoning is the Cognitive Map. The background of Cognitive Maps is the research about learning environments c...
163
Voted
DCOSS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract— Wireless sensor networks are useful for monitoring physical parameters and detecting objects or substances in an area. Most ongoing research consider the use of either ...
124
click to vote
ISW
2004
Springer
15 years 10 months ago
2004
Springer
Security problems in micro-mobility are mostly related to trust establishment between mobile nodes and middle-boxes, i.e. mobile anchor points. In this paper, we present a secure m...