1259 search results - page 190 / 252 » Use Cases, Actions, and Roles |
160
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
— We consider the kinematic control problem for nonholonomic mobile manipulators (NMMs) whose base contains steering wheels. For all typical tasks, the steering velocity inputs o...
360
click to vote
SPIN
2012
Springer
13 years 8 months ago
2012
Springer
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...
180
click to vote
ENTCS
2002
15 years 6 months ago
2002
Abstract The last edition of CLIMA, held in 2001 in Paphos (Cyprus) ended with a panel session on the role of Computational Logic (CL) in Multi-Agent Systems (MAS). Two dimensions ...
145
click to vote
CHI
2009
ACM
16 years 6 months ago
2009
ACM
In this case study, we describe our use of ECT, a tool intended to simplify the design and development of network-spanning applications. We have used ECT throughout the course of ...
181
click to vote
ICPPW
2009
IEEE
16 years 24 days ago
2009
IEEE
Business workflows implemented as BPEL processes play an important role for many business applications. BPEL is used to orchestrate a series of Web service calls. Which provider ...