1206 search results - page 101 / 242 » Concurrent Abstract Predicates |
114
click to vote
CCGRID
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— Recently we proposed algorithms for concurrent execution on multiple clusters [9]. In this case, data partitioning is done at two levels; first, the data is distribute...
122
click to vote
CRV
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— We present a formal framework for robotic cooperation in which we use an extension to Petri nets, known as workflow nets, to establish a protocol among mobile agents b...
EUROCRYPT
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. We provide identi£cation protocols that are secure even when the adversary can reset the internal state and/or randomization source of the user identifying itself, and w...
120
click to vote
LPAR
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. The ZETA system is a Z-based tool environment for developing formal specifications. It contains a component for executing the Z language based on the implementation techn...
WOTUG
2007
15 years 3 months ago
2007
The LEGO Mindstorms RCX is a widely deployed educational robotics platform. This paper presents a concurrent operating environment for the Mindstorms RCX, implemented natively usin...