Sciweavers

4752 search results - page 817 / 951
» Dependability in Web Software
Sort
View
PERCOM
2008
ACM
16 years 6 months ago
IP Address Passing for VANETs
In Vehicular Ad-hoc Networks (VANETs), vehicles can gain short connections to the Internet by using wireless access points (AP). A significant part of the connection time is the t...
Todd Arnold, Wyatt Lloyd, Jing Zhao, Guohong Cao
179
Voted
CVPR
2010
IEEE
16 years 3 months ago
Direct Image Alignment of Projector-Camera Systems with Planar Surfaces
Projector-camera systems use computer vision to analyze their surroundings and display feedback directly onto real world objects, as embodied by spatial augmented reality. To be e...
Samuel Audet, Masatoshi Okutomi, Masayuki Tanaka
FOSSACS
2010
Springer
16 years 1 months ago
Completeness for Algebraic Theories of Local State
Every algebraic theory gives rise to a monad, and monads allow a meta-language which is a basic programming language with sideeffects. Equations in the algebraic theory give rise ...
Sam Staton
DSN
2009
IEEE
16 years 1 months ago
LFI: A practical and general library-level fault injector
Fault injection, a critical aspect of testing robust systems, is often overlooked in the development of generalpurpose software. We believe this is due to the absence of easy-to-u...
Paul Dan Marinescu, George Candea
ICAS
2009
IEEE
109views Robotics» more  ICAS 2009»
16 years 1 months ago
Ponder2: A Policy System for Autonomous Pervasive Environments
Policies form an important part of management and can be an effective means of implementing self-adaptation in pervasive systems. Most policy-based systems focus on large-scale ne...
Kevin P. Twidle, Naranker Dulay, Emil Lupu, Morris...