Sciweavers

372 search results - page 40 / 75
» The box mover problem
Sort
View
WEBDB
2005
Springer
101views Database» more  WEBDB 2005»
15 years 5 months ago
T-SIX: An Indexing System for XML Siblings
We present a system for efficient indexed querying of XML documents, enhanced with sibling operations. R-tree index proposed in [5] has a very high cost for the following-sibling...
SungRan Cho
CSFW
2000
IEEE
15 years 4 months ago
Secure Composition of Untrusted Code: Wrappers and Causality Types
We consider the problem of assembling concurrent software systems from untrusted or partially trusted o -the-shelf components, using wrapper programs to encapsulate components and...
Peter Sewell, Jan Vitek
CSCW
2000
ACM
15 years 4 months ago
Coping with errors: the importance of process data in robust sociotechnical systems
This paper presents an analysis of written and electronic records that document the collaborative process of packing museum artifacts in preparation for a move. The majority of da...
Michael Twidale, Paul F. Marty
NDSS
1999
IEEE
15 years 4 months ago
Practical Approach to Anonymity in Large Scale Electronic Voting Schemes
Anonymity of ballots in electronic voting schemes usually relies on the existence of some kind of anonymous channel between voters and ballot collecting authorities. Currently, th...
Andreu Riera, Joan Borrell
FTRTFT
1994
Springer
15 years 3 months ago
Specification and Refinement of Finite Dataflow Networks - a Relational Approach
We specify the black box behavior of dataflow components by characterizing the relation between their input and their output histories. We distinguish between three main classes of...
Manfred Broy, Ketil Stølen