Search Sciweavers | Sciweavers

2314 search results - page 9 / 463

» What's in a model

click to vote

DATE
2006
IEEE

83views Hardware» more DATE 2006»

What lies between design intent coverage and model checking?

14 years 1 months ago

Download www.date-conference.com

Practitioners of formal property veriﬁcation often work around the capacity limitations of formal veriﬁcation tools by breaking down properties into smaller properties that ca...

Sayantan Das, Prasenjit Basu, Pallab Dasgupta, P. ...

claim paper

Read More »

click to vote

ICPADS
2005
IEEE

113views Distributed And Parallel Com...» more ICPADS 2005»

What are Cycle-Stealing Systems Good For? A Detailed Performance Model Case Study

14 years 1 months ago

Download eprints.qut.edu.au

Wayne Kelly, Jiro Sumitomo

claim paper

Read More »

click to vote

METRICS
2005
IEEE

135views Software Engineering» more METRICS 2005»

What Should You Optimize When Building an Estimation Model?

14 years 1 months ago

Download se.naist.jp

Chris Lokan

claim paper

Read More »

click to vote

ASP
2003
Springer

134views Automated Reasoning» more ASP 2003»

What's in a model? Epistemological analysis of Logic Programming

14 years 22 days ago

Download dtai.cs.kuleuven.be

It is commonly believed that the meaning of a formal declarative knowledge representation language is determined by its formal semantics. This is not quite so. This paper shows an...

Marc Denecker

claim paper

Read More »

click to vote

HICSS
2009
IEEE

107views Biometrics» more HICSS 2009»

Implementing Geographic Information Systems (GIS) in Spreadsheet Models: What, Why, and How

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers