Sciweavers

3605 search results - page 609 / 721
» System and simulation modeling using SysML
Sort
View
FORTE
2000
15 years 4 months ago
Systematic Performance Evaluation of Multipoint Protocols
The adventof multipoint(multicast-based) applications and the growth and complexity of the Internet has complicated network protocol design and evaluation. In this paper, we prese...
Ahmed Helmy, Sandeep K. S. Gupta, Deborah Estrin, ...
119
Voted
IJRR
2008
95views more  IJRR 2008»
15 years 3 months ago
Legless Locomotion: A Novel Locomotion Technique for Legged Robots
We present a novel locomotion strategy called legless locomotion that allows a round-bodied legged robot to locomote approximately when it is high-centered. Typically, a high-cent...
Ravi Balasubramanian, Alfred A. Rizzi, Matthew T. ...
147
Voted
NOSSDAV
2009
Springer
15 years 10 months ago
Probabilistic event resolution with the pairwise random protocol
Peer-to-peer distributed virtual environments (DVE's) distribute state tracking and state transitions. Many DVE's - such as online games - require ways to fairly determi...
John L. Miller, Jon Crowcroft
ECML
2007
Springer
15 years 9 months ago
Learning Balls of Strings with Correction Queries
When facing the question of learning languages in realistic settings, one has to tackle several problems that do not admit simple solutions. On the one hand, languages are usually...
Leonor Becerra-Bonache, Colin de la Higuera, Jean-...
123
Voted
ASPDAC
2004
ACM
94views Hardware» more  ASPDAC 2004»
15 years 7 months ago
Improving simulation-based verification by means of formal methods
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
Görschwin Fey, Rolf Drechsler