2377 search results - page 346 / 476 » Hera: Development of Semantic Web Information Systems |
181
click to vote
UTP
2010
15 years 3 months ago
2010
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
188
click to vote
ISSRE
2010
IEEE
15 years 4 months ago
2010
IEEE
— With the increasing reliance of complex real-world applications on composite web services assembled from independently developed component services, there is a growing need for...
147
click to vote
ICDE
2006
IEEE
16 years 1 days ago
2006
IEEE
— In this paper, we describe the functionality of a toolkit for sharing and long-term use of different types of geological data sets across disciplines. Our tools allow users to ...
144
click to vote
MIR
2005
ACM
15 years 11 months ago
2005
ACM
We address evaluation of image understanding and retrieval large scale image data in the context of three evaluation projects. The first project is a comprehensive strategy for e...
150
click to vote
AIMS
2007
Springer
16 years 6 days ago
2007
Springer
Policy conflict analysis processes based solely on the examination of policy language constructs can not readily discern the semantics associated with the managed system for which ...