26151 search results - page 197 / 5231 » Parameterized system design |
143
click to vote
ICMCS
2006
IEEE
16 years 17 days ago
2006
IEEE
This paper addresses issues pertaining to the necessity of utilizing formal verification methods in the design of protocols for peer-to-peer multimedia systems. These systems req...
171
click to vote
EUROMICRO
2000
IEEE
15 years 11 months ago
2000
IEEE
We propose a design flow for low-power and low-cost, data-dominated, embedded systems which tightly integrate different technologies and architectures. We use Mathworks’ Simuli...
130
click to vote
EDO
2000
Springer
15 years 10 months ago
2000
Springer
Abstract Designing and maintaining a distributed system requires consideration of dependencies and invariants in the system's model. This paper suggests expressing distributio...
167
click to vote
ICCHP
2010
Springer
2010
Springer
Design and Development of Spoken Dialog Systems Incorporating Speech Synthesis of Viennese Varieties
15 years 10 months ago
Abstract. This paper describes our work on the design and development of a spoken dialog system, which uses synthesized speech of various different Viennese varieties. In a previo...
154
click to vote
EXACT
2007
15 years 8 months ago
2007
Systems in general, and intelligent systems in particular, need to be able to explain their behaviour to their users or partners. Previously, a number of different user goals that...