Sciweavers

3166 search results - page 418 / 634
» Translation By Structural Correspondences
Sort
View
ENTCS
2008
96views more  ENTCS 2008»
15 years 6 months ago
Undecidability of Model Checking in Brane Logic
The Brane Calculus is a calculus intended to model the structure and the dynamics of biological membranes. In order to express properties of systems in this calculus, in previous ...
Giorgio Bacci, Marino Miculan
HEURISTICS
2008
153views more  HEURISTICS 2008»
15 years 6 months ago
Bringing order into the neighborhoods: relaxation guided variable neighborhood search
In this article we investigate a new variant of Variable Neighborhood Search (VNS): Relaxation Guided Variable Neighborhood Search. It is based on the general VNS scheme and a new...
Jakob Puchinger, Günther R. Raidl
DSS
2006
93views more  DSS 2006»
15 years 6 months ago
Merging workflows: A new perspective on connecting business processes
This paper describes the concept of workflow merge and methods for merging business processes. We grouped merges in four categories according to the type of merge: sequential, par...
Shuang Sun, Akhil Kumar, John Yen
IANDC
2006
82views more  IANDC 2006»
15 years 6 months ago
Recognizability, hypergraph operations, and logical types
We study several algebras of graphs and hypergraphs and the corresponding notions of equational sets and recognizable sets. We generalize and unify several existing results which ...
Achim Blumensath, Bruno Courcelle
IS
2008
15 years 6 months ago
From conceptual models to schemata: An object-process-based data warehouse construction method
Data warehouse modeling is a complex task, which involves knowledge of business processes of the domain of discourse, understanding the structural and behavioral system's con...
Dov Dori, Roman Feldman, Arnon Sturm