Abstract. This paper provides an overview of Proof-Based System Engineering (PBSE), which aims at improving the current practice of developing computer-based systems. PBSE is of pa...
During the last years, Intelligent Virtual Environments for Training have become a quite popular application of computer science to education. These systems involve very different...
A development environment for applications specified in an extended version of a previously developed coordination model based on associatively broadcast interactions is presented....
Productivity data for IC designs indicates an exponential increase in design time and cost with the number of elements that are to be included in a device. Present applications re...
Douglas Densmore, Sanjay Rekhi, Alberto L. Sangiov...
The application designers can usually define their own "virtual environments" by selecting the appropriate computing resources required, or reuse and compose existing en...