1134 search results - page 163 / 227 » Distributed Proving in Access-Control Systems |
TROB
2002
15 years 2 months ago
2002
Abstract-- The problem addressed is the distributed reconfiguration of a metamorphic robotic system composed of an arbitrary number of two dimensional hexagonal robots (modules) fr...
106
click to vote
SPEECH
2008
15 years 2 months ago
2008
The acquisition of novel phonetic categories is hypothesized to be affected by the distributional properties of the input, the relation of the new categories to the native phonolo...
144
click to vote
MOBIHOC
2010
ACM
15 years 27 days ago
2010
ACM
In this paper, we address the problem of preserving generated data in a sensor network in case of node failures. We focus on the type of node failures that have explicit spatial s...
142
click to vote
FM
2006
Springer
15 years 6 months ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...
113
click to vote
WOTUG
2007
15 years 4 months ago
2007
Abstract. Operating-systems are the core software component of many modern computer systems, ranging from small specialised embedded systems through to large distributed operating-...