4892 search results - page 798 / 979 » A Resource Description Environment for Distributed Computing... |
167
click to vote
SAC
2005
ACM
15 years 12 months ago
2005
ACM
In this paper we present MoCha-π, an exogenous coordination calculus that is based on mobile channels. A mobile channel is a coordination primitive that allows anonymous point-to...
185
click to vote
MIDDLEWARE
2004
Springer
15 years 11 months ago
2004
Springer
The miniaturization of hardware components has lead to the development of Wireless Sensor Networks (WSN) and networked-applications over them. Meanwhile, middleware systems have a...
170
click to vote
CONCUR
1994
Springer
15 years 10 months ago
1994
Springer
Abstract. In this paper we study a special operator for sequential composition, which is de ned relative to a dependency relation over the actions of a given system. The idea is th...
189
click to vote
CONCUR
2008
Springer
15 years 8 months ago
2008
Springer
We present an algorithm for partial order reduction in the context of a countable universe of deterministic actions, of which finitely many are enabled at any given state. This mea...
162
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
Regular Expressions (RegExes) are widely used in various applications to identify strings of text. Their flexibility, however, increases the complexity of the detection system and ...