Sciweavers

1529 search results - page 37 / 306
» Energy-Based Models of P Systems
Sort
View
TOMACS
1998
60views more  TOMACS 1998»
13 years 10 months ago
Automatic Modeling of File System Workloads Using Two-Level Arrival Processes
Peter P. Ware, Thomas W. Page Jr., Barry L. Nelson
WETICE
2008
IEEE
14 years 5 months ago
Information and Regulation in Decentralized Marketplaces for P2P-Grids
Large scale systems such as the Grid need scalable and efficient resource allocation mechanisms to fulfil the requirements of its participants and applications while the whole s...
Xavier León, Xavier Vilajosana, René...
FSTTCS
2000
Springer
14 years 2 months ago
Model Checking CTL Properties of Pushdown Systems
: A pushdown system is a graph G(P) of configurations of a pushdown automaton P. The model checking problem for a logic L is: given a pushdown automaton P and a formula L decide ...
Igor Walukiewicz
ICC
2007
IEEE
143views Communications» more  ICC 2007»
14 years 5 months ago
Application-Aware Topology Formation Algorithm for Peer-to-Peer Networks
—When constructing an unstructured P2P topology, one should consider the application running on top of it in order to achieve a good performance for the whole P2P system. It is n...
Kin Wah Kwong, Danny H. K. Tsang
P2P
2010
IEEE
187views Communications» more  P2P 2010»
13 years 9 months ago
Do BitTorrent-Like VoD Systems Scale under Flash-Crowds?
—The efficiency of BitTorrent for file sharing has inspired a number of BitTorrent-based P2P protocols for Videoon-Demand (VoD). It has been shown that these systems are scalab...
Lucia D'Acunto, Tamas Vinko, Johan A. Pouwelse