7099 search results - page 1317 / 1420 » Context for models of concurrency |
171
click to vote
NSPW
2004
ACM
15 years 11 months ago
2004
ACM
Digital rights management systems allow copyrighted content to be commercialized in digital format without the risk of revenue loss due to piracy. Making such systems secure is no...
156
click to vote
ICCS
2004
Springer
15 years 11 months ago
2004
Springer
We propose to use high-level Petri nets as a model for the semantics of high-level parallel systems. This model is known to be useful for the purpose of verification and we show t...
171
click to vote
EDOC
2003
IEEE
15 years 11 months ago
2003
IEEE
Distributed systems are inherently complex, and therefore difficult to design and develop. Experience shows that new technologies—such as components, aspects, and application f...
153
click to vote
DOCENG
2003
ACM
15 years 11 months ago
2003
ACM
Portable Document Format (PDF) is a page-oriented, graphically rich format based on PostScript semantics and it is also the format interpreted by the Adobe Acrobat viewers. Althou...
214
click to vote
PODC
2003
ACM
15 years 11 months ago
2003
ACM
Traitor Tracing Schemes constitute a very useful tool against piracy in the context of digital content broadcast. In such multi-recipient encryption schemes, each decryption key is...