Sciweavers

1375 search results - page 76 / 275
» eg 2006
Sort
View
AOSE
2006
Springer
13 years 12 months ago
Using Risk Analysis to Evaluate Design Alternatives
Recently, multi-agent systems have proved to be a suitable approach to the development of real-life information systems. In particular, they are used in the domain of safety critic...
Yudistira Asnar, Volha Bryl, Paolo Giorgini
CTRSA
2006
Springer
118views Cryptology» more  CTRSA 2006»
13 years 12 months ago
Stand-Alone and Setup-Free Verifiably Committed Signatures
Abstract. In this paper, we first demonstrate a gap between the security of verifiably committed signatures in the two-party setting and the security of verifiably committed signat...
Huafei Zhu, Feng Bao
DEXA
2006
Springer
125views Database» more  DEXA 2006»
13 years 12 months ago
Andromeda : Building e-Science Data Integration Tools
: This paper ANDROMEDA, an astronomical data mediation system that enables transparent access to astronomical data servers. Transparent access is achieved by a global view that exp...
Víctor Cuevas-Vicenttín, José...
ECAI
2006
Springer
13 years 12 months ago
Modal Logics for Communicating Rule-Based Agents
In this paper, we show how to establish correctness and time bounds (e.g., quality of service guarantees) for multi-agent systems composed of communicating rule-based agents. The f...
Natasha Alechina, Mark Jago, Brian Logan
ECAI
2006
Springer
13 years 12 months ago
Background Default Knowledge and Causality Ascriptions
A model is defined that predicts an agent's ascriptions of causality (and related notions of facilitation and justification) between two events in a chain, based on background...
Jean-François Bonnefon, Rui Da Silva Neves,...