Sciweavers

1375 search results - page 76 / 275
» eg 2006
Sort
View
AOSE
2006
Springer
15 years 2 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»
15 years 2 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»
15 years 2 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
15 years 2 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
15 years 2 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,...