5372 search results - page 842 / 1075 » complexity 2007 |
159
click to vote
ASYNC
2007
IEEE
15 years 10 months ago
2007
IEEE
Few formal verification techniques are currently available for asynchronous designs. In this paper, we describe a new approach for the formal verification of asynchronous architec...
176
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Air traffic flow management is one of the fundamental challenges facing the Federal Aviation Administration (FAA) today. The FAA estimates that in 2005 alone, there were over 322,...
158
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we present a new protocol to address multilateral multi-issue negotiation in a cooperative context. We consider complex dependencies between multiple issues by mode...
158
click to vote
ATAL
2007
Springer
15 years 10 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...
174
click to vote
AUTONOMICS
2007
ACM
15 years 10 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...