5863 search results - page 245 / 1173 » On Model-Checking of P Systems |
209
click to vote
WEBDB
2005
Springer
16 years 20 days ago
2005
Springer
Efficient query processing in P2P-based Web integration systems poses a variety of challenges resulting from the strict decentralization and limited knowledge. As a special probl...
199
click to vote
TCS
2008
15 years 7 months ago
2008
The aim of the paper is to give a compositional semantics in the style of the Structural Operational Semantics (SOS) and to study behavioral equivalence notions for P Systems. Fir...
192
click to vote
PPAM
2001
Springer
15 years 11 months ago
2001
Springer
This paper presents an overview of pARMS, a package for solving sparse linear systems on parallel platforms. Preconditioners constitute the most important ingredient in the solutio...
219
click to vote
P2P
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—This paper presents a systematic performance analysis of pull P2P video streaming systems for live applications, providing guidelines for the design of the overlay topol...
177
click to vote
MEMBRANE
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we introduce a variant of membrane systems with elementary division and without charges. We allow only elementary division where the resulting membranes are identical...