8068 search results - page 82 / 1614 » Java Data Objects |
ICSE
2011
IEEE-ACM
14 years 1 months ago
2011
IEEE-ACM
We present a unified environment for running declarative specifications in the context of an imperative object-oriented programming language. Specifications are Alloy-like, wri...
WACV
2012
IEEE
13 years 5 months ago
2012
IEEE
Crowd-sourcing tools such as Mechanical Turk are popular for annotation of large scale image data sets. Typically, these annotations consist of bounding boxes or coarse outlines o...
DSN
2003
IEEE
15 years 3 months ago
2003
IEEE
In this paper, we present a new fault injection tool called GOOFI (Generic Object-Oriented Fault Injection). GOOFI is designed to be adaptable to various target systems and differ...
POPL
1999
ACM
15 years 2 months ago
1999
ACM
A promising technique for protecting privacy and integrity of sensitive data is to statically check information flow within programs that manipulate the data. While previous work...
ECOOP
2005
Springer
15 years 3 months ago
2005
Springer
In this paper we investigate the addition of first-class relationships to a prototypical object-oriented programming language (a “middleweight” fragment of Java). We provide ...