83 search results - page 9 / 17 » A systematic approach to plant-wide control based on thermod... |
APN
2006
Springer
13 years 10 months ago
2006
Springer
Program verification is usually done by adding specifications and invariants to the program and then proving that the verification conditions are all true. This makes program verif...
IADIS
2004
13 years 9 months ago
2004
With rapid development of the Internet, e-learning system has become more and more popular. Currently, to solve the issue of sharing and reusing of teaching materials in different...
MOBICOM
2009
ACM
14 years 2 months ago
2009
ACM
Establishing a control channel for medium access control is a challenging problem in multi-channel and dynamic spectrum access (DSA) networks. In the design of multi-channel MAC p...
ICSOC
2007
Springer
14 years 2 months ago
2007
Springer
Adding runtime support for BPEL extensions typically r reacting to navigation events from a BPEL engine executing an extende model and (2) affecting the engine’s navigation behav...
ICRA
2002
IEEE
14 years 27 days ago
2002
IEEE
We present motion planning for dexterous manipulation by whole arm grasp system based on switching contact modes. Motion planning for such a system should consider changing dynami...