2509 search results - page 345 / 502 » Abstract Geometrical Computation and Computable Analysis |
148
click to vote
WCRE
2000
IEEE
15 years 10 months ago
2000
IEEE
We show how hypertext-based program understanding tools eve new levels of abstraction by using inferred type information for cases where the subject software system is written in ...
173
click to vote
EGICE
2006
15 years 9 months ago
2006
Reusing or modifying known design concepts cannot meet new challenges for engineering systems. However, engineers can find inspiration outside their traditional domains in order to...
153
Voted
GREC
2009
Springer
15 years 9 months ago
2009
Springer
Two hundred web tables from ten sites were imported into Excel. The tables were edited as needed, then converted into layout independent Wang using the Table Abstraction Tool (TAT)...
253
Voted
CSFW
2011
IEEE
14 years 5 months ago
2011
IEEE
—This paper explores the idea of knowledge-based security policies, which are used to decide whether to answer queries over secret data based on an estimation of the querier’s ...
156
Voted
DAC
2007
ACM
16 years 7 months ago
2007
ACM
The bus tracing is used to catch related signals for further investigation and analysis. However, the trace size of cycleaccurate tracing is large and the trace cycle is shallow u...