Search Sciweavers | Sciweavers

7124 search results - page 55 / 1425

» Programming Languages and Operating Systems

164

click to vote

AGP
1995
IEEE

128views Artificial Intelligence» more AGP 1995»

Constraint Systems for Pattern Analysis of Constraint Logic-Based Languages

15 years 9 months ago

Download www.cs.unipr.it

Pattern analysis consists in determining the shape of the set of solutions of the constraint store at some program points. Our basic claim is that pattern analyses can all be desc...

Roberto Bagnara

claim paper

Read More »

132

click to vote

SIGADA
2005
Springer

144views Programming Languages» more SIGADA 2005»

A comparison of CORBA and ada's distributed systems annex

15 years 11 months ago

Download www.sigada.org

Andrew Berns

claim paper

Read More »

109

click to vote

UM
2005
Springer

90views Programming Languages» more UM 2005»

Inhabited Models: Supporting Coherent Behavior in Online Systems

15 years 11 months ago

Download www.visi.com

Thomas Erickson

claim paper

Read More »

119

click to vote

UM
2005
Springer

143views Programming Languages» more UM 2005»

The Pursuit of Satisfaction: Affective State in Group Recommender Systems

15 years 11 months ago

Download www.csd.abdn.ac.uk

Judith Masthoff

claim paper

Read More »

151

click to vote

ERLANG
2004
ACM

99views Programming Languages» more ERLANG 2004»

Troubleshooting a large erlang system

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers