Sciweavers

140 search results - page 17 / 28
» Circuit sharing and the implementation of intelligent system...
Sort
View
FROCOS
2005
Springer
14 years 27 days ago
Combination of Isabelle/HOL with Automatic Tools
We describe results and status of a sub project of the Verisoft [1] project. While the Verisoft project aims at verification of a complete computer system starting with hardware a...
Sergey Tverdyshev
AAMAS
2008
Springer
13 years 7 months ago
2APL: a practical agent programming language
This paper presents a BDI-based agent-oriented programming language, called 2APL (A Practical Agent Programming Language). This programming language facilitates the implementation...
Mehdi Dastani
MABS
2004
Springer
14 years 22 days ago
Distributed Simulation of MAS
The efficient simulation of multi-agent systems presents particular challenges which are not addressed by current parallel discrete event simulation (PDES) models and techniques. ...
Michael Lees, Brian Logan, Rob Minson, Ton Oguara,...
SUTC
2008
IEEE
14 years 1 months ago
Controlled Disclosure of Context Information across Ubiquitous Computing Domains
One of the challenges in ubiquitous computing is that of mobility, which typically requires interaction between intelligent environments in different domains of administration. We...
Cristian Hesselman, Henk Eertink, Martin Wibbels, ...
GROUP
2005
ACM
14 years 28 days ago
Adaptive radio: achieving consensus using negative preferences
We introduce the use of negative preferences to produce solutions that are acceptable to a group of users. Using negative preference profiling, a system determines which solution...
Dennis L. Chao, Justin Balthrop, Stephanie Forrest