6054 search results - page 1006 / 1211 » Implementation of Andorra-based Languages |
138
click to vote
ICCS
2004
Springer
15 years 9 months ago
2004
Springer
We have upgraded the Conceptual Programming Environment (CP) from a single standalone application to a set of component modules to increase flexibility of the environment and to a...
126
click to vote
ICFEM
2004
Springer
15 years 9 months ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
147
click to vote
ICFEM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
142
click to vote
ICMI
2004
Springer
15 years 9 months ago
2004
Springer
We present a generic approach to multimodal fusion which we call context based multimodal integration. Key to this approach is that every multimodal input event is interpreted and...
123
click to vote
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
We consider the problem of computing the optimal swap edges of a shortest-path tree. This theoretical problem arises in practice in systems that offer point-offailure shortest-path...