Sciweavers

1886 search results - page 316 / 378
» Verifying and validating a simulation model
Sort
View
WINET
2010
136views more  WINET 2010»
14 years 8 months ago
Analysis of the Bluetooth device discovery protocol
Device discovery and connection establishment are fundamental to communication between two Bluetooth (BT) devices. In this paper, we give an analytical model of the time it takes f...
Goutam Chakraborty, Kshirasagar Naik, Debasish Cha...
MOBISYS
2008
ACM
15 years 9 months ago
Composcan: adaptive scanning for efficient concurrent communications and positioning with 802.11
Using 802.11 concurrently for communications and positioning is problematic, especially if location-based services (e.g., indoor navigation) are concurrently executed with real-ti...
Mikkel Baun Kjærgaard, Thomas King
INFOCOM
2002
IEEE
15 years 2 months ago
Stability of a Multicast Tree
— Most of the currently deployed multicast protocols (e.g. DVMRP, PIM, MOSPF) build one shortest path multicast tree per sender, the tree being rooted at the sender’s subnetwor...
Piet Van Mieghem, Milena Janic
ECMDAFA
2010
Springer
228views Hardware» more  ECMDAFA 2010»
15 years 1 months ago
Example-Based Sequence Diagrams to Colored Petri Nets Transformation Using Heuristic Search
Dynamic UML models like sequence diagrams (SD) lack sufficient formal semantics, making it difficult to build automated tools for their analysis, simulation and validation. A commo...
Marouane Kessentini, Arbi Bouchoucha, Houari A. Sa...
ENVSOFT
2008
55views more  ENVSOFT 2008»
14 years 9 months ago
A simple algorithm for yield estimates: Evaluation for semi-arid irrigated winter wheat monitored with green leaf area index
In this study we investigated the perspective offered by coupling a simple vegetation growth model and ground-based remotely-sensed data for the monitoring of wheat production. A ...
Benoît Duchemin, Philippe Maisongrande, Gill...