7167 search results - page 1189 / 1434 » A Technique for Invariant Generation |
203
click to vote
TOPNOC
2008
15 years 7 months ago
2008
The key to efficient on-the-fly reachability analysis based on unfolding is to focus the expansion of the finite prefix towards the desired marking. However, current unfolding stra...
211
click to vote
TSE
2008
15 years 7 months ago
2008
We present Delta Execution, a technique that speeds up state-space exploration of object-oriented programs. Statespace exploration is the essence of model checking and an increasin...
232
click to vote
JOT
2007
15 years 7 months ago
2007
Aspect-Oriented Programming is an emerging software engineering paradigm. It offers new constructs and tools improving separation of crosscutting concerns into single units called...
198
click to vote
JSA
2007
15 years 7 months ago
2007
For the last decade, Elliptic Curve Cryptography (ECC) has gained increasing acceptance in the industry and the academic community and has been the subject of several standards. T...
230
click to vote
TVCG
2008
15 years 7 months ago
2008
Graphs have been widely used to model relationships among data. For large graphs, excessive edge crossings make the display visually cluttered and thus difficult to explore. In thi...