1689 search results - page 180 / 338 » On Natural Non-dcpo Domains |
195
click to vote
KI
2009
Springer
16 years 29 days ago
2009
Springer
Spoken dialogue is notoriously hard to process with standard language processing technologies. Dialogue systems must indeed meet two major challenges. First, natural spoken dialogu...
154
click to vote
MODELS
2009
Springer
16 years 29 days ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
160
click to vote
MODELS
2009
Springer
16 years 29 days ago
2009
Springer
The development of a highly configurable data management system is a challenging task, especially if it is to be implemented on an embedded system that provides limited resources...
145
click to vote
MODELS
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. Model-Driven Engineering places models as first-class artifacts throughout the software lifecycle requiring the availability of proper transformation languages. Although...
146
click to vote
FOAL
2009
ACM
16 years 28 days ago
2009
ACM
Programs of a software product line can be synthesized by composing features which implement some unit of program functionality. In most product lines, only some combination of fe...