108 search results - page 4 / 22 » rise 2004 |
ICALP
2004
Springer
14 years 1 months ago
2004
Springer
The impact of types on the algebraic theory of the π-calculus is studied. The type system has capability types. They allow one to distinguish between the ability to read from a c...
IWUC
2004
13 years 9 months ago
2004
Ensuring personal safety for people on the move is becoming a heightened priority in today's uncertain environment. Traditional approaches are no longer adequate in meeting ri...
ICALP
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We extend the basic system relations of trace inclusion, trace equivalence, simulation, and bisimulation to a quantitative setting in which propositions are interpreted n...
EUSAI
2004
Springer
13 years 11 months ago
2004
Springer
Pervasive resp. ubiquitous systems use context information to adapt appliance behavior to human needs. Even more convenience is reached if the appliance foresees the user's de...
VMV
2004
13 years 9 months ago
2004
We present two variants of free surface LatticeBoltzmann fluid simulations for the animation of liquids in computer graphics. The LatticeBoltzmann method is an attractive alternat...