3793 search results - page 563 / 759 » Expressive Description Logics |
178
click to vote
DSS
2008
15 years 6 months ago
2008
Outsourcing of complex IT infrastructure to IT service providers has increased substantially during the past years. IT service providers must be able to fulfil their service-qualit...
155
click to vote
AI
2004
Springer
15 years 6 months ago
2004
Springer
We give a formal semantics for a highly expressive language for representing temporal relationships and events. This language, which we call Versatile Event Logic (VEL), provides ...
196
click to vote
TCAD
2002
15 years 6 months ago
2002
As IC densities are increasing, cluster-based FPGA architectures are becoming the architecture of choice for major FPGA manufacturers. A cluster-based architecture is one in which...
165
click to vote
LICS
2010
IEEE
15 years 5 months ago
2010
IEEE
Psi-calculi extend the pi-calculus with nominal datatypes to represent data, communication channels, and logics for facts and conditions. This general framework admits highly expr...
156
click to vote
LICS
2010
IEEE
15 years 5 months ago
2010
IEEE
We consider formulas which, in addition to the symbols in the vocabulary, may use two designated symbols ≺ and + that must be interpreted as a linear order and its associated ad...