This paper argues that "formal methods" can (continue to) provide the thinking tools for the future of computing science. Every significant engineering or scientific disc...
: The heterogeneity of device capabilities, network conditions and user contexts that is associated with mobile computing has emphasized the need for more advanced forms of adaptat...
: An increasing number of consumer products for everyday use offer the user advanced programming capabilities. Existing technologies offer the potential to design human-product int...
The semiconductor industry is rapidly expanding worldwide. With the continuing advancement of technology, companies are continually striving to develop and maintain cutting edge p...
In 1991 Ford began deployment of the Computer Aided Parts Estimating System (CAPE), a highly advanced knowledge-based system designed to generate, evaluate and cost automotive par...