1110 search results - page 44 / 222 » A Test Environment for Natural Language Understanding System... |
SIES
2007
IEEE
14 years 3 months ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
FOSSACS
2004
Springer
14 years 2 months ago
2004
Springer
safeDpi is a distributed version of the Picalculus, in which processes are located at dynamically created sites. Parametrised code may be sent between sites using so-called ports, ...
SIGADA
1998
Springer
14 years 1 months ago
1998
Springer
Despite substantial research on methods and tools for testing reusable modules, little help is available for the tester in the eld. Commercial tools for system testing are widely ...
NLDB
2007
Springer
14 years 3 months ago
2007
Springer
The design of an Extract – Transform – Load (ETL) workflow for the population of a Data Warehouse is a complex and challenging procedure. In previous work, we have presented an...
EUROSYS
2009
ACM
14 years 6 months ago
2009
ACM
Program source is an intermediate representation of software; it lies between a developer’s intention and the hardware’s execution. Despite advances in languages and developme...