392 search results - page 57 / 79 » Composite events for xml |
SIGSOFT
2002
ACM
14 years 10 months ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...
ACSD
2009
IEEE
14 years 2 days ago
2009
IEEE
Protocol conversion deals with the automatic synthesis of an additional component, often referred to as an adaptor or a converter, to bridge mismatches between interacting compone...
DMSN
2009
ACM
14 years 4 months ago
2009
ACM
Creating statistics from sporting events is now widespread with most efforts to automate this process using various sensor devices. The problem with many of these statistical app...
OTM
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. The Web of today can be seen as an active and heterogeneous infrastructure of autonomous systems, where reactivity, evolution and propagation of information and changes p...
SIGSOFT
2003
ACM
14 years 2 months ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...