2588 search results - page 180 / 518 » Engineering Systems Which Generate Emergent Functionalities |
154
click to vote
ICFEM
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
147
click to vote
SENSYS
2009
ACM
15 years 11 months ago
2009
ACM
Continuous and reliable operation of WSNs is notoriously difficult to guarantee due to hardware degradation and environmental changes. In this paper, we propose and demonstrate a ...
160
click to vote
DEBS
2008
ACM
15 years 6 months ago
2008
ACM
Several new Complex Event Processing (CEP) engines have been recently released, many of which are intended to be used in performance sensitive scenarios - like fraud detection, tr...
116
click to vote
FM
2001
Springer
15 years 9 months ago
2001
Springer
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking many distributed systems. Timestamps are often ...
116
click to vote
PKDD
2009
Springer
15 years 11 months ago
2009
Springer
Subgroup discovery is a local pattern discovery task, in which descriptions of subpopulations of a database are evaluated against some quality function. As standard quality functio...