9067 search results - page 1702 / 1814 » Adaptive Model Checking |
186
click to vote
JSAC
2010
15 years 4 months ago
2010
Abstract—When an emergency happens, public communication networks, including cellular networks, public switched telecommunication networks, and the Internet can be utilized to su...
166
click to vote
PROCEDIA
2010
15 years 4 months ago
2010
Generative Topographic Mapping (GTM) is an important technique for dimension reduction which has been successfully applied to many fields. However the usual Expectation-Maximizat...
181
click to vote
SPIN
2010
Springer
15 years 4 months ago
2010
Springer
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
151
click to vote
TPDS
2010
15 years 4 months ago
2010
—In this paper, we address the problem of finding well-performing workload exchange policies for decentralized Computational Grids using an Evolutionary Fuzzy System. To this end...
178
click to vote
WIAS
2010
15 years 4 months ago
2010
An autonomic system is a system capable of managing itself and adjusting its actions in the face of environmental changes. Autonomic systems are currently developed using ad-hoc ap...