5326 search results - page 350 / 1066 » On what we can ensure |
159
click to vote
OZCHI
2006
ACM
16 years 21 days ago
2006
ACM
This paper reports on the evaluation of a digitallyaugmented exhibition on the history of modern media. We discuss visitors’ interaction with installations and corresponding int...
181
click to vote
STOC
2006
ACM
16 years 21 days ago
2006
ACM
We investigate the question of whether security of protocols in the information-theoretic setting (where the adversary is computationally unbounded) implies the security of these ...
164
click to vote
ITCC
2005
IEEE
16 years 10 days ago
2005
IEEE
This paper presents an approach to the architectural design and analysis of secure software systems based on the system requirements elicited in the form of use cases and misuse c...
176
click to vote
AMAI
2004
Springer
16 years 4 days ago
2004
Springer
The framework of algorithmic knowledge assumes that agents use algorithms to compute the facts they explicitly know. In many cases of interest, a logical theory, rather than a par...
145
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Agent-based on-line negotiation technology has the potential to radically change the way e-business is conducted. In this paper, we present a formal model for autonomous agents to...