131
click to vote
DASFAA
1995
IEEE
15 years 8 months ago
1995
IEEE
A path dictionary encodes the connections among objects in the aggregation hierarchy. It has been shown to be an efficient mechanism for supporting nested object queries [6]. In t...
119
click to vote
DAI
1995
Springer
15 years 8 months ago
1995
Springer
In response to the problems that have arisen regarding the terminology and concepts of agent-oriented systems, previous work has described a formal framework for understanding agen...
152
click to vote
VLSID
2000
IEEE
15 years 8 months ago
2000
IEEE
We address the problem of verifying the correctness of pre-silicon models of a microprocessor. We touch on the latest advances in this area by considering two different aspects of...
154
click to vote
DAI
1995
Springer
15 years 8 months ago
1995
Springer
Potentially one of the most significant opportunities for enterprise integration is the recent development and advancement of agent based systems. However, before agents can be us...