Sciweavers

6650 search results - page 158 / 1330
» models 2009
Sort
View
SEMWEB
2009
Springer
16 years 1 months ago
Scalable Matching of Industry Models - a Case Study
A recent approach to the problem of ontology matching has been to convert the problem of ontology matching to information retrieval. We explore the utility of this approach in matc...
Brian Byrne, Achille Fokoue, Aditya Kalyanpur, Kav...
CDC
2009
IEEE
126views Control Systems» more  CDC 2009»
15 years 9 months ago
An approach for the state estimation of Takagi-Sugeno models and application to sensor fault diagnosis
— In this paper, a new method to design an observer for nonlinear systems described by Takagi-Sugeno (TS) model, with unmeasurable premise variables, is proposed. Most of existin...
Dalil Ichalal, Benoît Marx, José Rago...
ICSEA
2009
IEEE
15 years 4 months ago
Integrating Formal Methods with Model-Driven Engineering
In this paper, we present our position and experience on integrating formal methods with the Model-driven Engineering (MDE) approach to software development. Both these two approa...
Angelo Gargantini, Elvinia Riccobene, Patrizia Sca...
ICSEA
2009
IEEE
16 years 1 months ago
Rule-Based Service Modeling
— In the context of service-oriented computing, services provide the capabilities necessary to support the business, especially its processes. Within the service modeling process...
Michael Gebhart, Sebastian Abeck
RP
2009
Springer
136views Control Systems» more  RP 2009»
16 years 1 months ago
Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates
We present an abstraction of the probabilistic semantics of Multiset Rewriting to formally express systems of reactions with uncertain kinetic rates. This allows biological systems...
Roberto Barbuti, Francesca Levi, Paolo Milazzo, Gu...