1669 search results - page 168 / 334 » Structured Specification of Model Interpreters |
143
click to vote
CACM
2010
15 years 4 months ago
2010
Exploiting the multiprocessors that have recently become ubiquitous requires high-performance and reliable concurrent systems code, for concurrent data structures, operating syste...
119
Voted
FOSSACS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...
111
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
Current mechanisms for evaluating the trustworthiness of an agent within an electronic marketplace depend either on using a history of interactions or on recommendations from othe...
190
click to vote
AAAI
1993
15 years 5 months ago
1993
This paper describes a method for the development of dialogue managers for natural language interfaces. A dialogue manager is presented designed on the basis of both a theoretical...
120
Voted
SAC
2009
ACM
15 years 10 months ago
2009
ACM
Today user-centered information acquisition over collections of complex XML documents is increasingly in demand. To this end, preferences have become an important paradigm enablin...