Sciweavers

1341 search results - page 176 / 269
» Unified Modeling of Complex Real-Time Control Systems
Sort
View
SASO
2009
IEEE
14 years 2 months ago
Myconet: A Fungi-Inspired Model for Superpeer-Based Peer-to-Peer Overlay Topologies
Abstract—Unstructured peer-to-peer networks can be extremely flexible, but, because of size, complexity, and high variability in peers’ capacity and reliability, it is a conti...
Paul L. Snyder, Rachel Greenstadt, Giuseppe Valett...
ICRA
2006
IEEE
112views Robotics» more  ICRA 2006»
14 years 2 months ago
Generic Differential Kinematic Modeling of Articulated Multi-monocycle Mobile Robots
— This paper presents a generic kinematic modeling approach for articulated multi-monocycle mobile robots. The formulation proposed to deduce the input/output velocity equations ...
Frederic Le Menn, Philippe Bidaud, Faïz Ben A...
SMC
2007
IEEE
119views Control Systems» more  SMC 2007»
14 years 2 months ago
Modeling operator performance for error analysis
— Existing human performance taxonomies which mostly can answer the question “what factors could affect the result” rather than “why it happened”, are usually used to ana...
Alexander M. Yemelyanov
COOP
2004
13 years 9 months ago
Model Checking Groupware Protocols
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...
Maurice H. ter Beek, Mieke Massink, Diego Latella,...
ITIIS
2008
151views more  ITIIS 2008»
13 years 8 months ago
Bandwidth Management of WiMAX Systems and Performance Modeling
WiMAX has been introduced as a competitive alternative for metropolitan broadband wireless access technologies. It is connection oriented and it can provide very high data rates, ...
Yue Li, Jianhua He, Weixi Xing