Sciweavers

6317 search results - page 129 / 1264
» System Support for Pervasive Applications
Sort
View
ICSE
2009
IEEE-ACM
14 years 8 months ago
Listening to programmers - Taxonomies and characteristics of comments in operating system code
Innovations from multiple directions have been proposed to improve software reliability. Unfortunately, many of the innovations are not fully exploited by programmers. To bridge t...
Yoann Padioleau, Lin Tan, Yuanyuan Zhou
IFIP12
2009
13 years 5 months ago
An Expert System Based on Parametric Net to Support Motor Pump Multi-Failure Diagnostic
Abstract Early failure detection in motor pumps is an important issue in prediction maintenance. An efficient condition-monitoring scheme is capable of providing warning and predic...
Flavia Cristina Bernardini, Ana Cristina Bicharra ...
RTSS
2005
IEEE
14 years 1 months ago
A Hybrid Static/Dynamic DVS Scheduling for Real-Time Systems with (m, k)-Guarantee
Energy reduction is critical to increase the mobility and to extend the mission period in the development of today’s pervasive computing systems. On the other hand, however, ene...
Linwei Niu, Gang Quan
ATVA
2008
Springer
90views Hardware» more  ATVA 2008»
13 years 10 months ago
Tree Pattern Rewriting Systems
Classical verification often uses abstraction when dealing with data. On the other hand, dynamic XML-based applications have become pervasive, for instance with the ever growing im...
Blaise Genest, Anca Muscholl, Olivier Serre, Marc ...
CHI
2005
ACM
14 years 8 months ago
Making space for stories: ambiguity in the design of personal communication systems
Pervasive personal communication technologies offer the potential for important social benefits for individual users, but also the potential for significant social difficulties an...
Paul M. Aoki, Allison Woodruff