Sciweavers

1302 search results - page 91 / 261
» Focus on Components
Sort
View
186
Voted
DSN
2007
IEEE
16 years 1 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...
175
Voted
AMDO
2004
Springer
16 years 24 days 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...
222
Voted
COSIT
1997
Springer
115views GIS» more  COSIT 1997»
15 years 11 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
227
Voted
FM
2006
Springer
146views Formal Methods» more  FM 2006»
15 years 11 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»
16 years 11 days 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-...