29 search results - page 6 / 6 » Local Action and Abstract Separation Logic |
CONTEXT
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. This paper is devoted to discuss a general tendency in contextualism which is known as "radical contextualism". In the first part I state the well known paradox...
ADBIS
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. One of the areas of data integration covers systems that maintain coherence among a heterogeneous set of databases. Such a system repeatedly collects data from the local ...
EWSA
2004
Springer
13 years 10 months ago
2004
Springer
Model Driven Architecture (MDA) is an initiative of the OMG in which the software development process is driven by various software-related models describing the software to be gen...
IFM
2007
Springer
13 years 11 months ago
2007
Springer
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...