5924 search results - page 163 / 1185 » Normal Process Representatives |
131
click to vote
ARTS
1997
Springer
15 years 9 months ago
1997
Springer
In 10 , an algebra for timed automata has been introduced. In this article, we introduce a syntactic characterisation of nite timed automata in terms of that process algebra. We s...
132
Voted
CIKM
1994
Springer
15 years 9 months ago
1994
Springer
In a spatial database, an object may extend arbitrarily in space. As a result, many spatial data structures e.g., the quadtree, the cell tree, the R+-tree represent an object by p...
162
click to vote
FOSSACS
2004
Springer
15 years 8 months ago
2004
Springer
In the literature there are several CCS-like process calculi differing in the constructs for the specification of infinite behavior and in the scoping rules for channel names. In t...
132
click to vote
ISTA
2004
15 years 6 months ago
2004
Abstract: Nowadays for any kind of distributed and multi-level, i.e. complex information systems it is vitally important to represent its data resources in a homogenized form. This...
161
Voted
SIGMETRICS
2010
ACM
15 years 5 months ago
2010
ACM
This paper addresses the problem of distributed resource allocation in general fork and join processing networks. The problem is motivated by the complicated processing requiremen...