2623 search results - page 80 / 525 » tools 2010 |
AMAST
2010
Springer
13 years 5 months ago
2010
Springer
Fusion is an indispensable tool in the arsenal of techniques for program derivation. Less well-known, but equally valuable is type fusion, which states conditions for fusing an app...
INTEGRATION
2010
13 years 8 months ago
2010
1 — This paper presents a new design automation tool based on a modified genetic algorithm kernel, in order to increase efficiency on the analog circuit and system design cycle. ...
ICWL
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. This paper describes a pedagogical pattern for cross-cultural language learning and its application in a case study involving learners in Australia and China. The pattern...
SICHERHEIT
2010
13 years 8 months ago
2010
We introduce a new representation for monitored behavior of malicious software called Malware Instruction Set (MIST). The representation is optimized for effective and efficient a...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
With an historical point of view combined with a bibliographic overview, the article discusses the idea that haptic force-feedback transducers correspond with a paradigm shift in o...