7109 search results - page 234 / 1422 » Process Algebra with Combinators |
114
click to vote
DSN
2004
IEEE
15 years 8 months ago
2004
IEEE
We describe an approach to quantitatively evaluating human-assisted failure-recovery tools and processes in the environment of modern Internet- and enterprise-class server systems...
153
click to vote
SIGMOD
2001
ACM
16 years 4 months ago
2001
ACM
Time-referenced data are pervasive in most real-world databases. Recent advances in temporal query languages show that such database applications may benefit substantially from bu...
132
click to vote
APN
1994
Springer
15 years 8 months ago
1994
Springer
Abstract. In the last few years, the semantics of Petri nets has been investigated in several different ways. Apart from the classical "token game", one can model the beh...
136
click to vote
ICDT
2010
ACM
16 years 1 months ago
2010
ACM
We study fundamental aspects related to the efficient processing of the SPARQL query language for RDF, proposed by the W3C to encode machine-readable information in the Semantic W...
132
click to vote
CW
2002
IEEE
15 years 9 months ago
2002
IEEE
In Reverse Engineering a physical object is digitally reconstructed from a set of boundary points. In the segmentation phase these points are grouped into subsets to facilitate co...