Sciweavers

29172 search results - page 408 / 5835
» Modeling Systems in CLP
Sort
View
ICCSA
2003
Springer
16 years 2 days ago
An Example of an Automatic Differentiation-Based Modelling System
Thomas Kaminski, Ralf Giering, Marko Scholze, Pete...
APSEC
2002
IEEE
15 years 12 months ago
Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems
Natalia Ioustinova, Natalia Sidorova, Martin Steff...
139
Voted
CLUSTER
2002
IEEE
15 years 12 months ago
Adaptive Message Management Using Hybrid Channel Model in Parallel File System
Joon-Hyung Hwangbo, Sang-Ki Lee, Yoon-Young Lee, D...
145
Voted
CW
2002
IEEE
15 years 11 months ago
An E-shopping System with Different Negotiation Models
Hiroshi Ouchiyama, Takeshi Yamazaki, Runhe Huang
123
Voted
DEXAW
2002
IEEE
80views Database» more  DEXAW 2002»
15 years 11 months ago
A Modeling Approach for Product Classification Systems
Jörg Leukel, Volker Schmitz, Frank-Dieter Dor...