Sciweavers

10899 search results - page 347 / 2180
» Wide Area Computation
Sort
View
CONCUR
2004
Springer
16 years 28 days ago
Modular Construction of Modal Logics
We present a modular approach to defining logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavi...
Corina Cîrstea, Dirk Pattinson
215
Voted
CN
2006
61views more  CN 2006»
15 years 7 months ago
Structuring topologically aware overlay networks using domain names
Abstract-- Overlay networks are application layer systems which facilitate users in performing distributed functions such as searches over the contents of other users. An important...
Demetrios Zeinalipour-Yazti, Vana Kalogeraki
190
Voted
IJCNN
2007
IEEE
16 years 1 months ago
Modeling Overlapping Execution/Observation Brain Pathways
— Recent brain imaging studies on primates revealed that a network of brain areas is activated both during observation and during execution of movements. The present work aims at...
Michail Maniadakis, Manolis Hourdakis, Panos E. Tr...
175
Voted
LCN
2007
IEEE
16 years 1 months ago
A Scalable Hybrid Approach to Switching in Metro Ethernet Networks
—The most common technology in Local Area Networks is the Ethernet protocol. The continuing evolution of Ethernet has propelled it into the scope of Metropolitan Area Networks. E...
Minh Huynh, Prasant Mohapatra
ICPADS
2005
IEEE
16 years 1 months ago
The Impact of Random Waypoint Mobility on Infrastructure Wireless Networks
In this paper we report the impact of the Random Waypoint model on infrastructure wireless networks that utilise multi-rate scheme. The Waypoint model causes a higher concentratio...
Dennis Pong, Tim Moors