1613 search results - page 204 / 323 » Model-Driven Constraint Engineering |
130
click to vote
INEX
2004
Springer
15 years 9 months ago
2004
Springer
We describe the INEX 2004 participation of the Informatics Institute of the University of Amsterdam. We completely revamped our XML retrieval system, now implemented as a mixture l...
151
click to vote
OOPSLA
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...
124
click to vote
POLICY
2004
Springer
15 years 9 months ago
2004
Springer
We study the specification of access control policy in large-scale distributed systems. Our work on real-world policies has shown that standard policy idioms such as role hierarc...
137
click to vote
ACSAC
2003
IEEE
15 years 9 months ago
2003
IEEE
1 DOD Joint Vision 2020 (JV2020) is the integrated multi-service planning document for conduct among coalition forces of future warfare. It requires the confluence of a number of k...
147
click to vote
IV
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, we present a new framework for the use of Virtual Reality (VR) in engineering design for configuration applications. Traditional VR systems support the visual explo...