Sciweavers

2851 search results - page 35 / 571
» Operationalizing Conceptual Models Based on a Model of Depen...
Sort
View
FMCO
2009
Springer
134views Formal Methods» more  FMCO 2009»
15 years 3 months ago
Verification of Context-Dependent Channel-Based Service Models
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
Natallia Kokash, Christian Krause, Erik P. de Vink
186
Voted
ER
2001
Springer
163views Database» more  ER 2001»
15 years 10 months ago
Towards Ontologically Based Semantics for UML Constructs
Abstract. Conceptual models are formal descriptions of application domains that are used in early stages of system development to support requirements analysis. The Unified Modeli...
Joerg Evermann, Yair Wand
96
Voted
IAT
2006
IEEE
15 years 12 months ago
Content-Based Clustered P2P Search Model Depending on Set Distance
Jing Wang, Shoubao Yang