3987 search results - page 327 / 798 » Ontology-Based Model Transformation |
164
click to vote
WSC
1997
15 years 8 months ago
1997
Active and cooperative learning methods represent a paradigm shift in the delivery of engineering education. These techniques recognize that the passive model of the typical colle...
211
click to vote
ECEASST
2006
15 years 6 months ago
2006
We present an mda framework, developed in the functional programming language sml, that tries to bridge the gap between formal software development and the needs of industrial soft...
186
click to vote
ACISP
2009
Springer
16 years 1 months ago
2009
Springer
In the setting of identity-based encryption with multiple trusted authorities, TA anonymity formally models the inability of an adversary to distinguish two ciphertexts correspondi...
170
click to vote
PODS
1989
ACM
15 years 10 months ago
1989
ACM
The alternating xpoint of a logic program with negation is de ned constructively. The underlying idea is monotonically to build up a set of negative conclusions until the least xp...
202
click to vote
ASIAMS
2007
IEEE
16 years 1 months ago
2007
IEEE
Composability, the capability to select and assemble offthe-shelf model components in various combinations to satisfy user requirements, is an appealing approach in reducing the t...