3921 search results - page 725 / 785 » Transforming Models with ATL |
95
Voted
JUCS
2007
15 years 13 days ago
2007
: This paper describes a method of using Petri net P-invariants in system diagnosis. To model this process a net oriented fault classification is presented. Hence, the considered d...
120
click to vote
VLC
2008
15 years 12 days ago
2008
Ensuring model quality is a key success factor in many computer science areas, and becomes crucial in recent software engineering paradigms like the one proposed by model-driven s...
113
Voted
CGF
2000
15 years 11 days ago
2000
Multiresolution shape representation is a very effective way to decompose surface geometry into several levels of detail. Geometric modeling with such representations enables flex...
133
click to vote
CORR
2002
Springer
15 years 10 days ago
2002
Springer
In previous work, we have introduced functional strategies, that is, first-class generic functions that can traverse into terms of any type while mixing uniform and type-specific ...
110
Voted
JOC
2000
15 years 10 days ago
2000
The goal of secure multiparty computation is to transform a given protocol involving a trusted party into a protocol without need for the trusted party, by simulating the party am...