Sciweavers

437 search results - page 25 / 88
» A Component Coordination Model Based on Mobile Channels
Sort
View
INFOCOM
2008
IEEE
15 years 4 months ago
Joint Effects of Radio Channels and Node Mobility on Link Dynamics in Wireless Networks
—In this paper, we study link properties over dynamic radio channels based on analytical models and simulations. Specifically, channel variability and mobility are investigated ...
Wenye Wang, Ming Zhao 0001
ISORC
2000
IEEE
15 years 2 months ago
Architecture, Design Methodology, and Component-Based Tools for a Real-Time Inspection System
We describe a real-time, component-based system for an inspection application. We chose the inspection application and the accompanying task (or scenario) so that we might fully e...
John Albert Horst
SAC
2005
ACM
15 years 3 months ago
Formal modeling and quantitative analysis of KLAIM-based mobile systems
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
Rocco De Nicola, Diego Latella, Mieke Massink
ENTCS
2008
105views more  ENTCS 2008»
14 years 9 months ago
Checking Equivalence for Reo Networks
Constraint automata have been used as an operational model for component connectors described in the coordination language Reo which specifies the cooperation and communication of...
Tobias Blechmann, Christel Baier
86
Voted
WCNC
2008
IEEE
15 years 4 months ago
Directional Dependence of Large Scale Parameters in Wireless Channel Models
—In this paper the autocorrelation properties of shadow fading and angle spread at both the base station (BS) and at the mobile station (MS) are analyzed using urban macro cellul...
Niklas Jalden, Per Zetterberg, Björn E. Otter...