54 search results - page 3 / 11 » Implementing protocols via declarative event patterns |
ATAL
2006
Springer
13 years 10 months ago
2006
Springer
A strength of commitment protocols is that they enable agents to act flexibly, thereby enabling them to accommodate varying local policies and respond to exceptions. A consequent ...
CSE
2009
IEEE
13 years 11 months ago
2009
IEEE
—Event schedulers, well-known from groupware and social software, typically share the problem that they disclose detailed availability patterns of their users. This paper disting...
LICS
2006
IEEE
14 years 8 days ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
TOOLS
2008
IEEE
14 years 19 days ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
EUROSSC
2007
Springer
14 years 12 days ago
2007
Springer
We present a new approach for the detection of complex events in Wireless Sensor Networks. Complex events are sets of data points that correspond to interesting or unusual patterns...