3244 search results - page 533 / 649 » Extensions to Description Logics |
226
click to vote
VLDB
2008
ACM
16 years 6 months ago
2008
ACM
We discuss a proposal for the implementation of the model management operator ModelGen, which translates schemas from one model to another, for example from object-oriented to SQL ...
176
click to vote
ICWS
2009
IEEE
16 years 3 months ago
2009
IEEE
The potential benefits of Web services composition heavily rely on semantic interoperability, i.e., the ability to exchange data meaningfully amongst Web services. Context heterog...
159
click to vote
ACSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
—Smartphones are now ubiquitous. However, the security requirements of these relatively new systems and the applications they support are still being understood. As a result, the...
166
click to vote
FOSSACS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this work, we introduce the class of Interrupt Timed Automata (ITA), which are well suited to the description of multi-task systems with interruptions in a single proc...
157
click to vote
PERVASIVE
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents novel methodologies for the analysis of continuous cellular tower data from 215 randomly sampled subjects in a major urban city. We demonstrate the potential of...