4 search results - page 1 / 1 » Towards an Ontological Modeling with Dependent Types: Applic... |
ER
2009
Springer
13 years 11 months ago
2009
Springer
JSAI
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. This research aims at promoting sharing of knowledge about functionality of artifacts among engineers, which tends to be implicit in practice. In order to provide a conce...
ER
2007
Springer
13 years 11 months ago
2007
Springer
There are a number of issues for information systems which are required to collect data urgently that are not well accommodated by current conceptual modelling methodologies and a...
APWEB
2007
Springer
13 years 9 months ago
2007
Springer
Abstract. XML provides a natural mechanism for representing semistructured and unstructured data. It becomes the basis for encoding a large variety of information, for example, the...