2282 search results - page 308 / 457 » Active property checking |
DLOG
2007
14 years 18 days ago
2007
In the context of the Semantic Web or semantic peer to peer systems, many ontologies may exist and be developed independently. Ontology alignments help integrating, mediating or re...
ASIACRYPT
2008
Springer
14 years 8 days ago
2008
Springer
In a proof-of-retrievability system, a data storage center must prove to a verifier that he is actually storing all of a client's data. The central challenge is to build syst...
CAV
2008
Springer
14 years 8 days ago
2008
Springer
This paper addresses the analysis of concurrent programs with shared memory. Such an analysis is undecidable in the presence of multiple procedures. One approach used in recent wor...
CBSE
2008
Springer
14 years 8 days ago
2008
Springer
Current software component models insufficiently reflect the different stages of component life-cycle, which involves design, implementation, deployment, and runtime. Therefore, re...
APGV
2006
ACM
14 years 7 days ago
2006
ACM
One of the most important, still unsolved problems in computer graphics is the generation of predictive imagery, i.e., images that represent perfect renditions of reality. Such pe...