2887 search results - page 250 / 578 » Name Generation and Linearity |
182
click to vote
VISUALIZATION
2000
IEEE
15 years 11 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...
170
click to vote
ICALP
1998
Springer
15 years 11 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...
182
click to vote
INFOCOM
1994
IEEE
15 years 10 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...
184
click to vote
KBSE
1994
IEEE
15 years 10 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 ...
135
click to vote
ASIACRYPT
2006
Springer
15 years 10 months ago
2006
Springer
We point out that the seemingly strong pseudorandom oracle preserving (PRO-Pr) property of hash function domain-extension transforms defined and implemented by Coron et. al. [12] ...