4540 search results - page 479 / 908 » Evolvability |
157
click to vote
SCL
2008
15 years 7 months ago
2008
Abstract-- In this work, we focus on a class of nonlinear asynchronous systems defined by two different modes of operation, one stable and the other one unstable. The switching bet...
200
click to vote
PERVASIVE
2006
Springer
15 years 7 months ago
2006
Springer
Large interactive display systems are becoming increasingly pervasive, but most have been studied in isolation, rather than in the context of other technologies in the environment....
194
click to vote
SIGKDD
2008
15 years 7 months ago
2008
We introduce the new paradigm of Change Mining as data mining over a volatile, evolving world with the objective of understanding change. While there is much work on incremental m...
154
click to vote
SIGMOBILE
2008
15 years 7 months ago
2008
Realistic simulation is a necessary tool for proper evaluation of newly developed protocols for Vehicular Ad Hoc Networks (VANETs). Several recent efforts focused on achieving thi...
168
click to vote
AC
2005
Springer
15 years 7 months ago
2005
Springer
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...