197 search results - page 32 / 40 » A Semantic Web approach to the provenance challenge |
TSC
2010
14 years 8 months ago
2010
—Web Services are the most famous implementation of service oriented architectures that has brought some challenging research issues. One of these is the composition, i.e. the ca...
PLDI
2010
ACM
15 years 1 months ago
2010
ACM
Verified compilers, such as Leroy's CompCert, are accompanied by a fully checked correctness proof. Both the compiler and proof are often constructed with an interactive proo...
118
click to vote
SEC
2007
14 years 11 months ago
2007
Enhancing the service-oriented architecture paradigm with semantic components is a new field of research and goal of many ongoing projects. The results lead to more powerful web a...
BIS
2009
14 years 10 months ago
2009
Since the Internet found its way into daily life, placing product information at the user's disposal has become one of its most important tasks. As information sources are ver...
ESWS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. It has been argued that linked open data is the major benefit of semantic technologies for the web as it provides a huge amount of structured data that can be accessed i...