In this paper, we are concerned with the problem of location of inspection centers in a multistage manufacturing system. A Genetic algorithm based approach is developed to determi...
Rapide is a programming language framework designed for the development of large, concurrent, real-time systems by prototyping. The framework consists of a type language and defau...
Dinesh Katiyar, David C. Luckham, John C. Mitchell
An object-oriented approach to program specification and verification was developed by Ole-Johan Dahl with the long-term Abel project. Essential here was the idea of reasoning abou...
In this paper, we present the design and implementation of and interdisciplinary research project involving an intelligent agent-based framework for collaborative e-commerce appli...
Xiaojun Shen, Shervin Shirmohammadi, Chris Desmara...
Traditional database security mechanisms are very limited in defending successful data attacks. Authorized but malicious transactions can make a database useless by impairing its ...