Search Sciweavers | Sciweavers

3914 search results - page 68 / 783

» Automating SLA modeling

124

click to vote

DLOG
2007

90views Automated Reasoning» more DLOG 2007»

The Minimal Finite Model Visualization as an Ontology Debugging Tool

15 years 9 months ago

Download ftp.informatik.rwth-aachen.de

We present an new Prot´eg´e plugin for constructing a minimal satisﬁability model of an OWL ontology and visualizing it in the original music score notation.

Martins Barinskis, Guntis Barzdins

claim paper

Read More »

151

click to vote

GIS
2008
ACM

123views Automated Reasoning» more GIS 2008»

An initial formal model for spatial data infrastructures

15 years 6 months ago

Download www.csdila.unimelb.edu.au

Jan Hjelmager, Harold Moellering, Antony Cooper, T...

claim paper

Read More »

155

click to vote

ISSTA
2006
ACM

158views Software Engineering» more ISSTA 2006»

Application of automated environment generation to commercial software

16 years 18 days ago

Download www.flacp.fujitsulabs.com

Model checking can be an eﬀective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...

Oksana Tkachuk, Sreeranga P. Rajan

claim paper

Read More »

143

click to vote

DAC
1998
ACM

103views Computer Architecture» more DAC 1998»

Incremental CTL Model Checking Using BDD Subsetting

16 years 7 months ago