1975 search results - page 121 / 395 » Property analysis and design understanding |
161
click to vote
JUCS
2008
15 years 6 months ago
2008
: Aspect languages provide different mechanisms to control when an aspect should apply based on properties of the execution context. They however fail to explicitly identify and cl...
167
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This paper aims at providing a rigorous definition of selforganization, one of the most desired properties for dynamic systems (e.g., peer-to-peer systems, sensor networ...
148
click to vote
PODS
2003
ACM
16 years 6 months ago
2003
ACM
The emerging paradigm of electronic services promises to bring to distributed computation and services the flexibility that the web has brought to the sharing of documents. An und...
172
click to vote
ICDAR
2007
IEEE
16 years 15 days ago
2007
IEEE
Graphical components information extraction is a crucial step in the chart recognition and understanding process. However, existing methods of information extraction from chart im...
149
click to vote
SCAM
2007
IEEE
16 years 14 days ago
2007
IEEE
We present an automated program analysis, called Reach, to compute program inputs that cause evaluation of explicitly-marked target expressions. Reach has a range of applications ...