3172 search results - page 145 / 635 » Combining Specification Techniques for Processes, Data and T... |
180
click to vote
TFCV
1994
15 years 7 months ago
1994
Attentive vision is characterized by selective sensing in space and time as well as selective processing with respect to a speci c task. Selection in space involves the splitting ...
193
click to vote
ICGI
2010
Springer
15 years 7 months ago
2010
Springer
We recapitulate regular one-shot learning from membership and equivalence queries, positive and negative finite data. We present a meta-algorithm that generalizes over as many sett...
205
click to vote
CODES
2010
IEEE
15 years 4 months ago
2010
IEEE
The impact of process variation in state of the art technology makes traditional (worst case) designs unnecessarily pessimistic, which translates to suboptimal designs in terms of...
174
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Defect prevention is the most vital but habitually neglected facet of software quality assurance in any project. If functional at all stages of software development, it can condens...
161
click to vote
CSMR
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper we present a new instrumentation approach to reverse engineer a given software application. Our approach is based on aspect-oriented programming and provides support...