3836 search results - page 497 / 768 » Semantics of Database Transformations |
146
click to vote
MEDINFO
2007
15 years 6 months ago
2007
Standardization of data is a prerequisite to achieve semantic interoperability in any domain. This is even more important in the healthcare sector where the need for exchanging he...
151
click to vote
WSC
2004
15 years 6 months ago
2004
Computer Automated Multi-Paradigm Modelling (CAMPaM) is an enabler for domain-specific analysis and design. Traffic, a new untimed visual formalism for vehicle traffic networks, i...
133
click to vote
ESORICS
2010
Springer
15 years 6 months ago
2010
Springer
This paper presents a theory of runtime enforcement based on mechanism models called MRAs (Mandatory Results Automata). MRAs can monitor and transform security-relevant actions and...
131
Voted
ECEASST
2008
15 years 5 months ago
2008
Abstract: Reo is a language for coordinating autonomous components in distributed environments. Coordination in Reo is performed by circuit-like connectors, which are constructed f...
150
click to vote
ENTCS
2006
15 years 5 months ago
2006
We propose a family of models of coordination of distributed object systems representing different views, with refinement relations between the different views. We start with dist...