Over the past decade a number of architecture description languages (ADLs) have been proposed to facilitate modeling and analysis of software architecture. While each claims to ha...
Roshanak Roshandel, Bradley R. Schmerl, Nenad Medv...
This paper is concerned with design, implementation and verification of persistent purely functional data structures which are motivated by the representation of natural numbers us...
We describe a distributed system architecture that supports the integration of different front-office trading systems with middle and back-office systems, each of which have been ...
Wolfgang Emmerich, Walter Schwarz, Anthony Finkels...
Transportation specialists, urban planners, and public health officials have
been steadfast in encouraging active modes of transportation over the past decades.
Conventional thin...
Kevin J. Krizek, Ahmed El-Geneidy, Kristin Thompso...
The relevance of distributed virtual environments (DVE) and interactive 3D worlds for entertaining and commercial purposes is steadily increasing. DVEs are typically implemented a...