2105 search results - page 198 / 421 » Decoupling in Object Orientation |
123
click to vote
TOOLS
1992
IEEE
15 years 10 months ago
1992
IEEE
The notion of location of part objects is introduced, yielding a reference to the containing object. Combined with locally defined objects and classes (block structure), singularl...
170
Voted
FMOODS
2007
15 years 7 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...
150
Voted
AMDO
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents a technique to enable deformable objects to be matched throughout video sequences based on the information provided by multi-scale Gaussian derivative filter ba...
169
Voted
PDPTA
2008
15 years 7 months ago
2008
Load balancing is the process of distributing client requests over a set of servers, and is a key element of obtaining good performance in a distributed application. Java RMI exte...
169
click to vote
TE
2010
15 years 26 days ago
2010
The semiconductor industry is lacking qualified integrated circuit (IC) test engineers to serve in the field of mixed-signal electronics. The absence of mixed-signal IC test educat...