6279 search results - page 358 / 1256 » Objects as session-typed processes |
182
Voted
ATAL
2005
Springer
16 years 12 days ago
2005
Springer
For multi-target tracking, we realize the increase in number of simultaneously trackable objects and tracking stability by improving the way of communication proposed in [1] so th...
180
click to vote
FASE
2003
Springer
16 years 2 days 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...
194
Voted
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...
209
click to vote
ICMCS
1998
IEEE
15 years 11 months ago
1998
IEEE
The rapid growth of multimedia technology has resulted in an enormous amount of data that needs to be managed and indexed efficiently to provide effective labeling for an image in...
193
Voted
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
A stochastic graph game is played by two players on a game graph with probabilistic transitions. We consider stochastic graph games with -regular winning conditions specified as Ra...