78 search results - page 7 / 16 » Fully abstract semantics of additive aspects by translation |
DILS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Transparent information integration across distributed and heterogeneous data sources and computational tools is a prime concern for bioinformatics. Recently, there have ...
ISER
2000
Springer
15 years 1 months ago
2000
Springer
Abstract: This paper presents the mechanical hardware and control software of a novel high-performance active vision system. It is the latest in an ongoing research effort to devel...
COMPSAC
2009
IEEE
15 years 27 days ago
2009
IEEE
Abstract. The TransLucid programming language is a low-level intensional language, designed to be sufficiently rich for it to be the target language for translating the common prog...
FOAL
2007
ACM
15 years 1 months ago
2007
ACM
The goal of this work is to treat safety and security policies as requirements to be composed in an aspectual style with a developing application. Policies can be expressed either...
DAGSTUHL
2007
14 years 11 months ago
2007
iary models in order to bridge the semantic gap between high-level, abstract user requirements and low-level, concrete programs and to support a stepwise refinement process. This d...