1532 search results - page 156 / 307 » An Algebraic Process Calculus |
131
click to vote
SIGMOD
1996
ACM
15 years 8 months ago
1996
ACM
Magic sets rewriting is a well-known optimization heuristic for complex decision-support queries. There can be many variants of this rewriting even for a single query, which diffe...
156
click to vote
CSB
2005
IEEE
15 years 10 months ago
2005
IEEE
Our paper describes the first provably-efficient algorithm for determining protein structures de novo, solely from experimental data. We show how the global nature of a certain ...
136
click to vote
WSC
2000
15 years 5 months ago
2000
Input modeling that involves fitting standard univariate parametric probability distributions is typically performed using an input modeling package. These packages typically fit ...
136
click to vote
IJCIS
2006
15 years 4 months ago
2006
Abstract. This paper presents a framework for monitoring the compliance of systems composed of webservices with requirements set for them at run-time. This framework assumes system...
117
Voted
IFM
2007
Springer
15 years 10 months ago
2007
Springer
Many process calculi have been proposed since Robin Milner and Tony Hoare opened the way more than 25 years ago. Although they are based on the same kernel of operators, most of th...