2496 search results - page 35 / 500 » Error-detecting properties of languages |
FASE
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. Model transformations are indispensable to model-based development (MBD) where they act as translators between domain-specific languages (DSLs). As a result, transformat...
SACMAT
2006
ACM
14 years 3 months ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
ESORICS
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Access control languages which support administrative controls, and thus allow the ordinary permissions of a system to change, have traditionally been constructed with ...
FDL
2003
IEEE
14 years 3 months ago
2003
IEEE
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...
ICPR
2010
IEEE
14 years 2 months ago
2010
IEEE
In this paper, we demonstrate that simple interactions with objects in the environment leads to a manifestation of the perceptual properties of objects. This is achieved by derivi...