429 search results - page 20 / 86 » Java and Distributed Object Models: An Analysis |
125
click to vote
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
Model-based diagnosis applied to computer programs has been studied for several years. Although there are still weaknesses in the used models, especially on dealing with dynamic da...
127
Voted
SIGCSE
2002
ACM
15 years 1 months ago
2002
ACM
This paper covers the use of Java and its API for developing networking programs in an undergraduate computer networks class. Through the use of TCP and UDP sockets provided in th...
122
Voted
FMOODS
2007
15 years 3 months ago
2007
In this paper we present a formalization of Abadi’s and Cardelli’s theory of objects in the interactive theorem prover Isabelle/HOL. Our motivation is to build a mechanized HOL...
121
click to vote
ICCV
1995
IEEE
15 years 5 months ago
1995
IEEE
A general-purpose object indexingtechnique is described that combines the virtues of principal component analysis with the favorable matching properties of high-dimensional spaces...
125
click to vote
DSN
2004
IEEE
15 years 5 months ago
2004
IEEE
Recent developments in the field of object-based fault tolerance and the advent of the first OMG FTCORBA compliant middleware raise new requirements for the design process of dist...