Control Systems | Sciweavers

10

IWSOS
2009
Springer

99views Control Systems» more IWSOS 2009»

Resolving the Noxious Effect of Churn on Internet Coordinate Systems

13 years 11 months ago

Internet Coordinate Systems (ICS) provide easy and practical latency predictions in the Internet. However, peer dynamics (i.e, churn), which is an inherent property of peer-to-peer...

Bamba Gueye, Guy Leduc

claim paper

Read More »

10

click to vote

FROCOS
2009
Springer

133views Control Systems» more FROCOS 2009»

Runtime Verification Using a Temporal Description Logic

13 years 11 months ago

Download disi.unitn.it

Franz Baader, Andreas Bauer 0002, Marcel Lippmann

claim paper

Read More »

11

click to vote

FROCOS
2009
Springer

134views Control Systems» more FROCOS 2009»

Improving Coq Propositional Reasoning Using a Lazy CNF Conversion Scheme

13 years 11 months ago

Download www.lri.fr

In an attempt to improve automation capabilities in the Coq proof assistant, we develop a tactic for the propositional fragment based on the DPLL procedure. Although formulas natur...

Stéphane Lescuyer, Sylvain Conchon

claim paper

Read More »

20

click to vote

FROCOS
2009
Springer

171views Control Systems» more FROCOS 2009»

Automating Theories in Intuitionistic Logic

13 years 11 months ago

Download www.loria.fr

Deduction modulo consists in applying the inference rules of a deductive system modulo a rewrite system over terms and formulæ. This is equivalent to proving within a so-called co...

Guillaume Burel

claim paper

Read More »

11

click to vote

FROCOS
2009
Springer

92views Control Systems» more FROCOS 2009»

Combining Instance Generation and Resolution

13 years 11 months ago

Download disi.unitn.it

Christopher Lynch, Ralph Eric McGregor

claim paper