Sciweavers

4150 search results - page 356 / 830
» A Practical Approach to Model Extension
Sort
View
CAISE
2009
Springer
15 years 11 months ago
An Information Model Capturing the Managed Evolution of Application Landscapes
Projects are the executors of organizational change and hence in charge of the managed evolution of the application landscape in the context of enterprise architecture (EA) managem...
Sabine Buckl, Alexander M. Ernst, Florian Matthes,...
ECAL
2007
Springer
15 years 11 months ago
Investigating the Evolution of Cooperative Behaviour in a Minimally Spatial Model
It is well known that the evolution of cooperative behaviour is dependant upon certain environmental conditions. One such condition that has been extensively studied is the use of ...
Simon T. Powers, Richard A. Watson
EUROMICRO
2006
IEEE
15 years 11 months ago
A Modeling Paradigm for Integrated Modular Avionics Design
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of sy...
Abdoulaye Gamatié, Christian Brunette, Roma...
HICSS
2005
IEEE
148views Biometrics» more  HICSS 2005»
15 years 10 months ago
Common Data Model for Design Document Exchange in Business-to-Business Networks
Design documents can be exchanged in business-tobusiness networks through Product Data Management (PDM) system integration. This rarely used approach provides new possibilities fo...
Katrine Jokinen, Jukka Borgman, Reijo Sulonen
ISORC
2005
IEEE
15 years 10 months ago
Proof Slicing with Application to Model Checking Web Services
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
Hai Huang, Wei-Tek Tsai, Raymond A. Paul