Sciweavers

30267 search results - page 444 / 6054

» Process Modelling Languages

140

SIGADA
1994
Springer

99views Programming Languages» more SIGADA 1994»

Structural Model: Architecture for Software Designers

15 years 11 months ago

Structural Model: Architecture for Software Designers

Download www.crispen.org

Robert G. Crispen, Lynn D. Stuckey Jr.

claim paper

Read More »

153

POPL
1992
ACM

93views Programming Languages» more POPL 1992»

Model Checking and Abstraction

15 years 11 months ago

Model Checking and Abstraction

Download www.cs.cmu.edu

Edmund M. Clarke, Orna Grumberg, David E. Long

claim paper

Read More »

171

ESOP
2008
Springer

120views Programming Languages» more ESOP 2008»

The Conversation Calculus: A Model of Service-Oriented Computation

15 years 9 months ago

The Conversation Calculus: A Model of Service-Oriented Computation

Download ctp.di.fct.unl.pt

Hugo Torres Vieira, Luís Caires, Joã...

claim paper

Read More »

163

TON
2012

195views Programming Languages» more TON 2012»

Caching for BitTorrent-Like P2P Systems: A Simple Fluid Model and Its Implications

13 years 10 months ago

Caching for BitTorrent-Like P2P Systems: A Simple Fluid Model and Its Implications

Download www3.informatik.uni-wuerzburg.de

Frank Lehrieder, György Dán, Tobias Ho...

claim paper

Read More »

203

IR
2006

130views Natural Language Processing» more IR 2006»

A study of mixture models for collaborative filtering

15 years 7 months ago

A study of mixture models for collaborative filtering

Download www.cs.cmu.edu

Collaborative filtering is a general technique for exploiting the preference patterns of a group of users to predict the utility of items for a particular user. Three different co...

Rong Jin, Luo Si, Chengxiang Zhai

claim paper

Read More »

« Prev « First page 444 / 6054 Last » Next »