1350 search results - page 78 / 270 » Reasoning about Staged Computation |
145
click to vote
DLOG
2009
15 years 3 months ago
2009
Abstract. In this paper, we describe an approach for ontology comprehension support called model exploration in which models for ontologies are generated and presented interactivel...
167
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent calculus...
170
click to vote
CSE
2009
IEEE
15 years 3 months ago
2009
IEEE
Abstract--A widespread design approach in distributed applications based on the service-oriented paradigm, such as web-services, consists of clearly separating the enforcement of a...
139
click to vote
AINA
2009
IEEE
16 years 3 days ago
2009
IEEE
—This paper makes two contributions towards the logical modelling of inhibition in metabolic networks. First it exposes the logical inconsistency of an existing state-of-the-art ...
111
click to vote
BIRTHDAY
2000
Springer
15 years 9 months ago
2000
Springer
Various forms of assumption/commitment specifications have been used to specify and reason about the interference that comes from concurrent execution; in particular, consistent a...