1054 search results - page 130 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
127
click to vote
ICMI
2009
Springer
15 years 11 months ago
2009
Springer
We review key challenges of developing spoken dialog systems that can engage in interactions with one or multiple participants in relatively unconstrained environments. We outline...
142
click to vote
LICS
1999
IEEE
15 years 8 months ago
1999
IEEE
Pitts and Stark have proposed the -calculus as a language for investigating the interaction of unique name generation and higher-order functions. They developed a sound model base...
120
click to vote
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
Since engineered systems, e.g. aviation control, have increasingly equipped with automated and computer-supported artifacts, human-system interaction has been an important issue. U...
163
click to vote
EMSOFT
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. We classify component-based models of computation into component models and interface models. A component model speci es for each component how the component behaves in a...
144
click to vote
SEW
2006
IEEE
15 years 10 months ago
2006
IEEE
Pseudo-exhaustive testing uses the empirical observation that, for broad classes of software, a fault is likely triggered by only a few variables interacting. The method takes adv...