9509 search results - page 115 / 1902 » Complex Event Processing |
120
click to vote
MSE
2005
IEEE
15 years 7 months ago
2005
IEEE
The reusing of Intellectual Property cores has been an alternative to the increasing gap between design productivity and chip complexity of emerging System-on-chip (SoC) designs. ...
92
Voted
IFM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Event-B provides a flexible approach to modelling and refinement of systems. In this paper we outline two important ways in which Event-B refinement can be augmented w...
101
Voted
ASM
2008
ASM
15 years 4 months ago
2008
ASM
As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While...
106
Voted
SIROCCO
2010
15 years 3 months ago
2010
This paper studies local-control strategies to estimate the size of a certain event affecting an arbitrary connected subset of nodes in a network. For example, our algorithms allow...
131
click to vote
AVSS
2003
IEEE
15 years 7 months ago
2003
IEEE
Using cameras for detecting hazardous or suspicious events has spurred new research for security concerns. To make such detection reliable, researchers must overcome difficulties...