Sciweavers

16541 search results - page 193 / 3309

» Ontologies and Software Engineering

97

Voted

FASE
2001
Springer

85views Software Engineering» more FASE 2001»

Physical Programming: Beyond Mere Logic

15 years 9 months ago

Physical Programming: Beyond Mere Logic

Download www-emsoft02.imag.fr

Bran Selic

claim paper

Read More »

122

Voted

FOSSACS
2001
Springer

101views Software Engineering» more FOSSACS 2001»

Axioms for Recursion in Call-by-Value

15 years 9 months ago

Axioms for Recursion in Call-by-Value

Download www.kurims.kyoto-u.ac.jp

Masahito Hasegawa, Yoshihiko Kakutani

claim paper

Read More »

132

Voted

FOSSACS
2001
Springer

92views Software Engineering» more FOSSACS 2001»

Temporary Data in Shared Dataspace Coordination Languages

15 years 9 months ago

Temporary Data in Shared Dataspace Coordination Languages

Download research.microsoft.com

Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro

claim paper

Read More »

110

Voted

FSTTCS
2001
Springer

102views Software Engineering» more FSTTCS 2001»

Hard Sets and Pseudo-random Generators for Constant Depth Circuits

15 years 9 months ago

Hard Sets and Pseudo-random Generators for Constant Depth Circuits

Download www.cse.iitk.ac.in

Manindra Agrawal

claim paper

Read More »

128

FSTTCS
2001
Springer

96views Software Engineering» more FSTTCS 2001»

An Introduction to Decidability of DPDA Equivalence

15 years 9 months ago

An Introduction to Decidability of DPDA Equivalence

Download homepages.inf.ed.ac.uk

Colin Stirling

claim paper

Read More »

« Prev « First page 193 / 3309 Last » Next »