627 search results - page 46 / 126 » Towards a Flexible Development Framework for Multi-Agent Sys... |
CCS
2007
ACM
15 years 6 months ago
2007
ACM
The problem of supporting the secure execution of potentially malicious third-party applications has received a considerable amount of attention in the past decade. In this paper ...
119
click to vote
PADL
2012
Springer
13 years 7 months ago
2012
Springer
Declarative networking is a programming methodology that enables developers to concisely specify network protocols and services, and directly compile these specifications into a d...
CADE
2009
Springer
16 years 13 days ago
2009
Springer
The Thousands of Problems for Theorem Provers (TPTP) problem library is the basis of a well established infrastructure supporting research, development, and deployment of first-ord...
110
click to vote
NAACL
1994
15 years 1 months ago
1994
We have been developing a spoken language system to recognize and understand spontaneous speech. It is difficult for such systems to achieve good coverage of the lexicon and gramm...
VRST
1997
ACM
15 years 4 months ago
1997
ACM
Developing virtual reality (VR) applications which enable actual work over a period of time requires optimization of the most basic interactions, such as object manipulation, so t...