Search Sciweavers | Sciweavers

3914 search results - page 19 / 783

» Automating SLA modeling

click to vote

IJIEM
2007

113views more IJIEM 2007»

Fairness concerns in digital right management models

13 years 7 months ago

Download www-smis.inria.fr

: Digital piracy is threatening the global multimedia content industry and blindly applied coercive Digital Right Management (DRM) policies do nothing but legitimizing this piracy....

Luc Bouganim, Philippe Pucheral

claim paper

Read More »

click to vote

ECSQARU
2001
Springer

104views Automated Reasoning» more ECSQARU 2001»

Probabilistic Logic under Coherence, Model-Theoretic Probabilistic Logic, and Default Reasoning

14 years 3 days ago

Download www.kr.tuwien.ac.at

Veronica Biazzo, Angelo Gilio, Thomas Lukasiewicz,...

claim paper

Read More »

click to vote

CL
2000
Springer

85views Automated Reasoning» more CL 2000»

Partial Models of Extended Generalized Logic Programs

13 years 12 months ago

Download centria.di.fct.unl.pt

José Júlio Alferes, Heinrich Herre, ...

claim paper

Read More »

click to vote

LICS
1996
IEEE

96views Automated Reasoning» more LICS 1996»

Model-Checking of Correctness Conditions for Concurrent Objects

13 years 11 months ago

Download www.cadence.com

Rajeev Alur, Kenneth L. McMillan, Doron Peled

claim paper

Read More »

click to vote

GIS
1992
ACM

103views Automated Reasoning» more GIS 1992»

A Conceptual Model of Wayfinding Using Multiple Levels of Abstraction

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers