3868 search results - page 414 / 774 » Open Systems in TLA |
159
click to vote
SI3D
2003
ACM
16 years 20 hour ago
2003
ACM
We present a system for interactively producing exploded views of 3D architectural environments such as multi-story buildings. These exploded views allow viewers to simultaneously...
224
click to vote
AGENTCL
2003
Springer
16 years 11 hour ago
2003
Springer
CHOPRA, AMIT KHUSHWANT. Nonmonotonic Commitment Machines. (Under the direction of Dr. Munindar P. Singh). Protocols in open and dynamic multiagent systems cannot be modeled via fo...
155
click to vote
CSFW
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper we present an improved logic for analysing authentication properties of cryptographic protocols, based on the SVO logic of Syverson and van Oorschot. Such logics are...
232
click to vote
DIAU
2000
Springer
15 years 11 months ago
2000
Springer
In multilaterally secure intrusion detection systems (IDS) anonymity and accountability are potentially conflicting requirements. Since IDS rely on audit data to detect violations...
165
click to vote
CSCW
1996
ACM
15 years 11 months ago
1996
ACM
To explore the potential of using audio by itself in a shared media system, we studied a workgroup using an audio-only media space. This media space, called Thunderwire, combined ...