Search Sciweavers | Sciweavers

29172 search results - page 408 / 5835

» Modeling Systems in CLP

136

click to vote

ICCSA
2003
Springer

88views Applied Computing» more ICCSA 2003»

An Example of an Automatic Differentiation-Based Modelling System

16 years 24 days ago

Download www.fastopt.com

Thomas Kaminski, Ralf Giering, Marko Scholze, Pete...

claim paper

Read More »

132

click to vote

APSEC
2002
IEEE

92views Software Engineering» more APSEC 2002»

Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems

16 years 17 days ago

Download www.win.tue.nl

Natalia Ioustinova, Natalia Sidorova, Martin Steff...

claim paper

Read More »

158

click to vote

CLUSTER
2002
IEEE

133views Distributed And Parallel Com...» more CLUSTER 2002»

Adaptive Message Management Using Hybrid Channel Model in Parallel File System

16 years 17 days ago

Download www.cis.shimane-u.ac.jp

Joon-Hyung Hwangbo, Sang-Ki Lee, Yoon-Young Lee, D...

claim paper

Read More »

157

click to vote

CW
2002
IEEE

122views Distributed And Parallel Com...» more CW 2002»

An E-shopping System with Different Negotiation Models

16 years 17 days ago

Download rhlab.cis.k.hosei.ac.jp

Hiroshi Ouchiyama, Takeshi Yamazaki, Runhe Huang

claim paper

Read More »

132

click to vote

DEXAW
2002
IEEE

80views Database» more DEXAW 2002»

A Modeling Approach for Product Classification Systems

16 years 17 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers