Sciweavers

506 search results - page 48 / 102
» Contracts as Pairs of Projections
Sort
View
SWAT
1992
Springer
101views Algorithms» more  SWAT 1992»
13 years 11 months ago
Parallel Algorithms for Priority Queue Operations
This paper presents parallel algorithms for priority queue operations on a p-processor EREWPRAM. The algorithms are based on a new data structure, the Min-path Heap (MH), which is...
Maria Cristina Pinotti, Geppino Pucci
FC
2010
Springer
141views Cryptology» more  FC 2010»
13 years 11 months ago
When Information Improves Information Security
We investigate a mixed economy of an individual rational expert and several na¨ıve near-sighted agents in the context of security decision making. Agents select between three ca...
Jens Grossklags, Benjamin Johnson, Nicolas Christi...
ITEE
2007
13 years 9 months ago
Knowledge Acquisition and Risk Analysis in Material Recovery Facilities by a Virtual Team
1 A knowledge acquisition process that has been implemented by a virtual team for the development of a knowledge based early warning system in Material Recovery Facilities (MRFs) o...
Ioannis M. Dokas, Konstantinos Kitis, Christos Dod...
USENIX
1994
13 years 9 months ago
A Usage Profile and Evaluation of a Wide-Area Distributed File System
The evolution of the Andrew File System (AFS) into a wide-area distributed file system has encouraged collaboration and information dissemination on a much broader scale than ever...
Mirjana Spasojevic, Mahadev Satyanarayanan
AAAI
1992
13 years 8 months ago
An Empirical Analysis of Terminological Representation Systems
The family of terminological representation systems has its roots in the representation system kl-one. Since the development of kl-one more than a dozen similar representation sys...
Jochen Heinsohn, Daniel Kudenko, Bernhard Nebel, H...