Search Sciweavers | Sciweavers

29172 search results - page 424 / 5835

» Modeling Systems in CLP

181

click to vote

HICSS
1998
IEEE

109views Biometrics» more HICSS 1998»

Modeling Supply-Chain Networks by A Multi-Agent System

15 years 11 months ago

Download thesis.lib.ncu.edu.tw

Fu-ren Lin, Gek Woo Tan, Michael J. Shaw

claim paper

Read More »

181

click to vote

TACAS
2000
Springer

96views Algorithms» more TACAS 2000»

On Memory-Block Traversal Problems in Model-Checking Timed-Systems

15 years 11 months ago

Download www.brics.dk

Fredrik Larsson, Paul Pettersson, Wang Yi

claim paper

Read More »

206

click to vote

CONCUR
1995
Springer

140views Distributed And Parallel Com...» more CONCUR 1995»

Compositional Model Checking of Real Time Systems

15 years 11 months ago

Download www.brics.dk

François Laroussinie, Kim Guldstrand Larsen

claim paper

Read More »

133

click to vote

VLDB
2000
ACM

69views Database» more VLDB 2000»

Model-Based Information Integration in a Neuroscience Mediator System

15 years 11 months ago

Download www.vldb.org

Bertram Ludäscher, Amarnath Gupta, Maryann E....

claim paper

Read More »

256

click to vote

EURODAC
1994
IEEE

148views VHDL» more EURODAC 1994»

System-Level Modeling and Verification: a Comprehensive Design Methodology

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers