5863 search results - page 416 / 1173 » On Model-Checking of P Systems |
150
click to vote
SIAMCO
2000
15 years 7 months ago
2000
In this paper an approximation scheme is developed for the solution of the Linear Quadratic Gaussian (LQG) control on a
230
click to vote
INFOCOM
2011
IEEE
14 years 11 months ago
2011
IEEE
—In this paper we model the digital rights management (DRM) for peer-to-peer streaming (P2PS) systems as a game. We construct the DRM game from both content service provider (CSP...
204
click to vote
P2P
2003
IEEE
16 years 27 days ago
2003
IEEE
Recently, a new server-less architecture is proposed for building low-cost yet scalable video streaming systems. In this architecture, video blocks are distributed among user host...
224
click to vote
ACNS
2008
Springer
16 years 2 months ago
2008
Springer
In the pursuit of authentication schemes that balance user privacy and accountability, numerous anonymous credential systems have been constructed. However, existing systems assume...
207
click to vote
PODC
1999
ACM
15 years 12 months ago
1999
ACM
d Abstract) James H. Anderson Department of Computer Science University of North Carolina at Chapel Hill Mark Moiry Department of Computer Science University of Pittsburgh We cons...