Search Sciweavers | Sciweavers

6608 search results - page 56 / 1322

» On the Completeness of Model Checking

click to vote

ICCAD
1994
IEEE

109views Hardware» more ICCAD 1994»

Unified complete MOSFET model for analysis of digital and analog circuits

15 years 10 months ago

Download www.cs.york.ac.uk

Michiko Miura-Mattausch, Ute Feldmann, Alexander R...

claim paper

Read More »

146

click to vote

CADE
2001
Springer

105views Logical Reasoning» more CADE 2001»

A Model-Based Completeness Proof of Extended Narrowing and Resolution

15 years 10 months ago

Download hal.archives-ouvertes.fr

Jürgen Stuber

claim paper

Read More »

119

click to vote

AAAI
2004

98views Intelligent Agents» more AAAI 2004»

Modeling Choices in Quasigroup Completion: SAT vs. CSP

15 years 7 months ago

Download www.aaai.org

Carlos Ansótegui, Alvaro del Val, Ivá...

claim paper

Read More »

104

click to vote

RBAC
1998

49views more RBAC 1998»

Towards a More Complete Model of Role

15 years 7 months ago

Download www.hpl.hp.com

Cheh Goh, Adrian Baldwin

claim paper

Read More »

click to vote

CORR
2010
Springer

50views Education» more CORR 2010»

A Complete and Terminating Execution Model for Constraint Handling Rules

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers