1522 search results - page 234 / 305 » Control-Driven Tasks: Modeling and Analysis |
SMA
2009
ACM
14 years 1 months ago
2009
ACM
Principal curvatures and principal directions are fundamental local geometric properties. They are well deļ¬ned on smooth surfaces. However, due to the nature as higher order diļ...
WSC
2007
13 years 11 months ago
2007
Large scale / mega projects are lengthy complex endeavors that require significant planning by management, engineers and construction personnel to ensure the success of the projec...
ALGOSENSORS
2008
Springer
13 years 10 months ago
2008
Springer
We consider the problem of counting a set of discrete point targets using a network of sensors under a minimalistic model. Each sensor outputs a single integer, the number of disti...
ICWS
2008
IEEE
13 years 10 months ago
2008
IEEE
WSBPEL [2] opens up the possibility of applying a range of formal techniques to the verification of Web service behaviors from two points of view: constraints between activities w...
MBEES
2007
13 years 10 months ago
2007
: The development of embedded systems is a challenging task because of the distributed, reactive and real-time nature of such systems. Distribution of embedded components across bu...