Sciweavers

3856 search results - page 542 / 772
» Web-based Simulation Experiments
Sort
View
ICFEM
2004
Springer
15 years 8 months ago
Verifying a File System Implementation
Abstract. We present a correctness proof for a basic file system implementation. This implementation contains key elements of standard Unix file systems such as inodes and fixed...
Konstantine Arkoudas, Karen Zee, Viktor Kuncak, Ma...
144
Voted
ICSOC
2004
Springer
15 years 8 months ago
Toward autonomic web services trust and selection
Emerging Web services standards enable the development of large-scale applications in open environments. In particular, they enable services to be dynamically bound. However, curr...
E. Michael Maximilien, Munindar P. Singh
117
Voted
IPSN
2004
Springer
15 years 8 months ago
Sensing uncertainty reduction using low complexity actuation
The performance of a sensor network may be best judged by the quality of application specific information return. The actual sensing performance of a deployed sensor network depe...
Aman Kansal, Eric Yuen, William J. Kaiser, Gregory...
119
Voted
ISER
2004
Springer
182views Robotics» more  ISER 2004»
15 years 8 months ago
Nonholonomic Modeling of Needle Steering
As a flexible needle with a bevel tip is pushed through soft tissue, the asymmetry of the tip causes the needle to bend. We propose that, by using nonholonomic kinematics, contro...
Robert J. Webster III, Noah J. Cowan, Gregory S. C...
109
Voted
ISER
2004
Springer
104views Robotics» more  ISER 2004»
15 years 8 months ago
Wave-shape pattern control of electroactive polymer gel robots
Abstract. This paper proposes wave-shape pattern control method for whole-body deformable robots containing electroactive polymers. Mechanisms consisting of a typical electroactive...
Mihoko Otake, Yoshihiko Nakamura, Masayuki Inaba, ...