Control Systems | Sciweavers

23

IWSOS
2009
Springer

99views Control Systems» more IWSOS 2009»

Resolving the Noxious Effect of Churn on Internet Coordinate Systems

14 years 6 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 »

31

click to vote

FROCOS
2009
Springer

133views Control Systems» more FROCOS 2009»

Runtime Verification Using a Temporal Description Logic

14 years 6 months ago

Download disi.unitn.it

Franz Baader, Andreas Bauer 0002, Marcel Lippmann

claim paper

Read More »

33

click to vote

FROCOS
2009
Springer

134views Control Systems» more FROCOS 2009»

Improving Coq Propositional Reasoning Using a Lazy CNF Conversion Scheme

14 years 6 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 »

41

click to vote

FROCOS
2009
Springer

171views Control Systems» more FROCOS 2009»

Automating Theories in Intuitionistic Logic

14 years 6 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 »

36

click to vote

FROCOS
2009
Springer

92views Control Systems» more FROCOS 2009»

Combining Instance Generation and Resolution

14 years 6 months ago

Download disi.unitn.it

Christopher Lynch, Ralph Eric McGregor

claim paper