2186 search results - page 127 / 438 » Model Transformation Technologies in the Context of Modellin... |
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
Healthcare organizations worldwide are faced with the growing challenge of introducing structural and technological reforms and cost-effective IT solutions that will transform the...
TAAS
2010
13 years 2 months ago
2010
stractions that support application developers to describe dynamic organizations. The organization model is part of an integrated approach, called MACODO: Middleware Architecture f...
DOLAP
2003
ACM
14 years 1 months ago
2003
ACM
Metadata management is an essential factor in data warehousing. In data warehousing environments, data is transformed and integrated into a single database from multiple autonomou...
ICSM
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper is a summary of the author’s thesis that presents a model and an environment for recovering the high level design of legacy software systems based on user defined ar...
DSN
2002
IEEE
14 years 24 days ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...