6279 search results - page 916 / 1256 » Objects as session-typed processes |
168
click to vote
ICC
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper takes a known approach for scheduling and admission control in integrated services networks1 , the Priority Token Bank (PTB), whose mechanism and performance have been ...
180
click to vote
ICMCS
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper presents a novel method of retrieving images based on color-spatial information. For each image, its color-spatial information is compactly captured by a set of color s...
156
Voted
UML
1998
Springer
15 years 11 months ago
1998
Springer
At British Airways, we have found during several large OO projects documented using the UML that non-technical end-users, managers and business domain experts find it difficult to ...
157
Voted
CVRMED
1997
Springer
1997
Springer
Geometric constraint analysis and synthesis: methods for improving shape-based registration accuracy
15 years 11 months ago
Shape-based registration is a process for estimating the transformation between two shape representations of an object. It is used in many image-guided surgical systems to establis...
144
click to vote
TACS
1997
Springer
15 years 11 months ago
1997
Springer
We present a type-based technique for the veri cation of deadlock-freedom in asynchronous concurrent systems. Our general approach is to start with a simple interaction category, i...