306 search results - page 14 / 62 » Towards a Generic Modeling Language for Contract-Based Desig... |
164
click to vote
FDL
2004
IEEE
15 years 3 months ago
2004
IEEE
gn process of embedded systems moves currently towards higher levels of abstraction. As a consequence, a need arises for an early and realistic assessment of system level design d...
120
Voted
EDOC
1997
IEEE
15 years 3 months ago
1997
IEEE
This paper reports on applying the ODP enterprise viewpoint in the domain of tele-education. The work is conducted as part of a research activity1 that aims at designing a tele-ed...
104
click to vote
RULEML
2005
Springer
15 years 4 months ago
2005
Springer
an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML . 45 Adrian Giurca and Gerd Wagner A Semantic Web Framework for Interleaving Policy Reasoning and External Servic...
AMDO
2004
Springer
15 years 4 months ago
2004
Springer
In many product areas, a growing trend can be observed towards variant design, i.e. the development of customized designs based on variations of mature product models. We have deve...
SPDECE
2007
15 years 11 days ago
2007
This paper addresses the representation of the main elements of instructional models using formal ontology languages. Following existing conceptualizations, models, methods and con...