Sciweavers

3504 search results - page 521 / 701
» Computational Aspects of Equilibria
Sort
View
ESCIENCE
2006
IEEE
16 years 19 days ago
Adapting and Evaluating Commercial Workflow Engines for e-Science
Numerous Grid workflow engines exist, each generally specialized for a single application domain such as protein folding. Although the underlying purpose and functionality of the ...
Sharanya Eswaran, David Del Vecchio, Glenn S. Wass...
IROS
2006
IEEE
128views Robotics» more  IROS 2006»
16 years 18 days ago
Waalbot: An Agile Small-Scale Wall Climbing Robot Utilizing Pressure Sensitive Adhesives
Abstract— This paper proposes a small-scale agile wall climbing robot able to navigate on smooth surfaces of any orientation, including vertical and inverted surfaces, which uses...
Michael P. Murphy, William Tso, Michael Tanzini, M...
IROS
2006
IEEE
111views Robotics» more  IROS 2006»
16 years 18 days ago
A Delay-tolerant, Potential field-based, Network Implementation of an Integrated Navigation System
Abstract—Network controllers (NCs) are devices that are capable of converting dynamic, spatially extended, and functionally specialized modules into a taskable goal-oriented grou...
Rachana Ashok Gupta, Ahmad A. Masoud, Mo-Yuen Chow
PERCOM
2006
ACM
16 years 18 days ago
Groupanizer: a Method to Correlate Multi-users Position with Daily Moments
Groupanizer is an extension of groupware and constitutes a development platform to integrate user-centric information for the benefit of groupware applications. User-centric conte...
Jean Olivier Caron, Yoshihiro Kawahara, Hiroyuki M...
RSP
2006
IEEE
125views Control Systems» more  RSP 2006»
16 years 18 days ago
Creation and Validation of Embedded Assertion Statecharts
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Dem...