14782 search results - page 315 / 2957 » Activities in Object Bases |
182
click to vote
FMCO
2004
Springer
16 years 26 days ago
2004
Springer
In object-oriented programming, reentrant method invocations and shared references make it difficult to achieve adequate encapsulation for sound modular reasoning. This tutorial p...
202
click to vote
SAS
2004
Springer
16 years 24 days ago
2004
Springer
Abstract. This paper addresses the problem of checking programs written in an object-oriented language to ensure that they satisfy the information flow policies, confidentiality ...
174
Voted
AINA
2003
IEEE
16 years 23 days ago
2003
IEEE
241
Voted
AVSS
2003
IEEE
16 years 23 days ago
2003
IEEE
This paper is concerned with a particular application of image stabilization1 . Image stabilization is a necessary step to reduce the effect of camera motion when, as in this case...