3971 search results - page 749 / 795 » On the Use of Properties in Java Applications |
148
click to vote
ICIP
1999
IEEE
16 years 5 months ago
1999
IEEE
In this paper, we present a scheme for embedding data in copies (color or monochrome) of predominantly text pages that may also contain color images or graphics. Embedding data im...
142
click to vote
VIS
2008
IEEE
16 years 5 months ago
2008
IEEE
Myocardial perfusion imaging with single photon emission computed tomography (SPECT) is an established method for the detection and evaluation of coronary artery disease (CAD). Sta...
136
click to vote
SIGSOFT
2009
ACM
16 years 4 months ago
2009
ACM
Modern development environments often involve models with complex consistency relations. Some of the relations can be automatically established through "fixing procedures&quo...
154
click to vote
WWW
2007
ACM
16 years 4 months ago
2007
ACM
Social networking services are a fast-growing business in the Internet. However, it is unknown if online relationships and their growth patterns are the same as in real-life socia...
248
click to vote
POPL
2009
ACM
16 years 4 months ago
2009
ACM
We present a proof calculus and method for the static verification of assertions and procedure specifications in shared-memory concurrent programs. The key idea in our approach is...