Sciweavers

3729 search results - page 285 / 746
» On Formal Modeling of Agent Computations
Sort
View
TCC
2005
Springer
88views Cryptology» more  TCC 2005»
16 years 3 days ago
Relaxing Environmental Security: Monitored Functionalities and Client-Server Computation
Definition of security under the framework of Environmental Security (a.k.a Network-Aware Security or Universally Composable Security) typically requires “extractability” of t...
Manoj Prabhakaran, Amit Sahai
ECAL
2007
Springer
16 years 25 days ago
PLAZZMID: An Evolutionary Agent-Based Architecture Inspired by Bacteria and Bees
Abstract. Classical evolutionary algorithms have been extremely successful at solving certain problems. But they implement a very simple model of evolutionary biology that misses o...
Susan Stepney, Tim Clarke, Peter Young
EUC
2005
Springer
16 years 5 days ago
Dealing with Emotional Factors in Agent Based Ubiquitous Group Decision
Abstract. With the increasing globalization of economy and consequent increasing in the inter and intra organizational competitiveness, the role of groups in organizations and busi...
Goreti Marreiros, Carlos Ramos, José Neves
AIPS
2009
15 years 7 months ago
Multi-Agent Online Planning with Communication
We propose an online algorithm for planning under uncertainty in multi-agent settings modeled as DEC-POMDPs. The algorithm helps overcome the high computational complexity of solv...
Feng Wu, Shlomo Zilberstein, Xiaoping Chen
COMPSAC
2006
IEEE
16 years 21 days ago
Automated Agent Synthesis for Situation Awareness in Service-Based Systems
Service-based systems have many applications, such as collaborative research and development, e-business, health care, military applications, and homeland security. In dynamic ser...
Stephen S. Yau, Haishan Gong, Dazhi Huang, Wei Gao...