9997 search results - page 446 / 2000 » The case for crowd computing |
156
Voted
SOFSEM
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. We examine the problem of finite-state representability of infinitestate processes w.r.t. certain behavioural equivalences. We show that the classical notion of regularit...
207
click to vote
ASM
2008
ASM
15 years 8 months ago
2008
ASM
Abstract. The Mondex case study concerns the formal development and verification of an electronic purse protocol. Several groups have worked on its specification and mechanical ver...
190
click to vote
EUC
2008
Springer
15 years 8 months ago
2008
Springer
Static path analysis is a key process of Worst Case Execution Time (WCET) estimation, the objective of which is to find the execution path that has the largest execution time. Cur...
158
click to vote
EUROPAR
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper proposes and presents a comparison of scheduling algorithms applied to the context of load balancing the query traffic on distributed inverted files. We put em...
171
Voted
COMMA
2006
15 years 8 months ago
2006
We present a procedure for computing the sceptical "ideal semantics" for argumentation in assumption-based frameworks. This semantics was first proposed for logic program...