2081 search results - page 281 / 417 » codes 2006 |
ENTCS
2006
14 years 11 months ago
2006
The project Safe Pointers by Graph Transformation at the University of York has developed a method for specifying the shape of pointer-data structures by graph reduction, and a st...
114
click to vote
ENTCS
2006
14 years 11 months ago
2006
We present a runtime verification framework for Java programs. Properties can be specified in Linear-time Temporal Logic (LTL) over AspectJ pointcuts. These properties are checked...
ENTCS
2006
14 years 11 months ago
2006
We present a semantics-based technique for modeling and analysing resource usage behaviour of programs written in a simple object oriented language like Java e code. The approach ...
ENVSOFT
2006
14 years 11 months ago
2006
A fully automated system for the identification of possible oil spills present on Synthetic Aperture Radar (SAR) satellite images based on artificial intelligence fuzzy logic has ...
74
Voted
JASIS
2008
14 years 11 months ago
2008
Using the 138,751 patents filed in 2006 under the Patent Cooperation Treaty, coclassification analysis is pursued on the basis of three- and four-digit codes in the International ...