Sciweavers

5334 search results - page 888 / 1067
» Communicating quantum processes
Sort
View
WS
2004
ACM
15 years 10 months ago
Analysis of the 802.11i 4-way handshake
802.11i is an IEEE standard designed to provide enhanced MAC security in wireless networks. The authentication process involves three entities: the supplicant (wireless device), t...
Changhua He, John C. Mitchell
ATAL
2004
Springer
15 years 10 months ago
Analysis of a Stochastic Model of Adaptive Task Allocation in Robots
Adaptation is an essential requirement for self–organizing multi–agent systems functioning in unknown dynamic environments. Adaptation allows agents, e.g., robots, to change th...
Aram Galstyan, Kristina Lerman
126
Voted
CCS
2004
ACM
15 years 10 months ago
Authenticity by tagging and typing
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
Michele Bugliesi, Riccardo Focardi, Matteo Maffei
CDVE
2004
Springer
135views Visualization» more  CDVE 2004»
15 years 10 months ago
Multimodal Interaction in a Collaborative Virtual Brainstorming Environment
Abstract. In this paper we present our work in setting up a collaborative virtual environment (CVE) framework which is built to support collaborative creative meetings for geograph...
Fabian Di Fiore, Peter Vandoren, Frank Van Reeth
CDVE
2004
Springer
113views Visualization» more  CDVE 2004»
15 years 10 months ago
Fostering Creativity in Cooperative Design
Creativity has become a valuable asset, given the fast paced changes most companies must nowadays deal with. Companies now look for creative, highly adaptive individuals who can ex...
Adriana Santarosa Vivacqua, Jano Moreira de Souza