6279 search results - page 228 / 1256 » Objects as session-typed processes |
164
click to vote
IFM
2000
Springer
15 years 10 months ago
2000
Springer
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...
203
Voted
RIAO
2007
15 years 8 months ago
2007
With web image search engines, we face a situation where the results are very noisy, and when we ask for a specific object, we are not ensured that this object is contained in all...
174
click to vote
BMVC
1998
15 years 8 months ago
1998
In this paper a colour object search algorithm is presented. Given an image, areas of interest are generated (for each database model) by isolating regions whose colours are simil...
176
click to vote
EUROPAR
2010
Springer
15 years 7 months ago
2010
Springer
This paper introduces a set object, namely a shared object that allows processes to add and remove values as well as take a snapshot of its content. A new consistency condition su...
191
click to vote
ITIIS
2008
15 years 5 months ago
2008
To facilitate the processes of e-learning resource description, discovery and reuse, e-learning objects should be appropriately described and classified using standard metadata th...