4914 search results - page 746 / 983 » Arbitration of a help system |
161
click to vote
STEP
2005
IEEE
16 years 7 days ago
2005
IEEE
With the advent of UML and MDA, models play an increasingly important role in software development. Hence, the management of the quality of models is of key importance for complet...
167
click to vote
TPHOL
2005
IEEE
16 years 7 days ago
2005
IEEE
Abstract. How close are we to a world where every paper on programming languages is accompanied by an electronic appendix with machinechecked proofs? We propose an initial set of b...
174
click to vote
VISUALIZATION
2005
IEEE
16 years 7 days ago
2005
IEEE
Arti cial neural networks are computer software or hardware models inspired by the structure and behavior of neurons in the human nervous system. As a powerful learning tool, incr...
191
click to vote
WCRE
2005
IEEE
16 years 7 days ago
2005
IEEE
In recent years, code obfuscation has attracted attention as a low cost approach to improving software security by making it difficult for attackers to understand the inner worki...
201
click to vote
WMTE
2005
IEEE
16 years 7 days ago
2005
IEEE
Individual, unaided human abilities are constrained. Media have helped us to transcend boundaries in thinking, working, learning, and collaborating by supporting distributed intel...