Sciweavers

1195 search results - page 139 / 239
» Resources for Situated Actions
Sort
View
PERSUASIVE
2010
Springer
14 years 6 days ago
Activity-Based Micro-pricing: Realizing Sustainable Behavior Changes through Economic Incentives
Abstract. In this paper, we further develop the idea of combining pervasive computing techniques with electronic payment systems to create activity-based micro-incentives. Economic...
Tetsuo Yamabe, Vili Lehdonvirta, Hitoshi Ito, Hayu...
FMCO
2006
Springer
123views Formal Methods» more  FMCO 2006»
13 years 12 months ago
Exhaustive Testing of Exception Handlers with Enforcer
Testing application behavior in the presence of I/O failures is extremely difficult. The resources used for testing usually work without failure. Failures typically cannot be initi...
Cyrille Artho, Armin Biere, Shinichi Honiden
LCR
2000
Springer
140views System Software» more  LCR 2000»
13 years 12 months ago
An Infrastructure for Monitoring and Management in Computational Grids
We present the design and implementation of an infrastructure that enables monitoring of resources, services, and applications in a computational grid and provides a toolkit to hel...
Abdul Waheed, Warren Smith, Jude George, Jerry C. ...
ATAL
2008
Springer
13 years 10 months ago
Deployed ARMOR protection: the application of a game theoretic model for security at the Los Angeles International Airport
Security at major locations of economic or political importance is a key concern around the world, particularly given the threat of terrorism. Limited security resources prevent f...
James Pita, Manish Jain, Janusz Marecki, Fernando ...
BIOID
2008
178views Biometrics» more  BIOID 2008»
13 years 10 months ago
Bosphorus Database for 3D Face Analysis
A new 3D face database that includes a rich set of expressions, systematic variation of poses and different types of occlusions is presented in this paper. This database is unique ...
Arman Savran, Nese Alyüz, Hamdi Dibeklioglu, ...