Sciweavers

3463 search results - page 461 / 693
» Modeling and executing master-worker applications in compone...
Sort
View
VLDB
2007
ACM
161views Database» more  VLDB 2007»
16 years 18 days ago
Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic
The recent upsurge in the interest in Semantic Web services and the high-profile projects such as the WSMO, OWLS, and SWSL, have drawn attention to the importance of logic-based ...
Dumitru Roman, Michael Kifer
IROS
2006
IEEE
100views Robotics» more  IROS 2006»
16 years 15 days ago
Gait Generation for Passive Running via Iterative Learning Control
Abstract— This paper proposes a novel framework to generate optimal passive gait trajectories for a planar one-legged hopping robot via iterative learning control. The proposed m...
Satoshi Satoh, Kenji Fujimoto, Sang-Ho Hyon
WETICE
2005
IEEE
16 years 1 days ago
Transparent Remote File Access in the Minimum Intrusion Grid
This paper describes the implementation of a thin user-level layer to be installed on Grid resources. The layer fits in the Minimum intrusion Grid design by imposing as few requi...
Rasmus Andersen, Brian Vinter
DCOSS
2005
Springer
16 years 17 hour ago
Database-Centric Programming for Wide-Area Sensor Systems
A wide-area sensor system is a complex, dynamic, resource-rich cloud of Internet-connected sensing devices. In this paper, we propose X-Tree Programming, a novel database-centric ...
Shimin Chen, Phillip B. Gibbons, Suman Nath
FASE
2003
Springer
15 years 11 months ago
Detecting Implied Scenarios Analyzing Non-local Branching Choices
Scenarios are powerful tools to model and analyze software systems. However, since they do not provide a complete description of the system, but just some possible execution paths,...
Henry Muccini