3130 search results - page 411 / 626 » Design Correctness of Digital Systems |
199
click to vote
DSVIS
2005
Springer
16 years 21 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...
191
click to vote
E4MAS
2005
Springer
16 years 21 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...
196
click to vote
EMSOFT
2005
Springer
16 years 21 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...
234
click to vote
UML
2005
Springer
16 years 19 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...
198
click to vote
CP
2004
Springer
16 years 17 days 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...