Sciweavers

1302 search results - page 91 / 261
» Focus on Components
Sort
View
DSN
2007
IEEE
14 years 5 months ago
Failure Resilience for Device Drivers
Studies have shown that device drivers and extensions contain 3–7 times more bugs than other operating system code and thus are more likely to fail. Therefore, we present a fail...
Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Ho...
AMDO
2004
Springer
14 years 4 months ago
Detecting Human Heads and Face Orientations Under Dynamic Environment
We propose a two-step method for detecting human heads and estimating face orientations under the dynamic environment. In the first step, the method employs an ellipse as the cont...
Akihiro Sugimoto, Mitsuhiro Kimura, Takashi Matsuy...
COSIT
1997
Springer
115views GIS» more  COSIT 1997»
14 years 3 months ago
Qualitative Representation of Change
Current geographic information systems (GISs) have been designed for querying and maintaining static databases representing static phenomena and give little support to those users ...
Kathleen Hornsby, Max J. Egenhofer
FM
2006
Springer
146views Formal Methods» more  FM 2006»
14 years 2 months ago
Formal Modeling of Communication Protocols by Graph Transformation
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
Zarrin Langari, Richard J. Trefler
DEXAW
2002
IEEE
167views Database» more  DEXAW 2002»
14 years 4 months ago
Integrating Heterogeneous Data Sources with XML and XQuery
XML has emerged as the leading language for representing and exchanging data not only on the Web, but also in general in the enterprise. XQuery is emerging as the standard query l...
Georges Gardarin, Antoine Mensch, Tuyet-Tram Dang-...