4190 search results - page 340 / 838 » Type Class Directives |
138
click to vote
ICDE
2010
IEEE
15 years 12 months ago
2010
IEEE
Abstract— Checking if an SQL query has been written correctly is not an easy task. Formal verification is not applicable, since it is based on comparing a specification with an...
139
click to vote
WEBDB
2009
Springer
15 years 11 months ago
2009
Springer
We study the problem of schema evolution in the RDF data model. RDF and the RDFS schema language are W3C standards for flexibly modeling and sharing data on the web. Although sch...
158
click to vote
WCRE
2008
IEEE
15 years 11 months ago
2008
IEEE
Modern software has to evolve to meet the needs of stakeholders; but the nature and scope of this evolution is difficult to anticipate and manage. In this paper, we examine techn...
111
Voted
ICCCN
2007
IEEE
15 years 11 months ago
2007
IEEE
—Worms are a significant threat to network systems, both through resource consumption and malicious activity. This paper examines the spread of a class of hitlist-based worms tha...
147
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
Parallelization of sequential programs is often daunting because of the substantial development cost involved. Various solutions have been proposed to address this concern, includ...