Sciweavers

2844 search results - page 110 / 569
» A Comparison of Partitioning Operating Systems for Integrate...
Sort
View
CAV
2007
Springer
145views Hardware» more  CAV 2007»
15 years 8 months ago
Hybrid Systems: From Verification to Falsification
We propose HyDICE, Hybrid DIscrete Continuous Exploration, a multi-layered approach for hybrid-system testing that integrates continuous sampling-based robot motion planning with d...
Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi
SRDS
1999
IEEE
15 years 8 months ago
Information Dissemination in Partitionable Mobile Ad Hoc Networks
Ad-hoc wireless networks have no wired component, and may have unpredictable mobility pattern. Such networks can get partitioned and reconnected several times. One possible approa...
Goutham Karumanchi, Srinivasan Muralidharan, Ravi ...
CIDR
2007
138views Algorithms» more  CIDR 2007»
15 years 6 months ago
MOMA - A Mapping-based Object Matching System
Object matching or object consolidation is a crucial task for data integration and data cleaning. It addresses the problem of identifying object instances in data sources referrin...
Andreas Thor, Erhard Rahm
IWFM
2000
167views Formal Methods» more  IWFM 2000»
15 years 5 months ago
An Algebraic Basis for Specifying and Enforcing Access Control in Security Systems
Security services in a multi-user environment are often based on access control mechanisms. Static of an access control policy can be formalised using abstract algebraic models. W...
Claus Pahl
EMSOFT
2009
Springer
15 years 11 months ago
NANDFS: a flexible flash file system for RAM-constrained systems
NANDFS is a flash file system that exposes a memory-performance tradeoff to system integrators. The file system can be configured to use a large amount of RAM, in which case i...
Aviad Zuck, Ohad Barzilay, Sivan Toledo