5525 search results - page 699 / 1105 » Verification of Model Transformations |
189
click to vote
EUROCRYPT
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Provable security is a very nice property for cryptographic protocols. Unfortunately, in many cases, this is at the cost of a considerable loss in terms of efficiency. Mo...
182
click to vote
3DPVT
2004
IEEE
15 years 10 months ago
2004
IEEE
Many model editing operations, such as morphing, blending, and shape deformation, require the ability to interactively transform the surface of a model in response to some control...
159
click to vote
ACL
2008
15 years 8 months ago
2008
Parse-tree paths are commonly used to incorporate information from syntactic parses into NLP systems. These systems typically treat the paths as atomic (or nearly atomic) features...
188
click to vote
DAGSTUHL
1996
15 years 8 months ago
1996
A supercompiler is a program which can performa deep transformation of programsusing a principle which is similarto partial evaluation, and can be referred to as metacomputation. ...
190
click to vote
JUCS
2007
15 years 6 months ago
2007
: Competence development programmes are collections of units of learning and learning activities used to increase the overall effective performance of a learner within a certain ta...