5863 search results - page 205 / 1173 » On Model-Checking of P Systems |
221
click to vote
IPPS
2003
IEEE
16 years 11 days ago
2003
IEEE
We discuss here a parallel implementation of the visualisation of data from a galaxy formation simulation within the Triana problem-solving environment. The visualisation is a tes...
156
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—Peer-to-peer (P2P) file distribution is a scalable way to disseminate content to a wide audience. For a P2P network, one fundamental performance metric is the average time need...
205
click to vote
AOSD
2009
ACM
15 years 9 months ago
2009
ACM
Cyber-physical systems increasingly rely on dynamically adaptive programs to respond to changes in their physical environment; examples include ecosystem monitoring and disaster r...
193
Voted
CISS
2008
IEEE
16 years 1 months ago
2008
IEEE
Recent advancement in peer-to-peer (P2P) technologies has enabled a wide range of new applications. In this paper, we present mixed integer programming (MIP) formulations to analy...
189
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
The prevalence of P2P technology contributes the ease of file-sharing, but it also brings some problems such as free-riding and copyright infringement. To solve these problems, ma...