4385 search results - page 305 / 877 » Abstraction for Concurrent Objects |
153
click to vote
AMR
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Extraction of visual descriptors is a crucial problem for stateof-the-art visual information analysis. In this paper, we present a knowledgebased approach for detection o...
176
click to vote
FASE
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. One of the principal uses of UML is the modelling of synchronous object-oriented software systems, in which the behaviour of each of several classes is modelled using a s...
185
click to vote
ECOOP
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. We are interested in the class of systems for which the satisfaction of code dependencies is a dynamic process rather than one which is determined purely at load-time. Ex...
175
click to vote
FM
1999
Springer
15 years 11 months ago
1999
Springer
ÐIn this paper, we describe the incremental specification of a power transformer station controller using a controller synthesis methodology. We specify the main requirements as s...
174
click to vote
VLDB
1987
ACM
15 years 10 months ago
1987
ACM
FAD is a powerful and simple language designed for a highly parallel database machine. The basic concepts of the language are its data structures (which we call objects) and its p...