3793 search results - page 610 / 759 » Expressive Description Logics |
188
click to vote
POLICY
2007
Springer
16 years 16 days ago
2007
Springer
The growing diffusion of portable devices enables users to benefit from anytime and anywhere impromptu collaboration. Appropriate policy models that take into account the dynamici...
150
click to vote
PPDP
2007
Springer
16 years 16 days ago
2007
Springer
We propose a framework to construct web-oriented user interfaces in a high-level way by exploiting declarative programming techniques. Such user interfaces are intended to manipul...
141
click to vote
SEMWEB
2007
Springer
16 years 16 days ago
2007
Springer
In this paper we address the problem of migrating instances between heterogeneous overlapping ontologies. The instance migration problem arises when one wants to reclassify a set o...
173
click to vote
PRDC
2006
IEEE
16 years 13 days ago
2006
IEEE
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...
163
click to vote
DAC
2006
ACM
16 years 12 days ago
2006
ACM
Architectural decisions for DSP modules are often analyzed using high level C models. Such high-level explorations allow early examination of the algorithms and the architectural ...