Sciweavers

15840 search results - page 234 / 3168

» The Control of Synchronous Systems

101

FROCOS
2009
Springer

134views Control Systems» more FROCOS 2009»

Argument Filterings and Usable Rules for Simply Typed Dependency Pairs

15 years 10 months ago

Argument Filterings and Usable Rules for Simply Typed Dependency Pairs

Download www.nue.riec.tohoku.ac.jp

d abstract) Takahito Aoto† Toshiyuki Yamada‡

Takahito Aoto, Toshiyuki Yamada

claim paper

Read More »

115

FROCOS
2009
Springer

92views Control Systems» more FROCOS 2009»

Combining Instance Generation and Resolution

15 years 10 months ago

Combining Instance Generation and Resolution

Download disi.unitn.it

Christopher Lynch, Ralph Eric McGregor

claim paper

Read More »

107

Voted

FROCOS
2009
Springer

133views Control Systems» more FROCOS 2009»

Runtime Verification Using a Temporal Description Logic

15 years 10 months ago

Runtime Verification Using a Temporal Description Logic

Download disi.unitn.it

Franz Baader, Andreas Bauer 0002, Marcel Lippmann

claim paper

Read More »

102

RP
2009
Springer

106views Control Systems» more RP 2009»

How to Tackle Integer Weighted Automata Positivity

15 years 10 months ago

How to Tackle Integer Weighted Automata Positivity

Download www.lsv.ens-cachan.fr

Yohan Boichut, Pierre-Cyrille Héam, Olga Ko...

claim paper

Read More »

98

Voted

SSS
2009
Springer

88views Control Systems» more SSS 2009»

Relocation Analysis of Stabilizing MAC

15 years 10 months ago

Relocation Analysis of Stabilizing MAC

Download www.cs.chalmers.se

Pierre Leone, Marina Papatriantafilou, Elad Michae...

claim paper

Read More »

« Prev « First page 234 / 3168 Last » Next »