Sciweavers

6722 search results - page 1014 / 1345
» The DSML4MAS development environment
Sort
View
AOSE
2004
Springer
16 years 2 days ago
An Agent Construction Model for Ubiquitous Computing Devices
Abstract. One of the main challenges for the successful application of agentbased systems in mobile and embedded devices is enabling application developers to reconcile the needs o...
Ronald Ashri, Michael Luck
ARCS
2004
Springer
16 years 2 days ago
Finite-State Modeling, Analysis and Testing of System Vulnerabilities
: Man-machine systems have several desirable properties, as to user friendliness, reliability, safety, security or other global system attributes. The potential for the lack, or br...
Fevzi Belli, Christof J. Budnik, Nimal Nissanke
AUSAI
2004
Springer
16 years 2 days ago
A Comparison of BDI Based Real-Time Reasoning and HTN Based Planning
The Belief-Desire-Intention (BDI) model of agency is an architecture based on Bratman’s theory of practical reasoning. Hierarchical Task Network (HTN) decomposition on the other ...
Lavindra de Silva, Lin Padgham
BPM
2004
Springer
110views Business» more  BPM 2004»
16 years 2 days ago
Integration of Multi-attributed Negotiations within Business Processes
For the integration of electronic negotiation systems within information systems, it is essential to model both using the same modelling paradigm to avoid frictions. We develop a g...
Carlo Simon, Michael Rebstock
ECAI
2004
Springer
16 years 2 days ago
A System for Pacemaker Treatment Advice
Abstract. Previously it has been shown that the process of programming a cardiac pacemaker can be described in terms of the theory of diagnosis. A set-theoretical framework of diag...
Peter J. F. Lucas, Ruud Kuipers, Frederick Feith
« Prev « First page 1014 / 1345 Last » Next »