5756 search results - page 149 / 1152 » Describing Objects by their Attributes |
157
click to vote
ISORC
1999
IEEE
15 years 8 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...
126
Voted
TOOLS
1998
IEEE
15 years 8 months ago
1998
IEEE
In traditional information systems, the user interface is controlled by one single application. In distributed systems, several distributed components may want to influence the ap...
121
click to vote
TOOLS
1998
IEEE
15 years 8 months ago
1998
IEEE
Object-orientation has rapidly become accepted as the preferred paradigm for large scale system design. There is considerable literature describing approaches to object-oriented d...
204
Voted
ECOOP
1992
Springer
15 years 8 months ago
1992
Springer
We analyse how inheritance of synchronization constraints should be supported. The conclusion of our analysis is that inheritance of synchronization constraints should take the for...
153
click to vote
ICIAP
1995
ACM
15 years 7 months ago
1995
ACM
This work describes how the use of object-oriented technology can help to separate the implementation of algorithms in digital image processing systems from the coding of “non-es...