Sciweavers

1723 search results - page 94 / 345
» Generalized file system dependencies
Sort
View
MOBIDE
2005
ACM
15 years 3 months ago
Towards universal mobile caching
In the context of mobile data access, data caching is fundamental for both performance and functionality. For this reason there have been many studies into developing energy-effi...
Ganesh Santhanakrishnan, Ahmed Amer, Panos K. Chry...
AUTOMATICA
2007
73views more  AUTOMATICA 2007»
14 years 10 months ago
Output feedback controller synthesis for descriptor systems satisfying closed-loop dissipativity
This paper is concerned with synthesis of output feedback controllers for descriptor systems to attain dissipativity of the closed-loop system. A necessary and sufficient conditio...
Izumi Masubuchi
SOSP
2009
ACM
15 years 6 months ago
Upright cluster services
The UpRight library seeks to make Byzantine fault tolerance (BFT) a simple and viable alternative to crash fault tolerance for a range of cluster services. We demonstrate UpRight ...
Allen Clement, Manos Kapritsos, Sangmin Lee, Yang ...
DIMVA
2010
14 years 10 months ago
dAnubis - Dynamic Device Driver Analysis Based on Virtual Machine Introspection
Abstract. In the escalating arms race between malicious code and security tools designed to analyze it, detect it or mitigate its impact, malicious code running inside the operatin...
Matthias Neugschwandtner, Christian Platzer, Paolo...
IJCAI
1993
14 years 11 months ago
A Parameterised Module System for Constructing Typed Logic Programs
The paper is concerned with the design of a module system for logic programming so as to satisfy many of the requirements of software en­ gineering. The design is based on the la...
Patricia M. Hill