1087 search results - page 126 / 218 » Achieving Distributed Control through Model Checking |
ICETE
2004
13 years 10 months ago
2004
: The music industry is an interesting example for how business models from the pre-Internet area can get into trouble in the new Internet-based economy. Since 2000, the music indu...
GLOBECOM
2007
IEEE
14 years 3 months ago
2007
IEEE
In this paper, cross-layer optimization approach is applied from video coding to the physical layer through Media Access Control (MAC) layer. We mainly focus on resource allocatio...
GLOBAL
2003
Springer
14 years 2 months ago
2003
Springer
Klaim (Kernel Language for Agents Interaction and Mobility) is an experimental language specifically designed to program distributed systems consisting of several mobile component...
KER
2006
13 years 9 months ago
2006
This work examines the interplay of inter-personal and inter-organizational trust, two distinct but related concepts, through a theoretic inter-organizational trust-based security...
ASMTA
2008
Springer
13 years 11 months ago
2008
Springer
Ad hoc network routing protocols may fail to operate in the absence of an end-to-end connection from source to destination. This deficiency can be resolved by so-called delay-toler...