1536 search results - page 225 / 308 » The Underlying Logic of Hoare Logic |
183
click to vote
CATA
2003
15 years 7 months ago
2003
This paper presents a basic framework for applying static task scheduling techniques to arbitrarily-structured task systems whose targeted execution environment is comprised of fi...
160
click to vote
DLOG
2003
15 years 7 months ago
2003
Matching problems in Description Logics are theoretically well understood, with a variety of algorithms available for different DLs. Nevertheless, still no implementation of a ge...
170
click to vote
DLOG
2003
15 years 7 months ago
2003
The Wine Agent is a demonstration system that uses an underlying domain ontology to provide suitable wines for a given meal. In doing so it serves as a testbed, not only for the l...
184
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Biomedical research is set to greatly benefit from the use of semantic web technologies in the design of computational infrastructure. However, beyond well defined res...
163
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Orc is a theory of orchestration of services that allows structured programming of distributed and timed computations. Several formal semantics have been proposed for Orc...