Sciweavers

949 search results - page 54 / 190
» Relating Imperatives to Action
Sort
View
KI
1997
Springer
13 years 11 months ago
Agents in Proactive Environments
Abstract. Agents situated in proactive environments are acting autonomously while the environment is evolving alongside, whether or not the agents carry out any particular actions....
Dov M. Gabbay, Rolf Nossum, Michael Thielscher
CORR
2010
Springer
158views Education» more  CORR 2010»
13 years 7 months ago
Epistemic Model Checking for Knowledge-Based Program Implementation: an Application to Anonymous Broadcast
Knowledge-based programs provide an abstract level of description of protocols in which agent actions are related to their states of knowledge. The paper describes how epistemic mo...
Omar I. Al-Bataineh, Ron van der Meyden
WWW
2003
ACM
14 years 8 months ago
Design, implementation, and evaluation of a client characterization driven web server
In earlier work we proposed a way for a Web server to detect connectivity information about clients accessing it in order to take tailored actions for a client request. This paper...
Balachander Krishnamurthy, Yin Zhang, Craig E. Wil...
PAAMS
2010
Springer
13 years 5 months ago
A Model-Based Ambient Agent Providing Support in Handling Desire and Temptation
An ambient agent system is presented estimating a human's dynamics of desiring and being tempted. The agent is equipped with a dynamical model of the human's processes wh...
Mark Hoogendoorn, Zulfiqar A. Memon, Jan Treur, Mu...
ACSD
2010
IEEE
251views Hardware» more  ACSD 2010»
13 years 5 months ago
Modular Interpretation of Heterogeneous Modeling Diagrams into Synchronous Equations Using Static Single Assignment
Abstract--The ANR project SPaCIFY develops a domainspecific programming environment, Synoptic, to engineer embedded software for space applications. Synoptic is an Eclipse-based mo...
Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, L...