Search results for "Software"

showing 10 items of 7396 documents

ENFORCEMENT OF INTER-TASK DEPENDENCIES IN WORKFLOWS, CHARACTERIZATION AND PARADIGM

1998

Workflow techniques have gained a lot of attention as a means to support advanced business applications such as cooperative information systems and process re-engineering but also as a means to integrate legacy systems. Inter-task dependencies, described separately from the other parts of the workflow, have been recognized as a valuable method in describing certain restrictions on the executions of workflows. In this paper, we study the issue of pre-analysing and enforcing inter-task dependencies. The protocol and the theory behind it are presented, along with examples and discussions on ways to improve the performance. The idea is to present the meaning of a dependency through an automato…

Theoretical computer scienceCorrectnessDependency (UML)Event (computing)Computer scienceProgramming languageLegacy systemcomputer.software_genreComputer Science ApplicationsAutomatonTask (project management)Dependency theory (database theory)WorkflowcomputerInformation SystemsInternational Journal of Cooperative Information Systems
researchProduct

Fragtique: Applying an OO Database Distribution Strategy to Data Warehouse

2001

We propose a strategy for distribution of a relational data warehouse organized according to a star schema. We adapt fragmentation and allocation strategies that were developed for OO databases. We split the most-often-accessed dimension table into fragments by using primary horizontal fragmentation. The derived fragmentation then divides the fact table into fragments. Other dimension tables are not fragmented since they are presumed to be sufficiently small. Allocation of fragments encompasses duplication of non-fragmented dimension tables that we call a closure.

Theoretical computer scienceDatabaseComputer scienceRelational databaseFragmentation (computing)Dimension tableA* search algorithmFact tablecomputer.software_genreData warehouselaw.inventionData cubelawSchema (psychology)Data miningcomputer
researchProduct

Invisible Graffiti on Your Buildings: Blind and Squaring-Proof Watermarking of Geographical Databases

2007

Due to the ease of digital copy, watermarking is crucial to protect the intellectual property of rights owners. We propose an effective watermarking method for vectorial geographical databases, with the focus on the buildings layer. Embedded watermarks survive common geographical filters, including the essential squaring and simplification transformations, as well as deliberate removal attempts, e.g. by noise addition, cropping or over-watermarking. Robustness against the squaring transformation is not adressed by existing approaches. The impact on the quality of the datasets, defined as a composition of point accuracy and angular quality, is assessed through an extensive series of experime…

Theoretical computer scienceDatabaseOrientation (computer vision)CentroidComputingMilieux_LEGALASPECTSOFCOMPUTINGcomputer.software_genreTransformation (function)Robustness (computer science)Noise (video)Focus (optics)Quantization (image processing)computerDigital watermarkingMathematics
researchProduct

Random Tanglegram Partitions (Random TaPas): An Alexandrian Approach to the Cophylogenetic Gordian Knot

2018

Abstract Symbiosis is a key driver of evolutionary novelty and ecological diversity, but our understanding of how macroevolutionary processes originate extant symbiotic associations is still very incomplete. Cophylogenetic tools are used to assess the congruence between the phylogenies of two groups of organisms related by extant associations. If phylogenetic congruence is higher than expected by chance, we conclude that there is cophylogenetic signal in the system under study. However, how to quantify cophylogenetic signal is still an open issue. We present a novel approach, Random Tanglegram Partitions (Random TaPas) that applies a given global-fit method to random partial tanglegrams of …

Theoretical computer scienceDegree (graph theory)Phylogenetic treeComputer scienceContext (language use)Recursive partitioningVariation (game tree)BiologyClassificationModels BiologicalKnot (unit)CospeciationCongruence (geometry)Extant taxonPhylogeneticsGeneticsAnimalsComputer SimulationSymbiosisPhylogenySoftwareEcology Evolution Behavior and SystematicsCoevolutionSystematic Biology
researchProduct

A Logical Key Hierarchy Based approach to preserve content privacy in Decentralized Online Social Networks

2020

Distributed Online Social Networks (DOSNs) have been proposed to shift the control over user data from a unique entity, the online social network provider, to the users of the DOSN themselves. In this paper we focus on the problem of preserving the privacy of the contents shared to large groups of users. In general, content privacy is enforced by encrypting the content, having only authorized parties being able to decrypt it. When efficiency has to be taken into account, new solutions have to be devised that: i) minimize the re-encryption of the contents published in a group when the composition of the group changes; and, ii) enable a fast distribution of the cryptographic keys to all the m…

Theoretical computer scienceFacebookComputer scienceInformation privacyCyber SecurityGroup communicationJoinsEncryptionEncryptioncomputer.software_genreKey managementSet (abstract data type)Peer-to-peer computingElectrical and Electronic EngineeringFocus (computing)VegetationSocial networkSettore INF/01 - Informaticabusiness.industryGroup (mathematics)Composition (combinatorics)Decentralized Online Social NetworksDecentralized Online Social Networks; Encryption; Facebook; Group communication; Information privacy; Key management; Peer-to-peer computing; Privacy; Vegetation; Electrical and Electronic EngineeringPrivacyContent (measure theory)Decentralized online social networkData miningbusinesscomputerData privacy
researchProduct

