3130 search results - page 411 / 626 » Design Correctness of Digital Systems |
182
click to vote
DSVIS
2005
Springer
16 years 4 days ago
2005
Springer
Multimodal interactive systems offer a flexibility of interaction that increases their complexity. ICARE is a component-based approach to specify and develop multimodal interfaces...
167
click to vote
E4MAS
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Whenever a multiagent system is designed, many dependencies in the system are identified and must be solved in a correct way. Coordination deals with the management of s...
176
click to vote
EMSOFT
2005
Springer
16 years 4 days ago
2005
Springer
We propose a programming model dedicated to real-time videostreaming applications for embedded media devices, including highdefinition TVs. This model is built on the synchronous...
207
click to vote
UML
2005
Springer
16 years 2 days ago
2005
Springer
Autonomic computer systems aim to reduce the configuration, operational, and maintenance costs of distributed applications by enabling them to self-manage, self-heal, self-optimiz...
176
click to vote
CP
2004
Springer
16 years 4 hour ago
2004
Springer
In CP literature combinatorial design problems such as sport scheduling, Steiner systems, error-correcting codes and more, are typically solved using Finite Domain (FD) models desp...