2661 search results - page 358 / 533 » A Semantics for Abstraction |
154
click to vote
SEMWEB
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Recently, there have been a number of proposals for languages for expressing web service constraints and capabilities, with WSPolicy and WSPL leading the way. The propose...
197
click to vote
SEMWEB
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Most existing ontology mapping tools do not provide exact mappings. Rather, there is usually some degree of uncertainty. We describe a framework to improve existing ontol...
158
click to vote
SPIN
2005
Springer
16 years 2 days ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
186
click to vote
TABLEAUX
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications (e.g., configuration and information...
172
click to vote
TMRA
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. This paper describes a query algebra for tolog, a query language for Topic Maps inspired by Prolog and very similar to Datalog. The language is based on binding variables...