11168 search results - page 1612 / 2234 » Abstract State Processes |
137
click to vote
FORTE
1996
15 years 6 months ago
1996
In this paper we present the application of the fair testing pre-order, introduced in a previous paper, to the speci cation and analysis of distributed systems. This pre-order com...
139
click to vote
ANTSW
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Ant colony optimization (ACO) is a metaheuristic that produces good results for a wide range of combinatorial optimization problems. Often such successful applications us...
178
click to vote
AMT
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. In this paper, we propose a framework to improve the relevance of awareness information about people and subjects, by adapting recommendation techniques to real-time web ...
142
Voted
BPM
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Mainstream workflow management systems are using procedural languages ranging from BPMN and EPCs to BPEL and YAWL. By demonstrating DECLARE, we will show that it is also ...
127
Voted
CLEF
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We design and validate simulators for generating queries and relevance judgments for retrieval system evaluation. We develop a simulation framework that incorporates exis...