834 search results - page 86 / 167 » A Model-Based Approach for Engineering Multimodal Interactiv... |
KDD
2002
ACM
14 years 9 months ago
2002
ACM
A key challenge facing IT organizations today is their evolution towards adopting e-business practices that gives rise to the need for reengineering their underlying software syst...
FPL
1999
Springer
14 years 1 months ago
1999
Springer
This paper details the development, implementation, and results of Synthia, a system for the synthesis of Finite State Machines (FSMs) to field-programmable logic. Our approach us...
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
A spatial computer is a distributed multi-agent system that is embedded in a geometric space. A key challenge is engineering local agent interaction rules that enable spatial comp...
SEKE
2009
Springer
14 years 3 months ago
2009
Springer
Most existing software optimization research assumes advance knowledge of the component parameters. Perfect future knowledge of fault detection is an unnecessary oversimpliļ¬cati...
DAGSTUHL
2006
13 years 10 months ago
2006
Verification and Simulation share many issues, one is that simulation models require validation and verification. In the context of simulation, verification is understood as the ta...