1054 search results - page 91 / 211 » From a Verified Kernel towards Verified Systems |
155
click to vote
NAACL
2007
15 years 7 months ago
2007
This paper introduces the use of speech translation technology for a new type of voice-interactive Computer Aided Language Learning (CALL) application. We describe a computer game...
192
click to vote
ENTCS
2006
15 years 6 months ago
2006
Components allow to design applications in a modular way by enforcing a strong separation of concerns. In distributed systems this separation of concerns have to be composed with ...
190
click to vote
JSA
2008
15 years 5 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
171
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Interface-based design relies on the idea that different components of a system may be developed independently and a system designer can connect them together only if th...
196
click to vote
ANTSW
2010
Springer
15 years 4 months ago
2010
Springer
We describe a theory from Herbert Simon that links the structure of complex systems to increased speed of evolution, and argue the position that this theory can be beneficial to ev...