837 search results - page 101 / 168 » A Compositional Approach on Modal Specifications for Timed S... |
VLDB
2007
ACM
14 years 9 months ago
2007
ACM
Whenever an intrusion occurs, the security and value of a computer system is compromised. Network-based attacks make it difficult for legitimate users to access various network ser...
DSN
2004
IEEE
14 years 22 days ago
2004
IEEE
Advanced molecular nanotechnology devices are expected to have exceedingly high transient fault rates and large numbers of inherent device defects compared to conventional CMOS de...
BMCBI
2010
13 years 9 months ago
2010
Background: The budding yeast Saccharomyces cerevisiae is one of the most widely studied model organisms in aging-related science. Although several genetic modifiers of yeast long...
AAAI
2006
13 years 10 months ago
2006
I propose that the notion of cognitive state be broadened from the current predicate-symbolic, Language-of-Thought framework to a multi-modal one, where perception and kinesthetic...
FAST
2009
13 years 6 months ago
2009
Provenance describes how an object came to be in its present state. Thus, it describes the evolution of the object over time. Prior work on provenance has focussed on databases an...