3053 search results - page 91 / 611 » Structured Objects: Modeling and Reasoning |
126
click to vote
APLAS
2004
ACM
15 years 8 months ago
2004
ACM
This paper develops a mathematical characterisation of object-oriented concepts by defining an observation-oriented semantics for an object-oriented language (OOL) with a rich var...
130
click to vote
PGLDB
2003
15 years 4 months ago
2003
Learning Content Management Systems (LCMS) supports e-learning applications with storage and efficient access for e-learning objects (LO)s. ROSA is a LCMS built as a semantic laye...
162
click to vote
TIME
2003
IEEE
15 years 8 months ago
2003
IEEE
We investigate expressivity and complexity of hybrid logics on linear structures. Hybrid logics are an enrichment of modal logics with certain first-order features which are algo...
129
click to vote
ER
1998
Springer
15 years 7 months ago
1998
Springer
The development of Internet commercial applications and corporate Intranets around the world, which uses Java as the de facto standard language, is a significant topic in modern S...
111
Voted
AMAI
2002
Springer
15 years 3 months ago
2002
Springer
This paper introduces a framework for modeling the movement of objects or individuals over multiple granularities. Granularity refers to selecting the appropriate level of detail ...