6978 search results - page 173 / 1396 » On Proofs in System P |
140
click to vote
MEMBRANE
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Further results on the study of the dynamics of HIV infection with grids of conformon-P systems are reported. This study clearly shows a subdivision in two phases of the ...
185
click to vote
GLOBECOM
2010
IEEE
15 years 4 months ago
2010
IEEE
Peer-to-Peer streaming systems (or P2P-TV) have been studied in the literature for some time, and they are becoming popular among users as well. P2P-TV systems target the real time...
176
click to vote
WEBDB
2005
Springer
15 years 12 months 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...
173
click to vote
TCS
2008
15 years 6 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...
177
click to vote
FLAIRS
2006
15 years 8 months ago
2006
In building intelligent tutoring systems, it is critical to be able to understand and diagnose student responses in interactive problem solving. We present a novel application of ...