15421 search results - page 173 / 3085 » Dependability |
120
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
In this paper, we present a variant of the dependency pair method for analysing runtime complexities of term rewrite systems automatically. This method is easy to implement, but si...
130
click to vote
ICSE
2004
IEEE-ACM
16 years 4 months ago
2004
IEEE-ACM
An approach to software development is sketched in which problem structuring is separated from software architecture. The problem is decomposed into subproblems of familiar classes...
124
click to vote
PERCOM
2006
ACM
16 years 3 months ago
2006
ACM
In this paper we present a framework to provide dependability through accountability. Our proposal exploits the asymmetry present in the majority of sensor data processing to chea...
119
click to vote
CHI
2010
ACM
15 years 11 months ago
2010
ACM
Studies using different methods have been carried out of older adults’ use of mobile technology in Malaysia and the UK. Preliminary results suggest that there are significant di...
147
click to vote
SETN
2010
Springer
15 years 11 months ago
2010
Springer
The preservation of digital objects is a topic of prominent importance for archives and digital libraries. This paper focuses on the problem of preserving the performability of tas...