2184 search results - page 85 / 437 » Modeling and Realizing Interoperability |
128
click to vote
ATVA
2006
Springer
15 years 6 months 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...
115
click to vote
SAC
2006
ACM
15 years 8 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...
135
click to vote
SERP
2008
15 years 3 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
15 years 7 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...
141
click to vote
CAISE
1995
Springer
15 years 5 months 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...