5863 search results - page 292 / 1173 » On Model-Checking of P Systems |
153
click to vote
SAINT
2007
IEEE
16 years 1 months ago
2007
IEEE
—The “Gen2” specification for UHF passive RFID systems released by EPCglobal has become an intense research interest. A Gen2 tag derives its power from the RF wave emitted by...
194
click to vote
RV
2007
Springer
16 years 1 months ago
2007
Springer
Probabilistic correctness is another important aspect of reliable systems. A soft real-time system, for instance, exhibits probabilistic behaviors from tolerating some degrees of ...
204
click to vote
OTM
2010
Springer
15 years 5 months ago
2010
Springer
Recently, mashups have emerged as an important class of Web 2.0 collaborative applications. Mashups can be conceived as personalized Web services which aggregate and manipulate dat...
146
click to vote
ISM
2008
IEEE
16 years 1 months ago
2008
IEEE
Recently, there has been a growing interest in academic and commercial environments for Video-on-Demand (VoD) using Peer-to-Peer (P2P) technology. Unlike centralized solutions for...
208
click to vote
P2P
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a content delivery infrastructure distributing and maintaining software packages in a large organization. Our work based on a trace-based analysis of an existing softwa...