Sciweavers

4098 search results - page 498 / 820
» Sound mobility models
Sort
View
ENTCS
2008
153views more  ENTCS 2008»
15 years 6 months ago
Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects
Current object-oriented approaches to distributed programs may be criticized in several respects. First, method calls are generally synchronous, which leads to much waiting in dis...
Johan Dovland, Einar Broch Johnsen, Olaf Owe
NGC
1998
Springer
115views Communications» more  NGC 1998»
15 years 6 months ago
On Semantic Resolution with Lemmaizing and Contraction and a Formal Treatment of Caching
Reducing redundancy in search has been a major concern for automated deduction. Subgoal-reduction strategies, such as those based on model elimination and implemented in Prolog te...
Maria Paola Bonacina, Jieh Hsiang
TGIS
2002
103views more  TGIS 2002»
15 years 6 months ago
The Nature of Uncertainty in Historical Geographic Information
While the presence of uncertainty in the geometric and attribute aspects of geographic information is well known, it is also present in temporal information. In spatiotemporal GIS...
Brandon Plewe
WCNC
2008
IEEE
16 years 1 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...
ICC
2007
IEEE
108views Communications» more  ICC 2007»
16 years 1 months ago
Trust Establishment in Distributed Networks: Analysis and Modeling
— Recently, trust establishment is recognized as an important approach to defend distributed networks, such as mobile ad hoc networks and sensor networks, against malicious attac...
Yan Lindsay Sun, Yafei Yang