1761 search results - page 316 / 353 » Performance Evaluation : = (Process Algebra Model Checking... |
DATE
2009
IEEE
14 years 2 months ago
2009
IEEE
As the number of cores continues to grow in both digital signal and general purpose processors, tools which perform automatic scheduling from model-based designs are of increasing...
AINA
2007
IEEE
14 years 2 months ago
2007
IEEE
In the Ad-Hoc InfoWare project, we develop a delay tolerant event notification service for sparse Mobile Ad-Hoc Networks for emergency and rescue operations. In most event notific...
GLOBECOM
2007
IEEE
14 years 2 months ago
2007
IEEE
— A novel cross-layer call admission control policy is proposed for a general CDMA beamforming system. In contrast to previously proposed call admission control (CAC) policies wh...
ATAL
2007
Springer
14 years 1 months ago
2007
Springer
A problem of planning for cooperative teams under uncertainty is a crucial one in multiagent systems. Decentralized partially observable Markov decision processes (DECPOMDPs) prov...
ICWL
2007
Springer
14 years 1 months ago
2007
Springer
In this paper we present the European project Open Dance and in particular our contribution to the 3D simulation of folk dances and their presentation on the web. Our aim is to pro...