2776 search results - page 376 / 556 » System-Level Abstraction Semantics |
161
click to vote
MKM
2005
Springer
16 years 19 hour ago
2005
Springer
Abstract. Due to their rapidly increasing amount, maintaining mathematical documents more and more becomes an engineering task. In this paper, we combine the projects MMiSS3 and CD...
150
click to vote
SEMWEB
2005
Springer
16 years 9 hour 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...
192
click to vote
SEMWEB
2005
Springer
16 years 9 hour 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...
151
click to vote
SPIN
2005
Springer
16 years 9 hour 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...
184
click to vote
TABLEAUX
2005
Springer
16 years 8 hour 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...