5525 search results - page 1047 / 1105 » Verification of Model Transformations |
96
Voted
JUCS
2007
15 years 16 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...
122
click to vote
VLC
2008
15 years 16 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...
115
Voted
CGF
2000
15 years 15 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 14 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 ...
111
Voted
JOC
2000
15 years 13 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...