Sciweavers

2780 search results - page 481 / 556
» Agents in Proactive Environments
Sort
View
ICSE
2003
IEEE-ACM
14 years 10 months ago
Detailing Architectural Design in the Tropos Methodology
Software systems development happens within a context which organizational processes are wellestablished. Hence, software needs to be built with flexible architectures based in so...
Carla T. L. L. Silva, Jaelson Brelaz de Castro, Jo...
CSFW
2009
IEEE
14 years 5 months ago
Modeling and Verifying Physical Properties of Security Protocols for Wireless Networks
We present a formal model for modeling and reasoning about security protocols. Our model extends standard, inductive, trace-based, symbolic approaches with a formalization of phys...
Patrick Schaller, Benedikt Schmidt, David A. Basin...
IEEEICCI
2009
IEEE
14 years 5 months ago
The Embodied Communication Prior: A characterization of general intelligence in the context of Embodied social interaction
We outline a general conceptual definition of real-world general intelligence that avoids the twin pitfalls of excessive mathematical generality, and excessive anthropomorphism.. ...
Ben Goertzel
AGS
2009
Springer
14 years 5 months ago
Architecture for Affective Social Games
Abstract. The importance of affect in delivering engaging experiences in entertainment and education is well recognized. We introduce the Koko architecture, which describes a servi...
Derek J. Sollenberger, Munindar P. Singh
IEAAIE
2009
Springer
14 years 5 months ago
A Model for Criminal Decision Making Based on Hypothetical Reasoning about the Future
This paper presents an agent-based model for decision making, which integrates personal biological and psychological aspects with rational utility-based reasoning. The model takes ...
Tibor Bosse, Charlotte Gerritsen