7766 search results - page 1498 / 1554 » Testing Nondeterminate Systems |
FOSSACS
2004
Springer
14 years 1 months ago
2004
Springer
safeDpi is a distributed version of the Picalculus, in which processes are located at dynamically created sites. Parametrised code may be sent between sites using so-called ports, ...
ICMI
2004
Springer
14 years 1 months ago
2004
Springer
Perhaps the most fundamental application of affective computing would be Human-Computer Interaction (HCI) in which the computer is able to detect and track the user’s affective ...
ROBOCUP
2004
Springer
14 years 1 months ago
2004
Springer
We show how to apply learning methods to two robotics problems, namely the optimization of the on-board controller of an omnidirectional robot, and the derivation of a model of the...
DATE
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper presents an efficient methodology for estimating the energy consumption of application programs running on extensible processors. Extensible processors, which are incr...
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
The current IETF standardization work has highlighted the feasibility of providing the users with a QoS network architecture in the framework of Integrated Services over Different...