3729 search results - page 77 / 746 » On Formal Modeling of Agent Computations |
COLCOM
2008
IEEE
15 years 1 months ago
2008
IEEE
Community computing is an agent-based development paradigm for ubiquitous computing systems. In a community computing system, ubiquitous services are provided by cooperation among ...
ACSAC
2003
IEEE
15 years 3 months ago
2003
IEEE
When a receiver of a ciphertext message can not decrypt the message due to the fact that he has lost his private-key, the private-key of the receiver and session-key of the messag...
ICS
2010
Tsinghua U.
15 years 9 months ago
2010
Tsinghua U.
Abstract: Research in sociology studies the effectiveness of social networks in achieving computational tasks. Typically the agents who are supposed to achieve a task are unaware o...
ATAL
2006
Springer
15 years 3 months ago
2006
Springer
Intelligent agents are typically situated in a social environment and must reason about social cause and effect. Such reasoning is qualitatively different from physical causal rea...
ECAI
2006
Springer
15 years 3 months ago
2006
Springer
One of the most important aspects of the research on agent interaction is the definition of agent communication languages (ACLs), and the specification of a proper formal semantics...