1087 search results - page 165 / 218 » Achieving Distributed Control through Model Checking |
AMW
2010
13 years 11 months ago
2010
We study query authentication schemes, algorithmic and cryptographic constructions that provide efficient and secure protocols for verifying the results of queries over structured...
ARGMAS
2006
Springer
14 years 1 months ago
2006
Springer
We build on recent work on argumentation frameworks for generating desires and plans. We provide a rich instantiDung's abstract argumentation framework for (i) generating con...
ATAL
2006
Springer
13 years 11 months ago
2006
Springer
We build on recent work on argumentation frameworks for generating desires and plans. We provide a rich instantiDung's abstract argumentation framework for (i) generating con...
KDD
2000
ACM
14 years 1 months ago
2000
ACM
To improve the accuracy in terms of precision and recall of an audio information retrieval system we have created a domainspecific ontology (a collection of key concepts and their...
ISORC
2002
IEEE
14 years 2 months ago
2002
IEEE
Object-oriented, concurrent, and event-based programming models provide a natural framework in which to express the behavior of distributed and embedded software systems. However,...