Sciweavers

17 search results - page 4 / 4
» Abstracting the Differential Semantics of Rule-Based Models:...
Sort
View
HPDC
2008
IEEE
13 years 12 months ago
Ontological framework for a free-form query based grid search engine
If the model of free-form queries, which has proved successful for HTML based search on the Web, is made available for Grid services, it will serve as a powerful tool for scientis...
Chaitali Gupta, Rajdeep Bhowmik, Madhusudhan Govin...
TPHOL
2009
IEEE
14 years 3 days ago
A Formalisation of Smallfoot in HOL
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
Thomas Tuerk