Sciweavers

472 search results - page 66 / 95
» On a Form of Coordinate Percolation
Sort
View
ICALP
1994
Springer
15 years 4 months ago
Liveness in Timed and Untimed Systems
When provingthe correctness of algorithmsin distributed systems, one generally considers safety conditions and liveness conditions. The Input Output I O automaton model and its ti...
Rainer Gawlick, Roberto Segala, Jørgen F. S...
ICC
2007
IEEE
154views Communications» more  ICC 2007»
15 years 3 months ago
Topology Management in CogMesh: A Cluster-Based Cognitive Radio Mesh Network
As the radio spectrum usage paradigm shifting from the traditional command and control allocation scheme to the open spectrum allocation scheme, wireless mesh networks meet new opp...
Tao Chen, Honggang Zhang, Gian Mario Maggio, Imric...
GLOBECOM
2009
IEEE
15 years 3 months ago
Multi-Frame Distributed Protocol for Analog Network Coding in Slow-Fading Channels
The wireless network scenario here is based on N users that communicate one with the others through a central relay node by adopting the Analog Network Coding (ANC) paradigm. In th...
Jonathan Gambini, Umberto Spagnolini
GPC
2009
Springer
15 years 3 months ago
G2G: A Meta-Grid Framework for the Convergence of P2P and Grids
Grid systems integrate distributed resources to form self-organization and self-management autonomies. Recently, for large-scale computation requirement, the collaboration of diffe...
Wu-Chun Chung, Chin-Jung Hsu, Yi-Shiang Lin, Kuan-...
CAISE
2006
Springer
15 years 3 months ago
Classification and Ontological Aspects in Software Engineering
The organization of objects into classes and categories is an essential task in the process of forming concepts. Within computer science, this classification activity must be suppo...
María del Pilar Romay, Carlos E. Cuesta