Sciweavers

795 search results - page 23 / 159
» A Formal Approach to Heterogeneous Software Modeling
Sort
View
126
Voted
KAIS
2006
87views more  KAIS 2006»
15 years 3 months ago
Merging uncertain information with semantic heterogeneity in XML
Semi-structured information in XML can be merged in a logic-based framework [Hun02, Hun02b]. This framework has been extended to deal with uncertainty, in the form of probability ...
Anthony Hunter, Weiru Liu
122
Voted
SAC
2008
ACM
15 years 3 months ago
Collaborative software engineering on large-scale models: requirements and experience in ModelBus
This work presents an approach for realizing Model-Driven software engineering in the distributed and multi-developers context. It particularly focuses on the scalability problems...
Prawee Sriplakich, Xavier Blanc, Marie-Pierre Gerv...
UML
2001
Springer
15 years 8 months ago
An Axiomatic Formalization of UML Models
: Though it is widely recognized that object-oriented methodologies are most effective in developing large scale software, it is still dif cult to apply high level computer support...
Toshiaki Aoki, Takaaki Tateishi, Takuya Katayama
131
Voted
DLOG
2007
15 years 6 months ago
SEMilarity: Towards a Model-Driven Approach to Similarity
Enabling the Semantic Web requires solving the semantic heterogeneity problem, for which ontology matching methods have been proposed. These methods rely on similarity measures tha...
Rudi Araújo, Helena Sofia Pinto
170
Voted
DATE
2009
IEEE
249views Hardware» more  DATE 2009»
15 years 10 months ago
White box performance analysis considering static non-preemptive software scheduling
—In this paper, a novel approach for integrating static non-preemptive software scheduling in formal bottom-up performance evaluation of embedded system models is described. The ...
Alexander Viehl, Michael Pressler, Oliver Bringman...