676 search results - page 33 / 136 » A theory of aspects |
102
Voted
ICAIL
2009
ACM
15 years 5 months ago
2009
ACM
We propose an analysis of the codified Law of France as a structured system. Fifty two legal codes are selected on the basis of explicit legal criteria and considered as vertices ...
EAAI
2008
15 years 15 days ago
2008
In a supply chain organized as a network of autonomous enterprises, the main objective of each partner is to optimize his production and supply policy with respect to his own econ...
101
click to vote
CIIT
2004
15 years 1 months ago
2004
In an effort to develop a training programme to assist teaching professionals to migrate towards e-teaching from more traditional modes of teaching, the European Commission (EC) p...
101
Voted
RELMICS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. As part of a larger project, we have built a declarative assembly language that enables us to specify multiple code paths to compute particular quantities, giving the ins...
79
Voted
APAL
2006
15 years 15 days ago
2006
We develop fundamental aspects of the theory of metric, Hilbert, and Banach spaces in the context of subsystems of second-order arithmetic. In particular, we explore issues having...