Search Sciweavers | Sciweavers

2477 search results - page 15 / 496

» First-Order Interactive Programming

148

click to vote

TOOLS
1999
IEEE

69views Programming Languages» more TOOLS 1999»

Interaction Schemata: Compiling Interactions to Code

15 years 10 months ago

Download www.cs.virginia.edu

Programming object interactions is at the heart of object-oriented programming. To improve reusability of the interactions, it is important to program object interactions generica...

Neeraj Sangal, Edward Farrell, Karl J. Lieberherr,...

claim paper

Read More »

160

click to vote

ICALP
2009
Springer

90views Programming Languages» more ICALP 2009»

Multiple Random Walks and Interacting Particle Systems

15 years 10 months ago

Download www.dcs.kcl.ac.uk

Colin Cooper, Alan M. Frieze, Tomasz Radzik

claim paper

Read More »

106

Voted

ICALP
2001
Springer

94views Programming Languages» more ICALP 2001»

On Interactive Proofs with a Laconic Prover

15 years 10 months ago

Download dash.harvard.edu

Oded Goldreich, Salil P. Vadhan, Avi Wigderson

claim paper

Read More »

124

click to vote

CEFP
2007
Springer

114views Programming Languages» more CEFP 2007»

An Introduction to iTasks: Defining Interactive Work Flows for the Web

15 years 9 months ago

Download www.st.cs.ru.nl

Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopm...

claim paper

Read More »

111

Voted

IFIP
1991
Springer

117views Programming Languages» more IFIP 1991»

An Intelligent Integrated Interactive CAD-A Preliminary Report

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers