Sciweavers

39 search results - page 2 / 8
» csl 2009
Sort
View
82
Voted
CSL
2009
Springer
15 years 10 months ago
Functional Interpretations of Intuitionistic Linear Logic
Gilda Ferreira, Paulo Oliva
82
Voted
CSL
2009
Springer
15 years 10 months ago
Efficient Type-Checking for Amortised Heap-Space Analysis
Martin Hofmann, Dulma Rodriguez
93
Voted
CSL
2009
Springer
15 years 10 months ago
Cardinality Quantifiers in MLO over Trees
Vince Bárány, Lukasz Kaiser, Alexand...
RTAS
2009
IEEE
15 years 10 months ago
CSL: A Language to Specify and Re-specify Mobile Sensor Network Behaviors
—The Collaborative Sensing Language (CSL) is a high-level feedback control language for mobile sensor networks (MSN). It specifies MSN controllers to accomplish network objectiv...
Joshua Love, Jerry Jariyasunant, Eloi Pereira, Mar...