1583 search results - page 56 / 317 » Using Multi-context Systems to Engineer Executable Agents |
ISAMI
2010
13 years 5 months ago
2010
It is recognized in Ambient Intelligence that ambient devices should be modeled as intelligent autonomous components rather than passive information sources. The agent paradigm sui...
SEKE
2007
Springer
14 years 1 months ago
2007
Springer
Agent based online auctions have not yet become popular because they are not trustable. One of the major concerns in agent based online auctions is the shilling behavior problem, w...
FORTEST
2008
13 years 9 months ago
2008
Abstract. This chapter presents principles and techniques for model-based blackbox conformance testing of real-time systems using the UPPAAL model-checking tool-suite. The basis fo...
SAC
2000
ACM
14 years 1 days ago
2000
ACM
We describe a language providing concepts for modeling autonomous entities (agents) and cooperating entities (groups). Agents are the execution units of a GroupLog program. Each a...
EUROSYS
2009
ACM
14 years 4 months ago
2009
ACM
Program source is an intermediate representation of software; it lies between a developer’s intention and the hardware’s execution. Despite advances in languages and developme...