2810 search results - page 5 / 562 » Contract-Based Component System Design |
94
Voted
NLPRS
2001
Springer
15 years 5 months ago
2001
Springer
The paper describes the design of a generation component for a spoken dialogue system. After discussing three existing models of generation, a model based on new information focus...
136
click to vote
IFIP
2000
Springer
15 years 4 months ago
2000
Springer
The validation of functional and real-time requirements of control software for embedded systems is a difficult task. It usually needs the electronic control unit (ECU) and the co...
111
Voted
COMPSAC
2005
IEEE
15 years 2 months ago
2005
IEEE
Component-based software development (CBSD) offers many advantages like reduced product time to market, reduced complexity and cost etc. Despite these advantages its wide scale ut...
144
Voted
VLDB
2001
ACM
16 years 1 months ago
2001
ACM
132
click to vote
ATVA
2008
Springer
15 years 2 months ago
2008
Springer
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...