567 search results - page 2 / 114 » Lightweight Extraction of Object Models from Bytecode |
TPHOL
2008
IEEE
13 years 11 months ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...
COOPIS
1998
IEEE
13 years 9 months ago
1998
IEEE
Jedi (Java based Extraction and Dissemination of Information) is a lightweight tool for the creation of wrappers and mediators to extract, combine, and reconcile information from ...
ICIP
2008
IEEE
14 years 6 months ago
2008
IEEE
We present a simple multiple view 3D model for object tracking and identification in camera networks. Our model is composed of 8 distinct views in the interval 0, 7 4 . Each of th...
TACS
2001
Springer
13 years 9 months ago
2001
Springer
The state of the practice in object-oriented software development has moved beyond reuse of code to reuse of conceptual structures such as design patterns. This paper draws attenti...
OOPSLA
2001
Springer
13 years 9 months ago
2001
Springer
Preventing abusive resource consumption is indispensable for all kinds of systems that execute untrusted mobile code, such as mobile object systems, extensible web servers, and we...