1317 search results - page 98 / 264 » Fusions of Description Logics and Abstract Description Syste... |
168
click to vote
FM
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
164
click to vote
DLOG
2003
15 years 7 months ago
2003
Matching problems in Description Logics are theoretically well understood, with a variety of algorithms available for different DLs. Nevertheless, still no implementation of a ge...
178
click to vote
CONTEXT
2007
Springer
16 years 17 days ago
2007
Springer
This note describes a logical system based on concepts and contexts, whose aim is to serve as a representation language for meanings of natural language sentences. The logic is a t...
168
click to vote
MODELS
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Time and timing features are an important aspect of modern electronic systems, often of embedded nature. We argue here that in early design phases, time is often of logic...
278
click to vote
CADE
2011
Springer
14 years 6 months ago
2011
Springer
Android is a programming language based on Java and an operating system for embedded or mobile devices whose upper layers are written in that language. It features an extended even...