Sciweavers

2211 search results - page 216 / 443
» The state of peer-to-peer simulators and simulations
Sort
View
SPIN
2004
Springer
15 years 4 months ago
Validation of UML Models via a Mapping to Communicating Extended Timed Automata
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
Iulian Ober, Susanne Graf, Ileana Ober
INFOCOM
2003
IEEE
15 years 4 months ago
On-demand Power Management for Ad Hoc Networks
— Battery power is an important resource in ad hoc networks. It has been observed that in ad hoc networks, energy consumption does not reflect the communication activities in th...
Rong Zheng, Robin Kravets
COST
2009
Springer
176views Multimedia» more  COST 2009»
15 years 3 months ago
Pathological Voice Analysis and Classification Based on Empirical Mode Decomposition
Empirical mode decomposition (EMD) is an algorithm for signal analysis recently introduced by Huang. It is a completely datadriven non-linear method for the decomposition of a sign...
Gastón Schlotthauer, María Eugenia T...
86
Voted
CGI
2000
IEEE
15 years 3 months ago
Fast and Stable Animation of Cloth with an Approximated Implicit Method
Realistic animation of soft objects such as cloth is essential for plausible character animation. Many techniques have been proposed for the simulation of soft objects, and most o...
Young-Min Kang, Jeong-Hyeon Choi, Hwan-Gue Cho, Ch...
INFOCOM
1997
IEEE
15 years 3 months ago
A Distributed Algorithm for Delay-Constrained Unicast Routing
In this paper, we study the NP-hard delay-constrained least-cost path problem. A solution to this problem is needed to provide real-time communication service to connection-orient...
Hussein F. Salama, Douglas S. Reeves, Yannis Vinio...