24105 search results - page 4254 / 4821 » Models in Information Retrieval |
215
click to vote
NSPW
2004
ACM
16 years 27 days 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...
200
click to vote
PADS
2004
ACM
16 years 27 days ago
2004
ACM
We discuss an approach for creating a federated network simulation that eases the burdens on the simulator user that typically arise from more traditional methods for defining sp...
231
click to vote
DAWAK
2004
Springer
16 years 26 days ago
2004
Springer
EXtensible Markup Language (XML) has emerged as the dominant standard in describing and exchanging data among heterogeneous data sources. XML with its self-describing hierarchical ...
188
click to vote
ICCS
2004
Springer
16 years 25 days 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...
213
click to vote
WADT
2004
Springer
16 years 24 days ago
2004
Springer
Higher-order logic with shallow type class polymorphism is widely used as a specification formalism. Its polymorphic entities (types, operators, axioms) can easily be equipped wit...