Sciweavers

6651 search results - page 1078 / 1331
» Translating Web Data
Sort
View
ATVA
2008
Springer
87views Hardware» more  ATVA 2008»
15 years 8 months ago
Goanna: Syntactic Software Model Checking
Goanna is an industrial-strength static analysis tool used in academia and industry alike to find bugs in C/C++ programs. Unlike existing approaches Goanna uses the off-the-shelf N...
Ralf Huuck, Ansgar Fehnker, Sean Seefried, Jö...
PAM
2010
Springer
15 years 8 months ago
A Longitudinal View of HTTP Traffic
Abstract. In this paper we analyze three and a half years of HTTP traffic observed at a small research institute to characterize the evolution of various facets of web operation. W...
Tom Callahan, Mark Allman, Vern Paxson
COMSWARE
2008
IEEE
15 years 8 months ago
Collaborative group membership and access control for JXTA
Abstract-- This paper presents a proposal for group membership and access control services for JXTA, both based on the principle of self-organization and collaboration of peer grou...
Joan Arnedo-Moreno, Jordi Herrera-Joancomart&iacut...
CSCW
2008
ACM
15 years 8 months ago
Influences on tag choices in del.icio.us
Collaborative tagging systems have the potential to produce socially constructed information organization schemes. The effectiveness of tags for finding and re-finding information...
Emilee J. Rader, Rick Wash
ESWS
2008
Springer
15 years 8 months ago
Mapping Validation by Probabilistic Reasoning
In the semantic web environment, where several independent ontologies are used in order to describe knowledge and data, ontologies have to be aligned by defining mappings among the...
Silvana Castano, Alfio Ferrara, Davide Lorusso, To...
« Prev « First page 1078 / 1331 Last » Next »