2496 search results - page 409 / 500 » Error-detecting properties of languages |
111
click to vote
ADBIS
2006
Springer
15 years 7 months ago
2006
Springer
View integration is a complex, error-prone and time-consuming task. Therefore there is a need to decompose the integration methods into smaller well defined phases where different ...
ERLANG
2006
ACM
15 years 7 months ago
2006
ACM
We present a case study in which a novel testing tool, Quviq QuickCheck, is used to test an industrial implementation of the Megaco protocol. We considered positive and negative t...
IUI
2006
ACM
15 years 7 months ago
2006
ACM
Question-answering dialogue systems have found many applications in interactive learning environments. This paper is concerned with one such application for Army leadership traini...
111
click to vote
SAC
2006
ACM
15 years 7 months ago
2006
ACM
We present in this paper an approach aiming at adapting software components. It focuses on adapting component structures instead of adapting component services. Among the motivati...
102
click to vote
SIGSOFT
2006
ACM
15 years 7 months ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...