4604 search results - page 554 / 921 » Concurrency in Synchronous Systems |
168
click to vote
AP2PC
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. The research in the paper is motivated by building a decentralized/P2P XML storage on top of a DHT (Distributed Hash Table). The storage must provide high data availabili...
178
click to vote
APLAS
2004
ACM
16 years 8 days ago
2004
ACM
Abstract. In component-based programming, the programmer assembles applications from prefabricated components. The assembly process has two main steps: adapting a component by twea...
158
click to vote
LCTRTS
2004
Springer
16 years 6 days ago
2004
Springer
Java Card technology simplifies the development of smart card applications by providing a high-level programming language similar to Java. However, the master-slave programming m...
188
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents techniques for exploiting redundancy in teams of mobile robots. In particular, we address tasks involving the kinematic coordination of several communicating r...
193
click to vote
APN
2010
Springer
15 years 11 months ago
2010
Springer
The unfolding technique is an efficient tool to explore the runs of a Petri net in a true concurrency semantics, i.e. without constructing all the interleavings of concurrent actio...