1037 search results - page 110 / 208 » Cooperative Computing for Distributed Embedded Systems |
148
click to vote
ADHOCNETS
2009
Springer
15 years 5 months ago
2009
Springer
This paper is a sequel of previous work, in which we have studied the traffic management problem in UMTS. The main objective was to improve the spectral efficiency of cellular netw...
123
click to vote
WORDS
2005
IEEE
15 years 8 months ago
2005
IEEE
Self-healing systems focus on how to reducing the complexity and cost of the management of dependability policies and mechanisms without human intervention. This position paper pr...
106
click to vote
GSEM
2007
Springer
15 years 9 months ago
2007
Springer
In order to manage and enforce multiple heterogeneous authorization policies in distributed authorization environment, we defined the root policy specification language and its cor...
132
click to vote
EMSOFT
2010
Springer
15 years 1 months ago
2010
Springer
We propose a technique to automatically synthesize programs and schedules for hard real-time distributed (embedded) systems from synchronous data-flow models. Our technique connec...
157
click to vote
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...