9210 search results - page 1579 / 1842 » Analyzing Real-Time Systems |
130
click to vote
ICDT
2010
ACM
15 years 2 months ago
2010
ACM
When a query is evaluated under bag semantics, each answer is returned as many times as it has derivations. Bag semantics has long been recognized as important, especially when ag...
ALGOSENSORS
2008
Springer
15 years 2 months ago
2008
Springer
In this work we present three new distributed, probabilistic data propagation protocols for Wireless Sensor Networks which aim at maximizing the network's operational life and...
AOSD
2008
ACM
15 years 2 months ago
2008
ACM
There has been a lot of debate about the modularity of aspectoriented programs, and in particular the ability to reason about such programs in a modular way, although it has never...
130
click to vote
AOSD
2008
ACM
15 years 2 months ago
2008
ACM
AspectJ was designed as a seamless aspect-oriented extension of the Java programming language. However, unlike Java, AspectJ does not have a safe type system: an accepted binding ...
113
click to vote
EDBT
2010
ACM
15 years 2 months ago
2010
ACM
Many enterprises nowadays use business processes, based on the BPEL standard, to achieve their goals. Analyzing the execution of such processes is critical for enforcing business ...