The APE (Adaptive Programming Environment) project focuses on applying Machine Learning techniques to embed a software assistant into the VisualWorks Smalltalk interactive program...
Data Warehousing for INventory management DWIN is a production project at Telcordia aimed at providing telecommunications service providers with decision support functions for i...
The architecture is the fundamental framework for designing and implementing large scale software, and the ability to trace and control its evolution is essential. However, many t...
One apparent benefit Web use provides individuals is the opportunity to seek and find vast amounts of information on virtually any subject. By having more information available, i...
Brenda Massetti, Norman H. White, Valerie K. Spitl...
Abstract. The design of controllers for hybridsystemsi.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
Rajeev Alur, Joel M. Esposito, M. Kim, Vijay Kumar...