5863 search results - page 193 / 1173 » On Model-Checking of P Systems |
215
click to vote
SCP
2010
15 years 5 months ago
2010
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
182
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
— Incentive protocols play a crucial role to encourage cooperation among nodes in networking applications. The aim of this paper is to provide a general analytical framework to a...
302
click to vote
ICDE
2007
IEEE
16 years 8 months ago
2007
IEEE
The content-based publish/subscribe (pub/sub) paradigm for system design is becoming increasingly popular, offering unique benefits for a large number of data-intensive applicatio...
261
Voted
PERCOM
2010
ACM
15 years 1 months ago
2010
ACM
Abstract-- Mobile devices are becoming increasingly powerful with regards to processing speed, networking capabilities, storage capacity etc. While these improvements open up new p...
204
Voted
GI
2004
Springer
16 years 13 days ago
2004
Springer
Abstract: File-sharing in mobile networks has differing demands to a P2P architecture. Resource access and mediation techniques must follow constraints given in 2.5G/3G networks. E...