5128 search results - page 366 / 1026 » When Abstraction Fails |
250
click to vote
CACM
2008
15 years 7 months ago
2008
data type and (Java) class, asking about the relationship between them. The same students would also be unlikely to find an answer in a CS1 textbook. Some textbooks might not even ...
166
Voted
CAV
2009
Springer
16 years 8 months ago
2009
Springer
Abstract. Size-change termination involves deducing program termination based on the impossibility of infinite descent. To this end we may use m abstraction in which transitions ar...
246
click to vote
TPHOL
2009
IEEE
16 years 2 months ago
2009
IEEE
Traditional security protocols are mainly concerned with key establishment and principal authentication and rely on predistributed keys and properties of cryptographic operators. I...
201
click to vote
CAV
2007
Springer
16 years 1 months ago
2007
Springer
We present Hector, a software tool for combining different abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...
187
click to vote
ICDE
2005
IEEE
16 years 1 months ago
2005
IEEE
AbstractAbstractAbstract In this paper, an implementation scheme for relational tables is proposed. Our scheme employs extendible chunked arrays. We are proposing an implementation...