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
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
77016
search results - page 106 / 15404
»
Modeling
Sort
relevance
views
votes
recent
update
View
thumb
title
101
click to vote
GLVLSI
1999
IEEE
93
views
VLSI
»
more
GLVLSI 1999
»
The Development of Analog SPICE Behavioral Model Based on IBIS Model
15 years 7 months ago
Download
www.cs.york.ac.uk
Ying Wang, Han Ngee Tan
claim paper
Read More »
88
Voted
CAV
1999
Springer
85
views
Hardware
»
more
CAV 1999
»
Optimizing Symbolic Model Checking for Constraint-Rich Models
15 years 6 months ago
Download
www.cs.cmu.edu
Bwolen Yang, Reid G. Simmons, Randal E. Bryant, Da...
claim paper
Read More »
96
Voted
COOPIS
1998
IEEE
135
views
Information Technology
»
more
COOPIS 1998
»
Action Port Model: A Mixed Paradigm Conceptual Workflow Modeling Language
15 years 6 months ago
Download
www.idi.ntnu.no
S. Carlsen
claim paper
Read More »
118
Voted
EKAW
1997
Springer
134
views
Information Technology
»
more
EKAW 1997
»
An Enterprise reference Scheme for Integrating Model Based Knowledge Engineering and Enterprise Modelling
15 years 6 months ago
Download
kluedo.ub.uni-kl.de
Stefan Decker, Manfred Daniel, Michael Erdmann, Ru...
claim paper
Read More »
93
Voted
ER
1997
Springer
90
views
Database
»
more
ER 1997
»
Conceptual Modeling Challenges for Model-Based Architecting and Software Engineering (MBASE)
15 years 6 months ago
Download
sunset.usc.edu
Barry W. Boehm, Daniel Port
claim paper
Read More »
« Prev
« First
page 106 / 15404
Last »
Next »