Sciweavers

1219 search results - page 50 / 244
» Towards automatization of domain modeling
Sort
View
INTELLCOMM
2004
Springer
14 years 2 months ago
Towards Service Continuity for Generic Mobile Services
This paper discusses models of generic mobile services. The goal is to gain understanding of the challenges in designing, developing and deploying advanced mobile data services. Fi...
Ivar Jørstad, Do Van Thanh, Schahram Dustda...
APCCM
2008
13 years 10 months ago
Model Eco-Systems: Preliminary Work
Modeling is core software engineering practice. Conceptual models are constructed to establish an abstract understanding of the domain among stakeholders. These are then refined i...
Aditya Ghose, George Koliadis
DSD
2006
IEEE
95views Hardware» more  DSD 2006»
14 years 12 days ago
Towards Performance-Oriented Pattern-Based Refinement of Synchronous Models onto NoC Communication
We present a performance-oriented refinement approach that refines a perfectly synchronous communication model onto Network-on-Chip (NoC) communication. We first identify four bas...
Zhonghai Lu, Ingo Sander, Axel Jantsch
ECMDAFA
2008
Springer
100views Hardware» more  ECMDAFA 2008»
13 years 10 months ago
From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations
Model transformations support a model-driven design by providing an c translation of abstract models into more concrete ones, and eventually program code. Crucial to a successful a...
Gregor Engels, Anneke Kleppe, Arend Rensink, Maria...
FORTE
2004
13 years 10 months ago
Formal Verification of Web Applications Modeled by Communicating Automata
In this paper, we present an approach for modeling an existing web application using communicating finite automata model based on the userdefined properties to be validated. We ela...
May Haydar, Alexandre Petrenko, Houari A. Sahraoui