Sciweavers

2722 search results - page 299 / 545
» The Model Evolution Calculus
Sort
View
CAISE
2004
Springer
15 years 8 months ago
Achieving Enterprise Model Interoperability through the Model-Based Architecture Framework for Enterprises
This paper describes an ontology for enterprise modelling, The ontology has enabled conceptual integration of two different modelling methodologies, one based on UEML (Unified Ente...
Håvard D. Jørgensen, Oddrun Pauline O...
159
Voted
PE
2010
Springer
212views Optimization» more  PE 2010»
14 years 10 months ago
Modeling TCP throughput: An elaborated large-deviations-based model and its empirical validation
In today's Internet, a large part of the traffic is carried using the TCP transport protocol. Characterization of the variations of TCP traffic is thus a major challenge, bot...
Patrick Loiseau, Paulo Gonçalves, Julien Ba...
147
Voted
SAC
2003
ACM
15 years 8 months ago
Comparing Semantic Frameworks for Coordination: On the Conformance Issue for Coordination Media
A fundamental issue in the engineering of coordination models is n coordination abstractions that are correct with respect to the specification of the coordination model they imp...
Mirko Viroli
126
Voted
FMOODS
2006
15 years 4 months ago
Transformation Laws for UML-RT
Abstract. With model-driven development being on the verge of becoming an industrial standard, the need for systematic development strategies based on safe model transformations is...
Rodrigo Ramos, Augusto Sampaio, Alexandre Mota
97
Voted
SIGPRO
2002
58views more  SIGPRO 2002»
15 years 3 months ago
A HMM approach to the estimation of random trajectories on manifolds
Dynamic image analysis requires the estimation of time-varying model parameters (e.g., shape coe cients). This can be11 seen as states of a dynamic model which are restricted to a...
Jorge S. Marques, João Miranda Lemos, Arnal...