345 search results - page 62 / 69 » Quantitative analysis of static models of processes |
SIGCSE
2006
ACM
14 years 1 months ago
2006
ACM
This paper describes the development and structure of a second course in artificial intelligence that was developed to meet the needs of upper-division undergraduate and graduate ...
C3S2E
2008
ACM
13 years 9 months ago
2008
ACM
Creating and editing source code are tedious and error-prone processes. One important source of errors in editing programs is the failure to correctly adapt a block of copied code...
TIP
2010
13 years 2 months ago
2010
Camera networks are being deployed for various applications like security and surveillance, disaster response and environmental modeling. However, there is little automated process...
ICRA
2007
IEEE
14 years 1 months ago
2007
IEEE
— Efficient, reliable and flexible handling is still very challenging in micromanipulation and micro-assembly. In this paper, we propose an original thermally actuated gripper b...
FM
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...