816 search results - page 149 / 164 » Automating Verification by Functional Abstraction at the Sys... |
METRICS
2005
IEEE
14 years 2 months ago
2005
IEEE
Software architecture is an important form of abstraction, representing the overall system structure and the relationship among components. When software is modified from one ver...
CCE
2011
13 years 3 months ago
2011
The robustness of a system is a property that pervades all aspects of Nature. The ability of a system to adapt itself to perturbations due to internal and external agents, to agin...
ASPLOS
2012
ACM
12 years 4 months ago
2012
ACM
Device drivers are the single largest contributor to operating-system kernel code with over 5 million lines of code in the Linux kernel, and cause significant complexity, bugs an...
BMCBI
2006
13 years 9 months ago
2006
Background: The accomplishment of the various genome sequencing projects resulted in accumulation of massive amount of gene sequence information. This calls for a large-scale comp...
MM
2004
ACM
14 years 2 months ago
2004
ACM
In this paper, we propose and investigate a new user scenario for face annotation, in which users are allowed to multi-select a group of photographs and assign names to these phot...