1220 search results - page 166 / 244 » Diagnosing Design Problems in Object Oriented Systems |
107
click to vote
FORTE
1996
15 years 1 months ago
1996
The paper describes the application of SDL-92[1] and OMT[2] to the design of a V5.x Access Network interface. While OMT is used to model the management aspects of the system, typi...
142
click to vote
UIST
1993
ACM
15 years 3 months ago
1993
ACM
This paper describes the VB2 architecture for the construction of three-dimensional interactive applications. The system's state and behavior are uniformly represented as a n...
101
click to vote
TPHOL
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...
169
click to vote
SIGMOD
2009
ACM
16 years 2 days ago
2009
ACM
The ParAccel Analytic DatabaseTM is a fast shared-nothing parallel relational database system with a columnar orientation, adaptive compression, memory-centric design, and an enha...
ISMAR
2003
IEEE
15 years 5 months ago
2003
IEEE
A useful function of augmented reality (AR) systems is their ability to visualize occluded infrastructure directly in a user’s view of the environment. This is especially import...