Tabu search for the dynamic Bipartite Drawing Problem

2018

Abstract Drawings of graphs have many applications and they are nowadays well-established tools in computer science in general, and optimization in particular. Project scheduling is one of the many areas in which representation of graphs constitutes an important instrument. The experience shows that the main quality desired for drawings of graphs is readability, and crossing reduction is a fundamental aesthetic criterion to achieve it. Incremental or dynamic graph drawing is an emerging topic in this context, where we seek to preserve the layout of a graph over successive drawings. In this paper, we target the edge crossing reduction in the context of incremental graph drawing. Specifically…

Theoretical computer scienceGeneral Computer ScienceComputer sciencebusiness.industryHeuristic020207 software engineering02 engineering and technologyManagement Science and Operations ResearchMachine learningcomputer.software_genreGraphTabu searchGraph drawingModeling and SimulationClique-width0202 electrical engineering electronic engineering information engineeringBipartite graph020201 artificial intelligence & image processingForce-directed graph drawingArtificial intelligencebusinesscomputerGraph productComputers & Operations Research
researchProduct

Dirac physical measures for generic diffeomorphisms

2016

We prove that, for a $C^1$ generic diffeomorphism, the only Dirac physical measures with dense statistical basin are those supported on sinks.

Theoretical computer scienceGeneral Mathematics[ MATH.MATH-DS ] Mathematics [math]/Dynamical Systems [math.DS]010102 general mathematicsDirac (software)[MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS]Generic diffeomorphismsMSC: 37C05 37C20 37D30Dynamical Systems (math.DS)01 natural sciencesComputer Science ApplicationsPhysical measures0103 physical sciencesFOS: Mathematics010307 mathematical physicsDiffeomorphismMathematics - Dynamical Systems0101 mathematicsPhysics::Atmospheric and Oceanic PhysicsMathematicsMathematical physics
researchProduct

Building Construction Sets by Tiling Grammar Simplification

2016

This paper poses the problem of fabricating physical construction sets from example geometry: A construction set provides a small number of different types of building blocks from which the example model as well as many similar variants can be reassembled. This process is formalized by tiling grammars. Our core contribution is an approach for simplifying tiling grammars such that we obtain physically manufacturable building blocks of controllable granularity while retaining variability, i.e., the ability to construct many different, related shapes. Simplification is performed by sequences of two types of elementary operations: non-local joint edge collapses in the tile graphs reduce the gra…

Theoretical computer scienceGrammarComputer sciencemedia_common.quotation_subject010102 general mathematics020207 software engineering02 engineering and technology01 natural sciencesComputer Graphics and Computer-Aided DesignGraphRule-based machine translation0202 electrical engineering electronic engineering information engineering0101 mathematicsAlgorithmBuilding constructionmedia_commonComputer Graphics Forum
researchProduct

Approximate Matching over Biological RDF Graphs

2012

In the last few years, the amount of biological interaction data discovered and stored in public databases (e.g., KEGG [2]) considerably increased. To this aim, RDF is a powerful representation for interactions (or pathways), since they can be modeled as directed graphs, often referred to as biological networks, where nodes represent cellular components and the (labeled or unlabeled) edges correspond to interactions among components. Often for a given organism some components are known to be linked by well studied interactions. Such groups of components are called modules and they can be represented by sub-graphs in the corresponding biological network model. At today, one of the most impor…

Theoretical computer scienceGraph databaseComputer scienceSearch engine indexingcomputer.file_formatcomputer.software_genreGraphBioinformatics network analysisApproximate matchingIsomorphismRDFKEGGHeuristicscomputerBiological networkNetwork analysis
researchProduct

Code Interoperability and Standard Data Formats in Quantum Chemistry and Quantum Dynamics: The Q5/Q5cost Data Model

2014

Code interoperability and the search for domain-specific standard data formats represent critical issues in many areas of computational science. The advent of novel computing infrastructures such as computational grids and clouds make these issues even more urgent. The design and implementation of a common data format for quantum chemistry (QC) and quantum dynamics (QD) computer programs is discussed with reference to the research performed in the course of two Collaboration in Science and Technology Actions. The specific data models adopted, Q5Cost and D5Cost, are shown to work for a number of interoperating codes, regardless of the type and amount of information (small or large datasets) …

Theoretical computer scienceGrid ComputingComputer scienceDistributed computingInteroperability010402 general chemistrycomputer.software_genre01 natural sciencesData typegrid computingData modelingquantum chemistryquantum dynamicQuantum DynamicsCode interoperability0103 physical sciencesprogram interoperabilityCommon Data FormatComputingMilieux_MISCELLANEOUSdata format010304 chemical physicsChemistry (all)General ChemistryQuantum ChemistryGridData Format0104 chemical sciences[CHIM.THEO]Chemical Sciences/Theoretical and/or physical chemistryComputational MathematicsGrid computingData modelProof of conceptcomputerCode interoperability; Quantum Chemistry; Quantum Dynamics; Data Format; Grid ComputingJ. Comput. Chem.
researchProduct