3616 search results - page 366 / 724 » Conditional Memory Ordering |
162
click to vote
DEON
2006
Springer
15 years 7 months ago
2006
Springer
In this paper we extend earlier work on deontic deadlines in CTL to the framework of alternating time temporal logic (ATL). The resulting setting enables us to model several concep...
156
click to vote
APWEB
2010
Springer
15 years 7 months ago
2010
Springer
This paper investigates the problem of processing multiple continuous queries over RFID streaming data in RFID middleware. RFID middleware collects and filters RFID sensing data wh...
150
click to vote
ADHOCNETS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. As wireless sensor networks gain in popularity, many deployments are posing new challenges due to their diverse topologies and resource constraints. Previous work has sho...
129
Voted
IMC
2007
ACM
15 years 5 months ago
2007
ACM
As the utility of wireless technology grows, wireless networks are being deployed in more widely varying conditions. The monitoring of these networks continues to reveal key imple...
120
click to vote
SPLC
2010
15 years 5 months ago
2010
Feature-oriented programming (FOP) implements software product lines by composition of feature modules. It relies on the principles of stepwise development. Feature modules are int...