738 search results - page 73 / 148 » Object Orientation and Formal Techniques |
169
click to vote
TAP
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
180
click to vote
CHI
2001
ACM
16 years 6 months ago
2001
ACM
In this paper we present a system that electromagnetically tracks the positions and orientations of multiple wireless objects on a tabletop display surface. The system offers two ...
179
click to vote
BDA
2000
15 years 7 months ago
2000
Two complementary families of users' tasks may be identified during database visualization: data browsing and data analysis. On the one hand, data browsing involves extensive...
168
click to vote
VLDB
1989
ACM
15 years 10 months ago
1989
ACM
A method is described for actively interfacing an Object-Oriented Database Management System (OODBMS) to application pre grams. The method, called a database monitor, observes how...
119
click to vote
OODBS
1992
15 years 10 months ago
1992
This paper addresses the problem of de ning views that span several objectbases. Views are expressed in terms of an object algebra. We are interested in the degrees of coupling an...