467 search results - page 69 / 94 » Detecting errors using multi-cycle invariance information |
HUC
2004
Springer
15 years 3 months ago
2004
Springer
We present an automated transportation routing system, called “Opportunity Knocks,” whose goal is to improve the efficiency, safety and independence of individuals with mild co...
DISCEX
2003
IEEE
15 years 3 months ago
2003
IEEE
Dealing with damage that arises during operation of networked information systems is essential if such systems are to provide the dependability required by modern critical applica...
SEMWEB
2007
Springer
15 years 3 months ago
2007
Springer
OBO is an ontology language that has often been used for modeling ontologies in the life sciences. Its definition is relatively informal, so, in this paper, we provide a clear spe...
MTA
2010
14 years 8 months ago
2010
Effective encoding and indexing of audiovisual documents are two key aspects for enhancing the multimedia user experience. In this paper we propose the embedding of low-level cont...
COMSNETS
2012
13 years 5 months ago
2012
—Patterns of human encounters, which are difficult to observe directly, are fundamental to the propagation of mobile malware aimed at infecting devices in spatial proximity. We ...