Sciweavers

581 search results - page 61 / 117
» Software engineering and the Internet: a roadmap
Sort
View
WWW
2005
ACM
16 years 7 months ago
Soundness proof of Z semantics of OWL using institutions
The correctness of the Z semantics of OWL is the theoretical foundation of using software engineering techniques to verify Web ontologies. As OWL and Z are based on different logi...
Dorel Lucanu, Yuan-Fang Li, Jin Song Dong
ARCS
2004
Springer
15 years 11 months ago
File Sharing Using IP-Multicast
Abstract: File sharing systems cause a huge portion of traffic in the Internet. With respect to the peer-to-peer approach, unicast delivery of content is the common case. Unfortun...
Kai Trojahner, Peter Sobe
OHS
2001
Springer
15 years 10 months ago
The Impact of Empirical Studies on the Design of an Adaptive Hypertext Generation System
This paper presents two empirical usability studies based on techniques from Human-Computer Interaction HCI and software engineering, which were used to elicitate requirements fo...
Kalina Bontcheva
APWEB
2006
Springer
15 years 10 months ago
Named Graphs as a Mechanism for Reasoning About Provenance
Named Graphs is a simple, compatible extension to the RDF syntax that enables statements to be made about RDF graphs. This approach is in contrast to earlier attempts such as RDF r...
E. Rowland Watkins, Denis A. Nicole
SEMWEB
2010
Springer
15 years 4 months ago
Semantic Recognition of Ontology Refactoring
Abstract. Ontologies are used for sharing information and are often collaboratively developed. They are adapted for different applications and domains resulting in multiple version...
Gerd Gröner, Fernando Silva Parreiras, Steffe...