451 search results - page 61 / 91 » Accomplishing software stability |
213
Voted
EUC
2005
Springer
16 years 26 days ago
2005
Springer
Smart spaces are open complex computing systems, consisting of a large variety of cooperative smart things. Central to building smart spaces is the support for sophisticated coordi...
190
click to vote
PERVASIVE
2005
Springer
16 years 25 days ago
2005
Springer
Ubiquitous Web systems have to deal with varying context information in order to support context awareness. Accomplishing this requirement necessitates gathering, processing and r...
184
Voted
SIGADA
2005
Springer
16 years 25 days ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...
222
click to vote
SIGADA
2004
Springer
16 years 21 days ago
2004
Springer
Genetic Algorithms provide computational procedures that are modeled on natural genetic system mechanics, whereby a coded solution is “evolved” from a set of potential solutio...
218
Voted
SAC
2003
ACM
16 years 18 days ago
2003
ACM
Existing sequence comparison software applications lack automation, abstraction, performance, and flexibility. Users need a new way of studying and applying sequence comparisons i...