Sciweavers

16822 search results - page 583 / 3365
» Designing Simulation Experiments
Sort
View
SECURWARE
2007
IEEE
16 years 1 months ago
Temporal Verification in Secure Group Communication System Design
The paper discusses an experience in using a realtime UML/SysML profile and a formal verification toolkit to check a secure group communication system against temporal requirement...
Benjamin Fontan, Sara Mota, Pierre de Saqui-Sannes...
HAPTICS
2005
IEEE
16 years 25 days ago
FootIO -- Design and Evaluation of a Device to Enable Foot Interaction over a Computer Network
The development of a device that enables haptic foot interaction for communication over a network is presented. Considering the physical properties of feet we demonstrate that fee...
A. F. Rovers, H. A. van Essen
VISUALIZATION
1992
IEEE
15 years 11 months ago
Improving the Visualization of Hierarchies with Treemaps: Design Issues and Experimentation
Controlled experiments with novice treemap users and real data highlight the strengths of treemaps and provide direction for improvement. Issues discussed include experimental res...
David Turo, B. Johnson
MSWIM
2006
ACM
16 years 1 months ago
The effect of the radio wave propagation model in mobile ad hoc networks
The simulation of wireless networks has been an important tool for researchers and the industry in the last years. Especially in the field of Mobile Ad Hoc Networking, most curre...
Arne Schmitz, Martin Wenig
ISCC
2006
IEEE
133views Communications» more  ISCC 2006»
16 years 1 months ago
Choosing Weights for IP Network Dimensioning Optimization
Often in Internet Protocol (IP) networks, links are assigned weights, and traffic demands are routed along shortest paths. Hence, these link weights are the parameters which dete...
Olivier Klopfenstein, Sebastien Mamy