Sciweavers

2018 search results - page 269 / 404
» Code Normal Forms
Sort
View
ICIP
2006
IEEE
14 years 3 months ago
Lossless Compression of Microarray Images
During the past years, the development of microarray technology has been remarkable, and it is becoming a daily tool in many genomic research laboratories. The widespread adoption...
António J. R. Neves, Armando J. Pinho
KBSE
2006
IEEE
14 years 3 months ago
A Portable Compiler-Integrated Approach to Permanent Checking
Program checking technology is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools from the everyd...
Eugen-Nicolae Volanschi
AOSD
2006
ACM
14 years 2 months ago
A join point for loops in AspectJ
The current AspectJ join points represent locations in the code that are at the interface of the Java objects. However, not all the “things that happen”1 happen at the interfa...
Bruno Harbulot, John R. Gurd
WS
2005
ACM
14 years 2 months ago
Strengthening EPC tags against cloning
The EPC (Electronic Product Code) tag is a form of RFID (Radio-Frequency IDentification) device that is emerging as a successor to the printed barcode. Like barcodes, EPC tags emi...
Ari Juels
ESWS
2005
Springer
14 years 2 months ago
Multilingual RDF and OWL
RDF uses the RFC3066 standard for language tags for literals in natural languages. The revision RFC3066bis includes productive use of language, country and script codes. These form...
Jeremy J. Carroll, Addison Phillips