Sciweavers

5433 search results - page 885 / 1087
» Tool Support for Traceability-Adaptation
Sort
View
CF
2008
ACM
15 years 8 months ago
Exact combinational logic synthesis and non-standard circuit design
Using a new exact synthesizer that automatically induces minimal universal boolean function libraries, we introduce two indicators for comparing their expressiveness: the first ba...
Paul Tarau, Brenda Luderman
ACMACE
2005
ACM
15 years 8 months ago
AI middleware as means for improving gameplay
Current commercial AI middleware are still far from being a generic and flexible tool for developing computer games. Also the literature lacks proposals in this field. In this w...
Börje Karlsson, Bruno Feijó
CHI
2010
ACM
15 years 8 months ago
Sequential art for science and CHI
This paper illustrates our preliminary studies of new interactive tools that support the generation of sequential art for entertainment, learning and scientific discourse. In the ...
Duncan Rowland, Dan Porter, Mel Gibson, Kevin Walk...
ASPDAC
2005
ACM
107views Hardware» more  ASPDAC 2005»
15 years 8 months ago
Constraint extraction for pseudo-functional scan-based delay testing
Recent research results have shown that the traditional structural testing for delay and crosstalk faults may result in over-testing due to the non-trivial number of such faults t...
Yung-Chieh Lin, Feng Lu, Kai Yang, Kwang-Ting Chen...
BPM
2006
Springer
128views Business» more  BPM 2006»
15 years 8 months ago
Towards Formal Verification of Web Service Composition
Abstract. Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries. Current Web services composition propos...
Mohsen Rouached, Olivier Perrin, Claude Godart