3515 search results - page 596 / 703 » On the semantics of Strategy Logic |
171
click to vote
TIME
2005
IEEE
16 years 22 days ago
2005
IEEE
Abstract— We present a specification language and algorithms for the online and offline monitoring of synchronous systems including circuits and embedded systems. Such monitori...
152
click to vote
AIME
2005
Springer
16 years 21 days ago
2005
Springer
This paper aims at formalizing the concept of learning rules from multisource data in a cardiac monitoring context. Our method has been implemented and evaluated on learning from d...
182
click to vote
CCS
2005
ACM
16 years 21 days ago
2005
ACM
The IEEE 802.11i wireless networking protocol provides mutual authentication between a network access point and user devices prior to user connectivity. The protocol consists of s...
219
click to vote
PPDP
2005
Springer
16 years 19 days ago
2005
Springer
The paper develops a self-tuning resource aware partial evaluation technique for Prolog programs, which derives its own control strategies tuned for the underlying computer archit...
234
click to vote
SFM
2005
Springer
16 years 19 days ago
2005
Springer
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...