Search Sciweavers | Sciweavers

5525 search results - page 102 / 1105

» Verification of Model Transformations

187

click to vote

AGENTCL
2003
Springer

222views Intelligent Agents» more AGENTCL 2003»

Model Checking for ACL Compliance Verification

15 years 10 months ago

Download www.csc.liv.ac.uk

Marc-Philippe Huget, Michael Wooldridge

claim paper

Read More »

136

click to vote

ATS
2001
IEEE

74views Hardware» more ATS 2001»

An Improved AVPG Algorithm for SoC Design Verification Using Port Order Fault Model

15 years 10 months ago

Download nthucad.cs.nthu.edu.tw

Chun-Yao Wang, Shing-Wu Tung, Jing-Yang Jou

claim paper

Read More »

144

click to vote

IPPS
2000
IEEE

91views Distributed And Parallel Com...» more IPPS 2000»

Verification Methods for Weaker Shared Memory Consistency Models

15 years 10 months ago

Download ipdps.cc.gatech.edu

Rajnish Ghughal, Ganesh Gopalakrishnan

claim paper

Read More »

215

click to vote

EURODAC
1994
IEEE

148views VHDL» more EURODAC 1994»

System-Level Modeling and Verification: a Comprehensive Design Methodology

15 years 10 months ago

Download www.cad.polito.it

Paolo Camurati, Fulvio Corno, Paolo Prinetto, Cath...

claim paper

Read More »

138

click to vote

EUC
2008
Springer

231views Applied Computing» more EUC 2008»

Property Verification for Generic Access Control Models

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers