Sciweavers

796 search results - page 94 / 160
» Software Engineering for the Next Internet
Sort
View
WWW
2005
ACM
15 years 10 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
WWW
2004
ACM
15 years 10 months ago
Converting UML to OWL ontologies
This paper presents automatic generation of the Web Ontology Language (OWL) from an UML model. The solution is based on an MDA-defined architecture for ontology development and th...
Dragan Gasevic, Dragan Djuric, Vladan Devedzic, Vi...
WWW
2003
ACM
15 years 10 months ago
Revealing Web User Requirements through e-Prototyping
Web Engineering projects face problems when it comes to reveal the Web users' requirements. This is due to the fact that users ? the clients of a Web application ? have diffi...
Martti Jeenicke, Wolf-Gideon Bleek, Ralf Klischews...
ARCS
2004
Springer
15 years 3 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 2 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