Sciweavers

12487 search results - page 2216 / 2498
» Graspable Work Modeling
Sort
View
ICRA
2010
IEEE
121views Robotics» more  ICRA 2010»
15 years 5 months ago
Actuated bivalve robot study of the burrowing locomotion in sediment
— This paper presents the design and control of an actuated bivalve robot, which has been developed to study the burrowing locomotion of bivalves in sediment. The setup consists ...
Agathe Koller-Hodac, Daniel Peter Germann, Alexand...
ICST
2010
IEEE
15 years 5 months ago
When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving
—Model-based testing is a well known technique that allows one to validate the correctness of software with respect to its model. If a lot of data is involved, symbolic technique...
Elisabeth Jöbstl, Martin Weiglhofer, Bernhard...
ICTAC
2010
Springer
15 years 5 months ago
Scalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform
Flash memory has become a virtually indispensable component for mobile devices in today’s information society. However, conventional testing methods often fail to detect hidden b...
Yunho Kim, Moonzoo Kim, Nam Dang
IEEECIT
2010
IEEE
15 years 5 months ago
Understanding Resource Provisioning for ClimatePrediction.net
—Peer-to-peer computing, involving the participation of thousands of general purpose, public computers, has established itself as a viable paradigm for executing looselycoupled, ...
Malik Shahzad Kaleem Awan, Stephen A. Jarvis
IJAOSE
2010
227views more  IJAOSE 2010»
15 years 5 months ago
Implementing reactive BDI agents with user-given constraints and objectives
CASO is an agent-oriented programming language based on AgentSpeak(L), one of the most influential abstract languages based on the BDI (Beliefs-Desires-Intentions) architecture. ...
Aniruddha Dasgupta, Aditya K. Ghose
« Prev « First page 2216 / 2498 Last » Next »