Sciweavers

1495 search results - page 78 / 299
» Modeling and controllability for a class of hybrid mechanica...
Sort
View
IM
2003
13 years 10 months ago
Performance Management for Cluster Based Web Services
: We present an architecture and prototype implementation of a performance management system for cluster-based web services. The system supports multiple classes of web services tr...
Ronald M. Levy, Jay Nagarajarao, Giovanni Pacifici...
IJSEKE
2011
165views more  IJSEKE 2011»
13 years 9 days ago
Model Checking for Verification of Mandatory Access Control Models and Properties
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
Vincent C. Hu, D. Richard Kuhn, Tao Xie, JeeHyun H...
ICRA
2009
IEEE
159views Robotics» more  ICRA 2009»
14 years 3 months ago
Tendon-based transmission systems for robotic devices: Models and control algorithms
— Tendon-based transmission systems present many positive aspects and greatly simplify the mechanical design of small robotic devices, such as robotic fingers. On the other hand...
Gianluca Palli, Gianni Borghesan, Claudio Melchior...
TASE
2010
IEEE
13 years 3 months ago
Optimization of Group Elevator Scheduling With Advance Information
Group elevator scheduling has received considerable attention due to its importance to transportation efficiency for mid-rise and high-rise buildings. One important trend to improv...
Jin Sun, Qianchuan Zhao, Peter B. Luh
ADVIS
2000
Springer
14 years 1 months ago
Throughput Stability of Reliable Multicast Protocols
Traditional reliable multicast protocols depend on assumptions about flow control and reliability mechanisms, and they suffer from a kind of interference between these mechanisms. ...
Öznur Özkasap, Kenneth P. Birman