1383 search results - page 142 / 277 » Computational Mechanisms for Distributed Requirements Engine... |
159
click to vote
EUROMICRO
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper addresses the problem of component selection, task assignment and task scheduling for distributed embedded computer systems. Such systems have a large number of constra...
138
click to vote
ARCS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
157
click to vote
WIMOB
2007
IEEE
15 years 11 months ago
2007
IEEE
Service discovery in mobile ad hoc networks (MANETs) is an integral part for collective application interoperability. The discovery process must cope not only with transient commun...
152
click to vote
EURONGI
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents a simulation analysis for the evaluation of the admission region of a IEEE 802.11e network adopting the EDCA (Enhanced Distributed Channel Access) mechanism. In...
157
click to vote
NOMS
2006
IEEE
15 years 11 months ago
2006
IEEE
Grids are distributed infrastructures that have been used as an important and powerful resource for distributed computing. Since the nodes of a grid can potentially be located in ...