78 search results - page 7 / 16 » Fully abstract semantics of additive aspects by translation |
110
click to vote
DILS
2004
Springer
15 years 5 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 ...
95
Voted
ISER
2000
Springer
15 years 3 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 3 months 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...
101
click to vote
FOAL
2007
ACM
15 years 3 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
15 years 1 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...