376 search results - page 56 / 76 » A Model for Visual Specification of E-contracts |
SIGSOFT
2007
ACM
14 years 8 months ago
2007
ACM
Message Sequence Charts (MSCs) are a widely used visual formalism for scenario-based specifications of distributed reactive systems. In its conventional usage, an MSC captures an ...
HPDC
2010
IEEE
13 years 8 months ago
2010
IEEE
In this paper we present a multi-GPU parallel volume rendering implemention built using the MapReduce programming model. We give implementation details of the library, including s...
ISBI
2004
IEEE
14 years 8 months ago
2004
IEEE
We describe the use of compact support radial basis functions (CSRBFs) for simulation of soft tissue deformation. CSRBFs allow surface and volumetric deformations to be computed i...
VL
2009
IEEE
14 years 2 months ago
2009
IEEE
Source code on the web is a widely available and potentially rich learning resource for nonprogrammers. However, unfamiliar code can be daunting to end-users without programming e...
MODELS
2007
Springer
14 years 1 months ago
2007
Springer
To promote the Model-Based software engineering development of user interfaces, this paper proposes a model driven development approach of complex user interface. The approach cap...