Sciweavers

3891 search results - page 212 / 779
» Toward nature-inspired computing
Sort
View
PERCOM
2010
ACM
15 years 1 months ago
Towards automated verification of autonomous networks: A case study in self-configuration
In autonomic networks, the self-configuration of network entities is one of the most desirable properties. In this paper, we show how formal verification techniques can verify the ...
JaeSeung Song, Tiejun Ma, Peter R. Pietzuch
PPSN
2010
Springer
15 years 1 months ago
Benchmarking Evolutionary Algorithms: Towards Exploratory Landscape Analysis
We present methods to answer two basic questions that arise when benchmarking optimization algorithms. The first one is: which algorithm is the `best' one? and the second one:...
Olaf Mersmann, Mike Preuss, Heike Trautmann
TRIDENTCOM
2010
IEEE
15 years 1 months ago
Towards a Virtualized Sensing Environment
Abstract. While deploying a sensor network is necessary for proofof-concept experimentation, it is a time-consuming and tedious task that dramatically slows innovation. Treating se...
David Irwin, Navin Sharma, Prashant J. Shenoy, Mic...
140
Voted
WICON
2010
15 years 1 months ago
Toward Clock Skew based Wireless Sensor Node Services
Clock skew is defined as the rate of deviation of a device clock from the true time. The frequency of a device's clock actually depends on its environment, such as the tempera...
Md. Borhan Uddin, Claude Castelluccia
GI
2009
Springer
15 years 1 months ago
Applying Model-Driven Integration Engineering to e-business - striving towards a framework concept
: Changing business requirements such as providing new business services lead to an ongoing need for fast and flexible adaptation of the underlying information systems and infrastr...
Jens Schenderlein, Sascha Sauer, Tobias Krüge...