4385 search results - page 487 / 877 » Abstraction for Concurrent Objects |
160
click to vote
ECMAST
1998
Springer
15 years 11 months ago
1998
Springer
We have de ned an execution architecture for playing back synchronized multimedia documents. We suppose that such documents i ed by means of several abstractions including hypertim...
166
click to vote
ECOOP
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. An object-oriented language that permits changing the behavior of a class or of a single object is said to support computational reflection. Existing reflective facilitie...
170
Voted
SSPR
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Because of its unexpected nature, finding words as equidistant letter sequences (Torah codes) in a text may appear to be interesting. However, there is a significant prob...
198
click to vote
ZUM
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We present a new combination CSP-OZ-DC of three well researched formal techniques for the specification of processes, data and time: CSP [17], Object-Z [36], and Duration...
170
click to vote
IDMS
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. The interoperability between heterogeneous distributed virtual environments is one of the main problem Virtual Reality will have to face in the very close future. This ar...