Sciweavers

2780 search results - page 481 / 556
» Agents in Proactive Environments
Sort
View
93
Voted
ICSE
2003
IEEE-ACM
16 years 26 days 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...
114
Voted
CSFW
2009
IEEE
15 years 7 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...
134
Voted
IEEEICCI
2009
IEEE
15 years 7 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
110
Voted
AGS
2009
Springer
15 years 7 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
116
Voted
IEAAIE
2009
Springer
15 years 7 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