30 search results - page 5 / 6 » Foundations of Spatioterminological Reasoning with Descripti... |
86
Voted
SIGSOFT
2003
ACM
16 years 11 days ago
2003
ACM
Web Services are software services that can be advertised by providers and deployed by customers using Web technologies. This concept is currently carried further to address Web s...
106
Voted
CADE
2002
Springer
15 years 12 months ago
2002
Springer
Abstract. We investigate the combination of propositional SAT checkers with domain-specific theorem provers as a foundation for bounded model checking over infinite domains. Given ...
97
Voted
KBSE
1999
IEEE
15 years 3 months ago
1999
IEEE
The language AML is used to specify the semantics of architecture description languages, ADLs. It is a very primitive language, having declarations for only three constructs: elem...
95
Voted
FOIKS
2006
Springer
15 years 3 months ago
2006
Springer
This paper presents a semantic foundation of temporal conceptual models used to design temporal information systems. We consider a modeling language able to express both timestampi...
DLOG
2003
15 years 1 months ago
2003
Description Logics (DLs), as a field of research, form a formal foundation of first-order semantic Web ontology languages, such as DAML+OIL and OWL. The Semantic Web will build ...