Sciweavers

39 search results - page 2 / 8

» csl 2009

10

CSL
2009
Springer

109views Automated Reasoning» more CSL 2009»

Functional Interpretations of Intuitionistic Linear Logic

13 years 11 months ago

Functional Interpretations of Intuitionistic Linear Logic

Download www.eecs.qmul.ac.uk

Gilda Ferreira, Paulo Oliva

claim paper

Read More »

10

CSL
2009
Springer

104views Automated Reasoning» more CSL 2009»

Efficient Type-Checking for Amortised Heap-Space Analysis

13 years 11 months ago

Efficient Type-Checking for Amortised Heap-Space Analysis

Download www.lama.univ-savoie.fr

Martin Hofmann, Dulma Rodriguez

claim paper

Read More »

8

CSL
2009
Springer

107views Automated Reasoning» more CSL 2009»

Cardinality Quantifiers in MLO over Trees

13 years 11 months ago

Cardinality Quantifiers in MLO over Trees

Download www-mgi.informatik.rwth-aachen.de

Vince Bárány, Lukasz Kaiser, Alexand...

claim paper

Read More »

10

CMSB
2009
Springer

114views Applied Computing» more CMSB 2009»

CSL Model Checking of Biochemical Networks with Interval Decision Diagrams

13 years 11 months ago

CSL Model Checking of Biochemical Networks with Interval Decision Diagrams

Download www-dssz.informatik.tu-cottbus.de

Martin Schwarick, Monika Heiner

claim paper

Read More »

12

RTAS
2009
IEEE

102views Embedded Systems» more RTAS 2009»

CSL: A Language to Specify and Re-specify Mobile Sensor Network Behaviors

13 years 11 months ago

CSL: A Language to Specify and Re-specify Mobile Sensor Network Behaviors

Download www.cs.uni-salzburg.at

—The Collaborative Sensing Language (CSL) is a high-level feedback control language for mobile sensor networks (MSN). It speciﬁes MSN controllers to accomplish network objectiv...

Joshua Love, Jerry Jariyasunant, Eloi Pereira, Mar...

claim paper

Read More »

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