1268 search results - page 52 / 254 » Architectural Description with Integrated Data Consistency M... |
CCS
1998
ACM
13 years 12 months ago
1998
ACM
This paper gives a mathematical specification the Java Virtual Machine (JVM) bytecode verifier. The specification is an axiomatic description of the verifier that makes precise su...
KBSE
1998
IEEE
13 years 12 months ago
1998
IEEE
During the last three years we have been building an instantiation of a system's development paradigm, called ARTS. The paradigm consists of a view of what a system developme...
ICIP
2001
IEEE
14 years 9 months ago
2001
IEEE
This paper proposes some Markov Random Field (MRF) models for restoration of stereo disparity maps. The main aspect is the use of confidence maps provided by the Symmetric Multipl...
CBMS
2001
IEEE
13 years 11 months ago
2001
IEEE
Knowledge discovery and data correlation require a unified approach to basic data management. However, achieving such an approach is nearly impossible with hundreds of disparate d...
ICSM
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper is a summary of the author’s thesis that presents a model and an environment for recovering the high level design of legacy software systems based on user defined ar...