1522 search results - page 81 / 305 » Practical Exception Specifications |
115
click to vote
DIMVA
2004
15 years 3 months ago
2004
: A method to heuristically construct an isomorphism between the sets of functions in two similar but differing versions of the same executable file is presented. Such an isomorphi...
NIPS
2004
15 years 3 months ago
2004
Psychologists call behavior intrinsically motivated when it is engaged in for its own sake rather than as a step toward solving a specific problem of clear practical value. But wh...
108
click to vote
TAP
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. In this paper we report on our first experiences using the relational analysis provided by the Alloy tool with the theorem prover KIV in the context of specifications of ...
ICALT
2006
IEEE
15 years 7 months ago
2006
IEEE
Competence-based approaches in the field of formal or non-formal education and training are becoming more common and appear to offer the opportunity to develop programmes that mee...
ACMDIS
2004
ACM
15 years 7 months ago
2004
ACM
We present a preliminary and ongoing study into intimate objects: technological devices for maintaining intimacy at a distance. We use the notion of critical technical practice to...