Sciweavers

852 search results - page 95 / 171
» A Mechanism for Sequential Consistency in a Distributed Obje...
Sort
View
IJAC
2000
104views more  IJAC 2000»
13 years 9 months ago
Construction of Self-Distributive Operations and Charged Braids
Starting from a certain monoid that describes the geometry of the left self-distributivity identity, we construct an explicit realization of the free left self-distributive system ...
Patrick Dehornoy
AGTIVE
2003
Springer
14 years 2 months ago
On Graphs in Conceptual Engineering Design
Abstract. This paper deals with knowledge-based computer aided design. A novel method giving additional support for conceptual design is presented. In this method, a designer firs...
Janusz Szuba, Agnieszka Ozimek, Andy Schürr
DISCEX
2003
IEEE
14 years 2 months ago
Monterey Security Enhanced Architecture Project
This research project has produced an innovative architecture and corrresponding engineering prototype consisting of trusted security services and integrated operating system mech...
Cynthia E. Irvine, David J. Shifflett, Paul C. Cla...
EUROSYS
2008
ACM
14 years 6 months ago
Protectit: trusted distributed services operating on sensitive data
Protecting shared sensitive information is a key requirement for today’s distributed applications. Our research uses virtualization technologies to create and maintain trusted d...
Jiantao Kong, Karsten Schwan, Min Lee, Mustaque Ah...
ERCIMDL
1998
Springer
116views Education» more  ERCIMDL 1998»
14 years 1 months ago
Documentation, Cataloging and Query by Navigation: A Practical and Sound Approach
In this paper we discuss the construction of an automated information system for a collection of visual reproductions of art objects. Special attention is payed to the economical a...
F. J. M. Bosman, Peter Bruza, Theo P. van der Weid...