Sciweavers

3197 search results - page 513 / 640
» Web Engineering Revisited
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
WWW
2004
ACM
16 years 7 months ago
Lessons from a Gnutella-web gateway
We present a gateway between the WWW and the Gnutella peer-topeer network that permits searchers on one side to be able to search and retrieve files on the other side of the gatew...
Brian D. Davison, Wei Zhang, Baoning Wu
HICSS
2010
IEEE
180views Biometrics» more  HICSS 2010»
16 years 1 months ago
Hiding in Plain Sight: Exploiting Broadcast for Practical Host Anonymity
Users are being tracked on the Internet more than ever before as Web sites and search engines gather pieces of information sufficient to identify and study their behavior. While m...
Craig A. Shue, Minaxi Gupta
FOSSACS
2010
Springer
16 years 1 months ago
Parameterised Multiparty Session Types
For many application-level distributed protocols and parallel algorithms, the set of participants, the number of messages or the interaction structure are only known at run-time. T...
Nobuko Yoshida, Pierre-Malo Deniélou, Andi ...
CSE
2009
IEEE
16 years 1 months ago
Automated Murmurs: The Social Mobile Tourist Application
—The popularity of mobile devices and their increased computing power has given rise to surge in mobile computing technologies. Users are increasingly turning to mobile devices f...
Jill Freyne, Adam J. Brennan, Barry Smyth, Daragh ...