500 search results - page 57 / 100 » Coalgebraic semantics for timed processes |
IPPS
1998
IEEE
14 years 2 months ago
1998
IEEE
Abstract. We describe a group membership protocol, called the timewheel group membership protocol, for a timed asynchronous distributed system. This protocol is a part of the timew...
REX
1993
14 years 2 months ago
1993
Abstract. Models for concurrency can be classified with respect to three relevant parameters: behaviour/system, interleaving/noninterleaving, linear/branching time. When modelling...
CN
2006
13 years 10 months ago
2006
RDF is one of the technologies proposed to realise the vision of the Semantic Web and it is being increasingly used in distributed web-based applications. The use of RDF in applic...
FUIN
2006
13 years 10 months ago
2006
We present a model and a core programming language appropriate for modeling and programming interactive computing systems. The model consists of rv-systems (interactive systems wit...
ICIP
2003
IEEE
14 years 11 months ago
2003
IEEE
In this paper, an adaptive neural network architecture is proposed for efficient video object segmentation and tracking of stereoscopic sequences. The scheme includes (a) a retrai...