10159 search results - page 1946 / 2032 » System Design Validation Using Formal Models |
ADAEUROPE
2005
Springer
13 years 10 months ago
2005
Springer
This paper presents the design and implementation of RT-EP (Real-Time Ethernet Protocol), which is a software-based token-passing Ethernet protocol for multipoint communications in...
DOLAP
2008
ACM
13 years 10 months ago
2008
ACM
With the multiplication of XML data sources, many XML data warehouse models have been proposed to handle data heterogeneity and complexity in a way relational data warehouses fail...
ESTIMEDIA
2008
Springer
13 years 9 months ago
2008
Springer
This paper is concerned about multitasking embedded software development from the system specification to the final implementation including design space exploration(DSE). In the ...
EMNLP
2008
13 years 9 months ago
2008
We describe an approach for acquiring the domain-specific dialog knowledge required to configure a task-oriented dialog system that uses human-human interaction data. The key aspe...
CORIA
2004
13 years 9 months ago
2004
In order to search within corpora written in two or more languages, the simplest and most effective approach is to translate the submitted request into the required language(s). To...