3993 search results - page 164 / 799 » Matchmaking for Structured Objects |
126
click to vote
ISSS
2002
IEEE
15 years 8 months ago
2002
IEEE
The object-oriented design process has been a hot topic in software development since it will improve product quality and productivity significantly, which is also a major issue i...
134
click to vote
IPPS
1999
IEEE
15 years 7 months ago
1999
IEEE
Many numerical solutions of large scale simulation models require finer discretizations in some regions of the computational grid. When this region is not known in advance, adapti...
151
Voted
ISORC
1999
IEEE
15 years 7 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
132
Voted
TACAS
1999
Springer
15 years 7 months ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
123
click to vote
CHI
1996
ACM
15 years 7 months ago
1996
ACM
The Audio Notebook allows a user to capture and access an audio recording of a lecture or meeting in conjunction with notes written on paper. The audio recording is synchronized w...