585 search results - page 96 / 117 » Strategy Logic |
103
Voted
TIME
2005
IEEE
15 years 8 months 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...
133
Voted
CAISE
2005
Springer
15 years 8 months ago
2005
Springer
This paper presents a detailed integration process for XML schemata called BInXS. BInXS adopts a global-as-view integration approach that builds a global schema from a set of heter...
113
click to vote
CCS
2005
ACM
15 years 8 months 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...
134
Voted
PPDP
2005
Springer
15 years 8 months 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...
128
Voted
DOLAP
2004
ACM
15 years 8 months ago
2004
ACM
CRM is a strategy that integrates the concepts of Knowledge Management, Data Mining, and Data Warehousing in order to support the organization’s decision-making process to retai...