913 search results - page 147 / 183 » Formal Agent Development: Framework to System |
SERP
2003
15 years 1 months ago
2003
System reliability has become an increasingly important benchmark in measuring service continuity. As part of many service level agreements, system performance is gauged by how lo...
117
click to vote
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
Agents that must reach agreements with other agents need to reason about how their preferences, judgments, and beliefs might be aggregated with those of others by the social choic...
101
click to vote
CL
2002
Springer
14 years 11 months ago
2002
Springer
The Ambient Calculus (henceforth, AC) was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [9]. We present a type system for AC ...
SELMAS
2004
Springer
15 years 5 months ago
2004
Springer
Software systems of today are characterized by the increasing size, complexity, distribution and heterogeneity. Understanding and supporting the interaction between software requi...
105
click to vote
AAAI
2008
15 years 2 months ago
2008
This paper debuts a novel application of speech recognition to foreign language learning. We present a generic framework for developing user-customizable card games designed to ai...