592 search results - page 100 / 119 » CTL Model Update: Semantics, Computations and Implementation |
SIGCSE
2006
ACM
14 years 3 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 ...
AADEBUG
1997
Springer
14 years 1 months ago
1997
Springer
This paper introduces the bisection debugging model. The key idea is to use a debugger to identify the semantic differences between two versions of the same program. The debugger ...
JUCS
2007
13 years 9 months ago
2007
: Competence development programmes are collections of units of learning and learning activities used to increase the overall effective performance of a learner within a certain ta...
IEEESCC
2005
IEEE
14 years 2 months ago
2005
IEEE
Service integration, the ultimate goal of Shanghai Grid, has created a necessity for more efficient and effective workflow infrastructure. Workflow design tool is one core compone...
ICAC
2005
IEEE
14 years 2 months ago
2005
IEEE
Track 2 - Modeling and Abstraction of Services Process Session Chair: Dynamic Service Invocation Control in Service Composition Environments (SCC2010-2004) ...........................