Sciweavers

6031 search results - page 1032 / 1207
» Communicating Transaction Processes
Sort
View
ATAL
2004
Springer
15 years 9 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
CCS
2004
ACM
15 years 9 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
140
Voted
CDVE
2004
Springer
135views Visualization» more  CDVE 2004»
15 years 9 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 9 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
CONCUR
2004
Springer
15 years 9 months ago
Type Based Discretionary Access Control
Abstract. Discretionary Access Control (DAC) systems provide powerful mechanisms for resource management based on the selective distribution of capabilities to selected classes of ...
Michele Bugliesi, Dario Colazzo, Silvia Crafa
« Prev « First page 1032 / 1207 Last » Next »