The formation of a Virtual Enterprise and the selection of its partners is an important process in the lifecycle of a Virtual Enterprise. In this paper, we present the Virtual Ent...
Sobah Abbas Petersen, Jinghai Rao, Mihhail Matskin
Using service-based system descriptions simplifies the specification of complex reactive systems as found in the domain of web-services as well as embedded systems. To support a se...
In this paper, we describe "Experience Prototyping" as a form of prototyping that enables design team members, users and clients to gain first-hand appreciation of exist...
This paper presents an example of how software architectures can encode temporal properties as well as the traditional structural ones. In the context of expressing concurrency con...
Timothy N. Wright, T. C. Nicholas Graham, Tore Urn...
We have developed atomic-scale material models capable of melting, crystallization and amorphization. These models feature molecular dynamics governed by Langevin equations of mot...