9509 search results - page 162 / 1902 » Complex Event Processing |
116
click to vote
ISORC
2003
IEEE
15 years 7 months ago
2003
IEEE
The processes of accessing a shared communication media have been extensively researched in the dependability and real-time area. For embedded systems, the primary approaches have...
108
click to vote
FAST
2007
15 years 4 months ago
2007
//TRACE1 is a new approach for extracting and replaying traces of parallel applications to recreate their I/O behavior. Its tracing engine automatically discovers inter-node data ...
133
Voted
ICFEM
2009
Springer
15 years 8 days ago
2009
Springer
Abstract. This paper shows how Ptolemy II discrete-event (DE) models can be formally analyzed using Real-Time Maude. We formalize in Real-Time Maude the semantics of a subset of hi...
115
Voted
TSMC
2011
14 years 9 months ago
2011
— Most state-based approaches to fault diagnosis of discrete-event systems require a complete and accurate model of the system to be diagnosed. In this paper, we address the prob...
132
click to vote
SAC
2003
ACM
15 years 7 months ago
2003
ACM
Networked embedded systems such as wireless sensor networks are usually designed to be event-driven so that they are reactive and power efficient. Programming embedded systems wit...