2678 search results - page 486 / 536 » Operational Semantics of Transactions |
119
click to vote
CORR
2006
Springer
15 years 1 months ago
2006
Springer
In this paper, we present our proposal to Constraint Functional Logic Programming over Finite Domains (CFLP(FD) ) with a lazy functional logic programming language which seamlessl...
113
click to vote
IANDC
2006
15 years 1 months ago
2006
We propose a modular approach to defining notions of simulation, and modal logics which characterise them. We use coalgebras to model state-based systems, relators to define notio...
129
click to vote
ITSSA
2006
15 years 1 months ago
2006
: This article proposes a new method for creating test software for object-oriented systems using a genetic programming approach. It is believed that this approach is advantageous ...
118
click to vote
DKE
2007
15 years 1 months ago
2007
Ontology is playing an increasingly important role in knowledge management and the Semantic Web. This study presents a novel episode-based ontology construction mechanism to extra...
116
click to vote
KI
2006
Springer
15 years 1 months ago
2006
Springer
This document describes the `Geo-Temporal' specification language GeTS. The objects which can be described and manipulated with this language are time points, crisp and fuzzy...