Search Sciweavers | Sciweavers

1724 search results - page 30 / 345

» Models for Concurrency

121

click to vote

CONSTRAINTS
2008

114views more CONSTRAINTS 2008»

Modeling Biological Systems in Stochastic Concurrent Constraint Programming

15 years 3 months ago

Download www.dmi.units.it

Luca Bortolussi, Alberto Policriti

claim paper

Read More »

Voted

SIGPLAN
2008

97views System Software» more SIGPLAN 2008»

Use concurrent programming models to motivate teaching of programming languages

15 years 3 months ago

Download www.eecs.ucf.edu

Gary T. Leavens

claim paper

Read More »

click to vote

TOPLAS
2008

77views more TOPLAS 2008»

A programming model for concurrent object-oriented programs

15 years 3 months ago

Download lirias.kuleuven.be

Bart Jacobs 0002, Frank Piessens, Jan Smans, K. Ru...

claim paper

Read More »

103

click to vote

AICOM
2004

70views more AICOM 2004»

Model checking for the concurrent constraint paradigm

15 years 3 months ago

Download www.dimi.uniud.it

Alicia Villanueva

claim paper

Read More »

101

click to vote

TCC
2010
Springer

119views Cryptology» more TCC 2010»

Eye for an Eye: Efficient Concurrent Zero-Knowledge in the Timing Model

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers