Sciweavers

8446 search results - page 1321 / 1690
» A Process Compensation Language
Sort
View
149
Voted
SIGIR
2000
ACM
15 years 9 months ago
Building a question answering test collection
The TREC-8 Question Answering (QA) Track was the first large-scale evaluation of domain-independent question answering systems. In addition to fostering research on the QA task, ...
Ellen M. Voorhees, Dawn M. Tice
163
Voted
AGENTCL
2000
Springer
15 years 9 months ago
What Is a Conversation Policy?
In this paper we define the concept of conversation policies: declarative specifications that govern communications between software agents using an agent communication language. ...
Mark Greaves, Heather Holmback, Jeffrey Bradshaw
ATAL
2000
Springer
15 years 9 months ago
Architectures and Idioms: Making Progress in Agent Design
This chapter addresses the problem of producing and maintaining progress in agent design. New architectures often hold important insights into the problems of designing intelligenc...
Joanna Bryson, Lynn Andrea Stein
ACSD
1998
IEEE
101views Hardware» more  ACSD 1998»
15 years 9 months ago
A True Concurrency Semantics for ET-LOTOS
One of the central objectives of the LOTOS restandardisation activity is to de ne an enhanced LOTOS language which supports real-time speci cation. The timed extension is based up...
Howard Bowman, Joost-Pieter Katoen
CARDIS
1998
Springer
161views Hardware» more  CARDIS 1998»
15 years 9 months ago
Formal Proof of Smart Card Applets Correctness
: The new Gemplus smart card is based on the Java technology, embedding a virtual machine. The security policy uses mechanisms that are based on Java properties. This language prov...
Jean-Louis Lanet, Antoine Requet
« Prev « First page 1321 / 1690 Last » Next »