1018 search results - page 88 / 204 » Generative unbinding of names |
DIS
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. It is an up-to-date challenge to get answers for novel questions which nobody has ever considered. Such a question is too rare to be satisfied with a past single documen...
VISUALIZATION
2000
IEEE
14 years 1 months ago
2000
IEEE
In this paper, general relativistic ray tracing is presented as a tool for gravitational physics. It is shown how standard three-dimensional ray tracing can be extended to allow f...
ICALP
1998
Springer
14 years 1 months ago
1998
Springer
We generate a natural hierarchy of equivalences for asynchronous name-passing process calculi from simple variations on Milner and Sangiorgi's definition of weak barbed bisim...
INFOCOM
1994
IEEE
14 years 1 months ago
1994
IEEE
A n eficient fair queueing scheme which is feasible for broadband implementation is proposed and its performance is analyzed. We define fairness in a selfcontained manner, elimina...
KBSE
1994
IEEE
14 years 1 months ago
1994
IEEE
Research in knowledge-based software engineering has led to advances in the ability to specify and automatically generate software. Advances in the support of upstream activities ...