796 search results - page 94 / 160 » Software Engineering for the Next Internet |
127
Voted
WWW
2005
ACM
16 years 4 months ago
2005
ACM
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...
198
Voted
WWW
2004
ACM
16 years 4 months ago
2004
ACM
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...
104
Voted
WWW
2003
ACM
16 years 4 months ago
2003
ACM
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...
126
Voted
ARCS
2004
Springer
15 years 9 months ago
2004
Springer
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...
117
Voted
OHS
2001
Springer
15 years 8 months ago
2001
Springer
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...