Sciweavers

2800 search results - page 39 / 560
» Fibrational Control Structures
Sort
View
ALGORITHMICA
2010
153views more  ALGORITHMICA 2010»
15 years 6 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
16 years 14 days 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
15 years 11 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
16 years 12 days 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
16 years 7 days 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...