3147 search results - page 230 / 630 » Open-Source Model Checking |
157
click to vote
SAS
2010
Springer
15 years 1 months ago
2010
Springer
The efficiency of a points-to analysis is critical for several compiler optimizations and transformations, and has attracted considerable research attention. Despite several advanc...
126
click to vote
CLOUDCOM
2010
Springer
15 years 1 months ago
2010
Springer
The Semantic Web is gaining immense popularity-and with it, the Resource Description Framework (RDF) broadly used to model Semantic Web content. However, access control on RDF sto...
107
Voted
GIL
2009
15 years 1 months ago
2009
Abstract: We have surveyed three molecular biology labs in Germany and Vietnam to evaluate practical problems in the management of molecular genetics data. These labs are generatin...
157
click to vote
ICDAR
2009
IEEE
15 years 1 months ago
2009
IEEE
We compare in this study two image restoration approaches for the pre-processing of printed documents: namely the Non-local Means filter and a total variation minimization approac...
148
click to vote
ICC
2011
IEEE
14 years 2 months ago
2011
IEEE
Abstract—Content-Centric Networking is a new communication architecture that rethinks the Internet communication model, designed for point-to-point connections between hosts, and...