2232 search results - page 300 / 447 » Formal Modeling and Analysis of Organizations |
162
click to vote
IPPS
2007
IEEE
16 years 21 days ago
2007
IEEE
This paper presents a comprehensive statistical analysis of workloads collected on data-intensive clusters and Grids. The analysis is conducted at different levels, including Virt...
165
click to vote
IPPS
2007
IEEE
16 years 21 days ago
2007
IEEE
In this paper, we propose the design of VoroNet, an objectbased peer to peer overlay network relying on Voronoi tessellations, along with its theoretical analysis and experimental...
182
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
The latest computer and communication technologies in combination with an enhanced ECG analysis system can be used to improve cardiac patient's follow-up out-of-hospital. In ...
162
click to vote
EMSOFT
2009
Springer
16 years 29 days ago
2009
Springer
An important step in model-based embedded system design consists in mapping functional specifications and their tasks/operations onto execution architectures and their ressources...
191
click to vote
IJFCS
2006
15 years 6 months ago
2006
We introduce the networks of Mealy multiset automata, and study their computational power. The networks of Mealy multiset automata are computationally complete. 1 Learning from Mo...