4212 search results - page 377 / 843 » Rights Expression Languages |
171
Voted
CAISE
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. This paper describes the AutoMed repository and some associated tools, which provide the first implementation of the both as view (BAV) approach to data integration. Apa...
173
click to vote
ECAI
2004
Springer
16 years 4 days ago
2004
Springer
To enable the development of automated support for the dynamics of design processes, a challenge is to model and analyse such dynamics in a formal manner. This paper contributes a ...
203
click to vote
ESOP
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We show how to formalise a constraint-based data flow analysis in the specification language of the Coq proof assistant. This involves defining a dependent type of lat...
172
click to vote
FLOPS
2004
Springer
16 years 4 days ago
2004
Springer
We propose pattern matching calculi as a refinement of λ-calculus that integrates mechanisms appropriate for fine-grained modelling of non-strict pattern matching. Compared with...
172
click to vote
HSNMC
2004
Springer
16 years 4 days ago
2004
Springer
Network management is an area where many different technologies coexist. Several languages are used to define the information to be managed, which are specific of each management m...