279 search results - page 47 / 56 » Providing Support for Model Composition in Metamodels |
WADT
1998
Springer
15 years 3 months ago
1998
Springer
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...
FUIN
2006
14 years 11 months ago
2006
We present a model and a core programming language appropriate for modeling and programming interactive computing systems. The model consists of rv-systems (interactive systems wit...
CRYPTO
2012
Springer
13 years 2 months ago
2012
Springer
In collusion-free protocols, subliminal communication is impossible and parties are thus unable to communicate “any information beyond what the protocol allows”. Collusion-fre...
SIGSOFT
2008
ACM
16 years 12 days ago
2008
ACM
Executable models are increasingly being employed by development teams to implement robust software systems. Modern executable models offer powerful composition mechanisms that al...
102
click to vote
VVS
1996
IEEE
15 years 3 months ago
1996
IEEE
A new and easy-to-implement method for direct volume rendering that uses 3D texture maps for acceleration, and incorporates directional lighting, is described. The implementation,...