2184 search results - page 85 / 437 » Modeling and Realizing Interoperability |
ATVA
2006
Springer
14 years 22 days ago
2006
Springer
In the past decades, many formal frameworks (e.g. timed automata and temporal logics) and techniques (e.g. model checking and theorem proving) have been proposed to model a real-ti...
SAC
2006
ACM
14 years 2 months ago
2006
ACM
Model Driven Architecture (MDA) is a software development approach that focuses on models. In order to support MDA, a lot of CASE tools have emerged; each of them provides a diffe...
SERP
2008
13 years 10 months ago
2008
In aspect-oriented model driven engineering (AOMDE), a software design model consists of a primary model that describes the business logic of the application and a set of aspect m...
CA
2002
IEEE
14 years 1 months ago
2002
IEEE
This article describes the architecture of the "Museum of Pure Form", a virtual reality system where the user can interact, through the senses of touch and sight, with d...
CAISE
1995
Springer
14 years 17 days ago
1995
Springer
In this work we discuss a number of issues for the design of hypertext systems in an actor-based model of computation. We examine how the "traditional" basic concepts whi...