A variety of factors is making it increasingly difficult and expensive to design and manufacture traditional Application Specific Integrated Circuits (ASICs). This has started a s...
Many large companies around the world have made considerable investment in enterprise resource planning (ERP) systems to support their business processes. Many of these companies ...
The creation of life-like believable characters is emerging as the central focus of next-generation game development and is viewed as critical to obtaining true mass-market appeal...
In the spirit of Landin, we present a calculus of dependent types to serve as the semantic foundation for a family of languages called data description languages. Such languages, ...
The integration of the telephone network and the internet enables convergence of voice and data services. The explosion of information appliances also provides new service opportun...