736 search results - page 60 / 148 » Moving Specification Structures Between Logical Systems |
POPL
2012
ACM
13 years 5 months ago
2012
ACM
We present an analysis which takes as its input a sequential program, augmented with annotations indicating potential parallelization opportunities, and a sequential proof, writte...
104
click to vote
HT
2004
ACM
15 years 3 months ago
2004
ACM
In this paper, we present a model-driven methodology and toolset for automatic generation of hypertext system repositories. Our code generator, called Bamboo, is based on a Contai...
DLOG
2011
14 years 1 months ago
2011
The detection of changes between OWL ontologies is an important service for ontology engineering. There are several approaches to this problem, both syntactic and semantic. A purel...
FMSD
2006
14 years 9 months ago
2006
A Promela specification and a set of temporal properties are developed for a basic call service with a number of features. The properties are expressed in the logic LTL. Interactio...
ICPR
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper introduces a family of ¢ ¢ tensors, referred to as “join tensors” or Jtensors for short, which perform “3D to 3D” alignment between coordinate systems of sets...