Sciweavers

250 search results - page 41 / 50
» Verifying Tolerant Systems Using Polynomial Approximations
Sort
View
MIDDLEWARE
2009
Springer
15 years 4 months ago
PAQ: Persistent Adaptive Query Middleware for Dynamic Environments
Abstract. Pervasive computing applications often entail continuous monitoring tasks, issuing persistent queries that return continuously updated views of the operational environmen...
Vasanth Rajamani, Christine Julien, Jamie Payton, ...
IJACTAICIT
2010
200views more  IJACTAICIT 2010»
14 years 6 months ago
An Intelligent Framework for Natural Object Identification in Images
Human superiority over computers in identifying natural objects like clouds, water, grass etc. comes from two capabilities: the capability to maintain a growing knowledge base per...
Aasia Khanum
ACSAC
2007
IEEE
15 years 3 months ago
Establishing and Sustaining System Integrity via Root of Trust Installation
Integrity measurements provide a means by which distributed systems can assess the trustability of potentially compromised remote hosts. However, current measurement techniques si...
Luke St. Clair, Joshua Schiffman, Trent Jaeger, Pa...
USENIX
1994
14 years 10 months ago
A Better Update Policy
y-filled data block results in a delayed write,Abstract while a modification that fills a block results in an immediate, although asynchronous, write. TheSome file systems can dela...
Jeffrey C. Mogul
CDC
2008
IEEE
15 years 3 months ago
Noise suppression in auto-regulatory gene networks
— Living cells are characterized by small populations of key molecular components that have large stochastic noise associated with them. Various gene network motifs exists within...
Abhyudai Singh, João Pedro Hespanha