4158 search results - page 473 / 832 » A Framework for Web Science |
167
click to vote
SOFSEM
2010
Springer
15 years 4 months ago
2010
Springer
We present a tutorial on verification of safety properties for parameterized systems. Such a system consists of an arbitrary number of processes; the aim is to prove correctness of...
174
Voted
GI
2009
Springer
15 years 4 months ago
2009
Springer
: A majority of biodiversity research projects depend on field recording and ecology data. Therefore it is important to provide a seamless and transparent data flow from the field ...
270
click to vote
ICDE
2005
IEEE
16 years 8 months ago
2005
IEEE
Resource Description Framework (RDF) is a rapidly expanding web standard. RDF databases attempt to track the massive amounts of web data and services available. In this paper, we ...
176
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
In this paper, we describe the fully dynamic semantic portal we implemented, integrating Semantic Web technologies and Service Oriented Architecture (SOA). The goals of the portal...
182
Voted
WWW
2008
ACM
16 years 7 months ago
2008
ACM
In this paper, we discuss challenges and provide solutions for capturing and maintaining accurate models of user profiles using semantic web technologies, by aggregating and shari...