3155 search results - page 64 / 631 » Maintenance: Less Is Not More |
BEHAVIOURIT
2005
13 years 10 months ago
2005
This paper reports a field evaluation of the mobile phone as a `package' of device and services. The evaluation compares 44 university students' usage and user experienc...
FORMATS
2010
Springer
13 years 8 months ago
2010
Springer
SMT solvers have traditionally been based on the DPLL(T) algorithm, where the driving force behind the procedure is a DPLL search over truth valuations. This traditional framework ...
DLOG
2007
14 years 8 days ago
2007
Abstract. Concept approximation is an inference service for Description Logics that provides “translations” of concept descriptions from one DL to a less expressive DL. In [4] ...
SASO
2010
IEEE
13 years 7 months ago
2010
IEEE
Self-organising systems are a popular engineering concept for designing decentralised autonomic computing systems. They are able to find solutions in complex and versatile problem ...
DAC
1999
ACM
14 years 11 months ago
1999
ACM
It is generally believed that there will be little more variety in CPU architectures, and thus the design of Instruction-set Architectures (ISAs) will have no role in the future o...