1134 search results - page 29 / 227 » Using Constraints with Action Language for Model Evolution |
FIW
2007
14 years 11 months ago
2007
Feature interaction detection methods, whether online or offline, depend on previous knowledge of conflicts between the actions executed by the features. This knowledge is usually ...
118
Voted
ESOP
1992
Springer
15 years 1 months ago
1992
Springer
We have designed, implemented, and proved the correctness of a compiler generator that accepts action semantic descriptions of imperative programming languages. The generated comp...
113
click to vote
CVPR
2009
IEEE
16 years 3 months ago
2009
IEEE
System theoretic approaches to action recognition model the dynamics of a scene with linear dynamical systems (LDSs) and perform classification using metrics on the space of LDSs, ...
DSRT
2008
IEEE
15 years 4 months ago
2008
IEEE
Security and reliability are of paramount importance in designing and building real-time systems because any security failure can put the public and the environment at risk. In th...
ICFP
2003
ACM
15 years 9 months ago
2003
ACM
We describe extensions to the Excel spreadsheet that integrate userdefined functions into the spreadsheet grid, rather than treating them as a "bolt-on". Our first objec...