Sciweavers

2800 search results - page 39 / 560
» Fibrational Control Structures
Sort
View
ALGORITHMICA
2010
153views more  ALGORITHMICA 2010»
13 years 10 months ago
Confluently Persistent Tries for Efficient Version Control
We consider a data-structural problem motivated by version control of a hierarchical directory structure in a system like Subversion. The model is that directories and files can b...
Erik D. Demaine, Stefan Langerman, Eric Price
MFCS
2009
Springer
14 years 5 months ago
Synthesis for Structure Rewriting Systems
Abstract. The description of a single state of a modelled system is often complex in practice, but few procedures for synthesis address this problem in depth. We study systems in w...
Lukasz Kaiser
APSEC
2005
IEEE
14 years 4 months ago
Microcomponent-Based Component Controllers: A Foundation for Component Aspects
In most component models, a software component consists of a functional part and a controller part. The controller part may be extensible; however, existing component models provi...
Vladimir Mencl, Tomás Bures
ACSAC
2008
IEEE
14 years 5 months ago
Automatic Inference and Enforcement of Kernel Data Structure Invariants
Kernel-level rootkits affect system security by modifying key kernel data structures to achieve a variety of malicious goals. While early rootkits modified control data structur...
Arati Baliga, Vinod Ganapathy, Liviu Iftode
INFOCOM
2007
IEEE
14 years 5 months ago
Limiting Sybil Attacks in Structured P2P Networks
— One practical limitation of structured peer-to-peer (P2P) networks is that they are frequently subject to Sybil attacks: malicious parties can compromise the network by generat...
Hosam Rowaihy, William Enck, Patrick McDaniel, Tom...