Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
29172
search results - page 408 / 5835
»
Modeling Systems in CLP
Sort
relevance
views
votes
recent
update
View
thumb
title
121
click to vote
ICCSA
2003
Springer
88
views
Applied Computing
»
more
ICCSA 2003
»
An Example of an Automatic Differentiation-Based Modelling System
16 years 2 days ago
Download
www.fastopt.com
Thomas Kaminski, Ralf Giering, Marko Scholze, Pete...
claim paper
Read More »
113
click to vote
APSEC
2002
IEEE
92
views
Software Engineering
»
more
APSEC 2002
»
Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems
15 years 12 months ago
Download
www.win.tue.nl
Natalia Ioustinova, Natalia Sidorova, Martin Steff...
claim paper
Read More »
139
Voted
CLUSTER
2002
IEEE
133
views
Distributed And Parallel Com...
»
more
CLUSTER 2002
»
Adaptive Message Management Using Hybrid Channel Model in Parallel File System
15 years 12 months ago
Download
www.cis.shimane-u.ac.jp
Joon-Hyung Hwangbo, Sang-Ki Lee, Yoon-Young Lee, D...
claim paper
Read More »
145
Voted
CW
2002
IEEE
122
views
Distributed And Parallel Com...
»
more
CW 2002
»
An E-shopping System with Different Negotiation Models
15 years 11 months ago
Download
rhlab.cis.k.hosei.ac.jp
Hiroshi Ouchiyama, Takeshi Yamazaki, Runhe Huang
claim paper
Read More »
123
Voted
DEXAW
2002
IEEE
80
views
Database
»
more
DEXAW 2002
»
A Modeling Approach for Product Classification Systems
15 years 11 months ago
Download
xml.coverpages.org
Jörg Leukel, Volker Schmitz, Frank-Dieter Dor...
claim paper
Read More »
« Prev
« First
page 408 / 5835
Last »
Next »