585 search results - page 96 / 117 » Strategy Logic |
TIME
2005
IEEE
15 years 7 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...
124
click to vote
CAISE
2005
Springer
15 years 7 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...
105
click to vote
CCS
2005
ACM
15 years 7 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...
128
click to vote
PPDP
2005
Springer
15 years 7 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...
125
click to vote
DOLAP
2004
ACM
15 years 7 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...