8740 search results - page 1526 / 1748 » The Management of Replicated Data |
169
click to vote
DSVIS
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
144
click to vote
EMSOFT
2005
Springer
16 years 7 days ago
2005
Springer
Microservers are networked embedded devices that accept user tasks on demand and execute them on real world information collected by sensors. Sharing intermediate sensing and comp...
171
click to vote
ESORICS
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Hippocratic Databases have been proposed as a mechanism to guarantee the respect of privacy principles in data management. We argue that three major principles are missin...
201
click to vote
ESTIMEDIA
2005
Springer
16 years 7 days ago
2005
Springer
Portable embedded systems require diligence in managing their energy consumption. Thus, power efficient processors coupled with onchip memories (e.g. caches, scratchpads) are the...
188
click to vote
ICESS
2005
Springer
16 years 6 days ago
2005
Springer
: This paper presents a simple and efficient switched Ethernet communication protocol for industrial hard real-time LAN applications. The network is founded with end nodes and a sw...