32 search results - page 3 / 7 » Semantic Modeling of Successive Events Applied to Version Ma... |
PODS
2007
ACM
14 years 7 months ago
2007
ACM
Event processing systems have wide applications ranging from managing events from RFID readers to monitoring RSS feeds. Consequently, there exists much work on them in the literat...
MOBIQUITOUS
2005
IEEE
14 years 14 days ago
2005
IEEE
Ubiquitous Computing Environments feature massively distributed systems containing a large number of devices, services and applications that help end-users perform various kinds o...
DKE
2008
13 years 7 months ago
2008
Adaptivity in process management systems is key to their successful applicability in practice. Approaches have been already developed to ensure system correctness after arbitrary ...
QEST
2009
IEEE
14 years 1 months ago
2009
IEEE
—Traviando is a trace analyzer and visualizer for simulation traces of discrete event dynamic systems. In this paper, we briefly outline recent extensions of Traviando towards a...
BIRTHDAY
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. This paper combines three topics to which Amir Pnueli contributed significantly: the semantics of languages for concurrency, the semantics of statecharts, and reactive an...