Sciweavers

1722 search results - page 230 / 345
» Ontology Formalism Transformation
Sort
View
CDC
2008
IEEE
215views Control Systems» more  CDC 2008»
15 years 5 months ago
A coverage algorithm for a class of non-convex regions
— The paper describes a framework for solving the coverage problem for a class of non-convex domains. In [1] we have shown how a diffeomorphism can be used to transform a non-con...
Carlos H. Caicedo-Nunez, Milos Zefran
ICALT
2007
IEEE
15 years 5 months ago
The Web 2.0 Driven SECI Model Based Learning Process
Nonaka and his knowledge transformation model SECI revolutionized the thinking about organizations as social learning systems. He introduced technical concepts like hypertext into...
Mohamed Amine Chatti, Ralf Klamma, Matthias Jarke,...
ADAEUROPE
2007
Springer
15 years 5 months ago
Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach
Current trends in software engineering promote the contention that the use of model-driven approaches should prove as beneficial to high-integrity systems as they have to business ...
Matteo Bordin, Tullio Vardanega
ECOOP
2007
Springer
15 years 5 months ago
Metamodel Adaptation and Model Co-adaptation
Like other software artefacts, metamodels evolve over time. We propose a transformational approach to assist metamodel evolution by stepwise adaptation. In the first part of the p...
Guido Wachsmuth
CALCO
2005
Springer
98views Mathematics» more  CALCO 2005»
15 years 4 months ago
Behavioral Extensions of Institutions
We show that any institution I satisfying some reasonable conditions can be transformed into another institution, Ibeh, which captures formally and abstractly the intuitions of add...
Andrei Popescu, Grigore Rosu