4029 search results - page 675 / 806 » Experience with Software Watermarking |
130
Voted
TOPLAS
2002
15 years 3 months ago
2002
traction and information hiding K. RUSTAN M. LEINO and GREG NELSON Compaq Systems Research Center er describes an approach for verifying programs in the presence of data abstractio...
141
click to vote
PRESENCE
2007
15 years 3 months ago
2007
A distributed virtual environment (DVE) is a software system that allows users on a network to interact with each other by sharing a common view of their states. As users are geog...
153
click to vote
SAC
2008
ACM
15 years 3 months ago
2008
ACM
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...
161
click to vote
TMC
2008
15 years 3 months ago
2008
This paper introduces a cooperation-based database caching system for Mobile Ad Hoc Networks (MANETs). The heart of the system is the nodes that cache submitted queries. The querie...
125
click to vote
CIKM
2010
Springer
15 years 2 months ago
2010
Springer
In recent years, there has been an explosion of publicly available RDF and OWL data sources. In order to effectively and quickly answer queries in such an environment, we present...