464 search results - page 63 / 93 » Modeling Semantic Constraints with Logic in the EARL Data Mo... |
GI
2005
Springer
15 years 3 months ago
2005
Springer
: A distributed service to model and control contextual information in mobile and ubiquitous computing environments is presented in this paper. We introduce the general user model ...
ENTCS
2008
14 years 10 months ago
2008
We formalize higher-order separation logic for a first-order imperative language with procedures and local variables in Isabelle/HOLCF. The assertion language is modeled in such a...
156
click to vote
SIGSOFT
2011
ACM
14 years 5 months ago
2011
ACM
Developing complex distributed systems is a non-trivial task. It is even more difficult when the systems need to dynamically reconfigure the distributed functionalities or tasks...
103
click to vote
ADAPTIVE
2007
Springer
15 years 4 months ago
2007
Springer
Ontologies and reasoning are the key terms brought into focus by the semantic web community. Formal representation of ontologies in a common data model on the web can be taken as a...
IJMTM
2007
14 years 10 months ago
2007
Large, industry-wide interoperability projects use syntax-based standards approaches to accomplish interoperable data exchange among enterprise applications. We are investigating S...