947 search results - page 70 / 190 » interactions 2002 |
EMISA
2002
Springer
13 years 9 months ago
2002
Springer
DAWN is technique for modelling and verifying network algorithms, which is based on Petri nets and temporal logic. In this paper, we present a different perspective of DAWN that al...
ENTCS
2002
13 years 9 months ago
2002
The Ambient Calculus offers many ways in which processes can interact and be observed. In the context of Levi and Sangiorgi's Safe Mobile Ambients (SA), the extra co-capabili...
ETS
2002
IEEE
13 years 9 months ago
2002
IEEE
There is interplay between emotions and learning, but this interaction is far more complex than previous learning theories have articulated--this interplay interacts with other re...
CCGRID
2002
IEEE
14 years 2 months ago
2002
IEEE
We are working on a system for the optimised access and replication of data on a Data Grid. Our approach is based on the use of an economic model that includes the actors and the ...
ICIP
2002
IEEE
14 years 11 months ago
2002
IEEE
JPEG2000 is a highly scalable compression standard, allowing access to image representations with a reduced resolution, a reduced quality or confined to a spatial region of intere...