1054 search results - page 71 / 211 » Translation Validation of System Abstractions |
206
click to vote
WISE
2000
Springer
15 years 10 months ago
2000
Springer
The mediator/wrapper approach is used to integrate data from different databases and other data sources by introducing a middleware virtual database that provides high level abstr...
190
click to vote
BIRTHDAY
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. UML models consist of several diagrams of different types describing different views of a software system ranging from specifications of the static system structure to de...
159
click to vote
TOPLAS
2010
15 years 4 months ago
2010
Pict project. We define two levels of abstraction as calculi with precise semantics: a low-level Nomadic π calculus with migration and location-dependent communication, and a hig...
204
click to vote
DSOM
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. We propose a novel hybrid planning approach for the automated generation of IT change plans. The algorithm addresses an abstraction mismatch between refinement of tasks ...
168
click to vote
OOPSLA
2000
Springer
15 years 9 months ago
2000
Springer
Most real-time embedded control software feature complex interactions with asynchronous inputs and environment objects, and a meaningful simulation of a real-time control software...