17 search results - page 4 / 4 » Abstracting the Differential Semantics of Rule-Based Models:... |
HPDC
2008
IEEE
13 years 11 months ago
2008
IEEE
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...
TPHOL
2009
IEEE
13 years 11 months ago
2009
IEEE
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,...