7109 search results - page 121 / 1422 » Process Algebra with Combinators |
142
Voted
SIGIR
2008
ACM
15 years 1 months ago
2008
ACM
Results caching is an efficient technique for reducing the query processing load, hence it is commonly used in real search engines. This technique, however, bounds the maximum hit...
134
click to vote
QEST
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--We introduce a stochastic extension of CCS endowed with structural operational semantics expressed in terms of measure theory. The set of processes is organised as a meas...
141
click to vote
SAC
2006
ACM
15 years 9 months ago
2006
ACM
Dynamic languages typically allow programs to be written y high level of abstraction. But their dynamic nature makes it very hard to compile such languages, meaning that a price h...
119
click to vote
BPM
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Business Process Management (BPM) includes methods, techniques, and tools to support the design, enactment, management, and analysis of operational business processes. It...
128
click to vote
CONCUR
1993
Springer
15 years 7 months ago
1993
Springer
cal Technique for Process Abstraction Glenn Bruns Department of Computer Science University of Edinburgh Edinburgh EH9 3JZ, UK Abstract. With algebraic laws a process can be simpli...