1091 search results - page 114 / 219 » The State of Cognitive Systems Engineering |
RISE
2004
Springer
14 years 3 months ago
2004
Springer
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...
FASE
2010
Springer
14 years 5 months ago
2010
Springer
We introduce a technique for debugging multi-threaded C programs and analyzing the impact of source code changes, and its implementation in the prototype tool Direct. Our approach ...
KBSE
2000
IEEE
14 years 2 months ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
CCECE
2006
IEEE
14 years 4 months ago
2006
IEEE
This work is focused on the motion control of an underactuated brachiation robot with 3 links. We present the modeling of the dynamics of the robot and introduce the application o...
ICFP
2008
ACM
14 years 10 months ago
2008
ACM
Existing package and system configuration management tools suffer from an imperative model, where system administration actions such as upgrading packages or changes to system con...