Sciweavers

3581 search results - page 2 / 717

» The Inframetric Model for the Internet

64

ESWS
2007
Springer

116views Internet Technology» more ESWS 2007»

Logic as a Power Tool to Model Negotiation Mechanisms in the Semantic Web Era

14 years 11 months ago

Logic as a Power Tool to Model Negotiation Mechanisms in the Semantic Web Era

Download sisinflab.poliba.it

Azzurra Ragone

claim paper

Read More »

63

ESWS
2008
Springer

107views Internet Technology» more ESWS 2008»

Finite Model Reasoning in DL-Lite

14 years 11 months ago

Finite Model Reasoning in DL-Lite

Download www.eswc2008.org

Riccardo Rosati

claim paper

Read More »

56

EPEW
2010
Springer

172views Internet Technology» more EPEW 2010»

Compositional Abstraction of PEPA Models for Transient Analysis

14 years 10 months ago

Compositional Abstraction of PEPA Models for Transient Analysis

Download lanther.co.uk

Michael J. A. Smith

claim paper

Read More »

73

WWW
2010
ACM

185views Internet Technology» more WWW 2010»

AdHeat: an influence-based diffusion model for propagating hints to match ads

14 years 9 months ago

AdHeat: an influence-based diffusion model for propagating hints to match ads

Download static.googleusercontent.com

Hongji Bao, Edward Y. Chang

claim paper

Read More »

60

DC
1998

77views Internet Technology» more DC 1998»

Model Checking for a Probabilistic Branching Time Logic with Fairness

14 years 9 months ago

Model Checking for a Probabilistic Branching Time Logic with Fairness

Download www.uni-koblenz.de

Christel Baier, Marta Z. Kwiatkowska

claim paper

Read More »

« Prev « First page 2 / 717 Last » Next »