4636 search results - page 491 / 928 » Modelling and Validation with VipTool |
178
click to vote
ICSOC
2007
Springer
16 years 1 months ago
2007
Springer
Workflow technology is an emerging paradigm for systematic modeling and orchestration of job flow for enterprise and scientific applications. This paper introduces BPEL4Job, a BPEL...
196
click to vote
HAPTICS
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper presents a new soft-finger haptic rendering algorithm based on the concept of limit curve which was previously used by the robotic manipulation community to study slid...
271
click to vote
ICRA
2006
IEEE
16 years 1 months ago
2006
IEEE
— In this paper, we present a trajectory tracking control algorithm for an autonomous motorcycle for the DARPA Grand Challenge. The mathematical dynamic model of the autonomous m...
226
click to vote
MOBICOM
2006
ACM
16 years 1 months ago
2006
ACM
In this paper, we present and describe VanetMobiSim, a generator of realistic vehicular movement traces for telecommunication networks simulators. VanetMobiSim mobility descriptio...
176
click to vote
ENC
2005
IEEE
16 years 23 days ago
2005
IEEE
This paper describes SKIMA, a mediation system that gives transparent access to heterogeneous and distributed sources considering their semantics and the semantics of application ...