12981 search results - page 2066 / 2597 » Model Checking (Abstract) |
261
click to vote
GPC
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Large-scale distributed computing applications require concurrent programming models that support modular and compositional software development. The actor model supports...
244
click to vote
ALGOSENSORS
2007
Springer
15 years 11 months ago
2007
Springer
We study the problem of localizing and tracking multiple moving targets in wireless sensor networks, from a network design perspective i.e. towards estimating the least possible n...
187
click to vote
ASPDAC
2007
ACM
15 years 11 months ago
2007
ACM
Abstract: This paper presents an approach to area optimization of arithmetic datapaths that perform polynomial computations over bit-vectors with finite widths. Examples of such de...
176
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
This paper addresses distributed task allocation in complex scenarios modeled using the distributed constraint optimization problem (DCOP) formalism. We propose and evaluate a nov...
193
click to vote
AUTONOMICS
2007
ACM
15 years 11 months ago
2007
ACM
Abstract. Adaptation of devices and applications based on contextual information has a great potential to enhance usability and mitigate the increasing complexity of mobile devices...