Sciweavers

736 search results - page 5 / 148

» A Science of Reasoning (Extended Abstract)

16

ICALP
2004
Springer

99views Programming Languages» more ICALP 2004»

Deterministic M2M Multicast in Radio Networks: (Extended Abstract)

14 years 27 days ago

Deterministic M2M Multicast in Radio Networks: (Extended Abstract)

Download people.scs.carleton.ca

Leszek Gasieniec, Evangelos Kranakis, Andrzej Pelc...

claim paper

Read More »

15

DLOG
2010

118views Automated Reasoning» more DLOG 2010»

Supporting the Development of Data Wrapping Ontologies (Extended Abstract)

13 years 5 months ago

Supporting the Development of Data Wrapping Ontologies (Extended Abstract)

Download www.inf.unibz.it

es (Extended Abstract) Lina Lubyte and Sergio Tessaris KRDB Research Centre, Free University of Bozen-Bolzano

Lina Lubyte, Sergio Tessaris

claim paper

Read More »

25

LICS
1997
IEEE

77views Automated Reasoning» more LICS 1997»

Full Abstraction for Functional Languages with Control

13 years 11 months ago

Full Abstraction for Functional Languages with Control

Download www.cs.bath.ac.uk

traction for Functional Languages with Control James Laird LFCS, Department of Computer Science University of Edinburgh This paper considers the consequences of relaxing the brack...

James Laird

claim paper

Read More »

18

LICS
2008
IEEE

77views Automated Reasoning» more LICS 2008»

Parameterization as Abstraction: A Tractable Approach to the Dataflow Analysis of Concurrent Programs

14 years 1 months ago

Parameterization as Abstraction: A Tractable Approach to the Dataflow Analysis of Concurrent Programs

Download userweb.cs.utexas.edu

Vineet Kahlon

claim paper

Read More »

21

LICS
2007
IEEE

102views Automated Reasoning» more LICS 2007»

Full abstraction for nominal general references

14 years 1 months ago

Full abstraction for nominal general references

Download web.comlab.ox.ac.uk

Nikos Tzevelekos

claim paper

Read More »

« Prev « First page 5 / 148 Last » Next »