511,372 Hits in 2.6 sec

Ontology-Based Integration for Relational Data [chapter]

Dejing Dou, Paea LePendu
2005 Lecture Notes in Computer Science  
Current research and practical application calls for more formal approaches in managing semantic heterogeneity [3] .  ...  However, existing works make strong assumptions about mapping representations but are weak on formal semantics and reasoning.  ...  Throughout, we refer to the term ontology as the formal specifications of the vocabularies of concepts and the relationships among them.  ... 
doi:10.1007/11575863_17 fatcat:xqrcjeuyqbhdvcovcvciaideuu

Compositional Verification of Architectural Models [chapter]

Darren Cofer, Andrew Gacek, Steven Miller, Michael W. Whalen, Brian LaValley, Lui Sha
2012 Lecture Notes in Computer Science  
being adopted by many organizations for system design -But has no formal semantics -No common textual representation across tools • New analysis plug-in (AGREE) -Automatic translation of model structure  ...  and apply formal methods to the system design process • Issues -Modeling language and tools -Different models of computation -Scalability 6 SCADE Lustre Safe State Machines Simulink  ... 
doi:10.1007/978-3-642-28891-3_13 fatcat:zceb7xmcvfcofmns7rfpjln2wy

Page 4267 of Mathematical Reviews Vol. , Issue 83j [page]

1983 Mathematical Reviews  
Authors’ summary: “Fault tolerance is expected to become the major concern for complex systems consisting of many computing or processing units.  ...  That logic formalizes algorithmic properties of a class of deterministic programs, called interacting stacks-programs herein.  ... 

Page 3787 of Mathematical Reviews Vol. , Issue 88g [page]

1988 Mathematical Reviews  
Summary: “A formal language description of one-dimensional cel- lular automata limit sets is given, and a series of examples illus- trating several degrees of complexity are constructed.  ...  This provides a formal basis for learning from examples. Here we address the dual problem of computing a generalization given a set of counterexamples.  ... 

Formal Specification and Verification of Task Time Constraints for Real-Time Systems [chapter]

Ning Ge, Marc Pantel, Xavier Crégut
2012 Lecture Notes in Computer Science  
The common formal methods used to assess these properties for design models rely on a translation of the user models into formal verification languages like Time Petri Net and on the expression of the  ...  This contribution analyses the computational complexity and the method's performance for the various patterns.  ...  The computational complexity of this proposal is then analyzed.  ... 
doi:10.1007/978-3-642-34032-1_16 fatcat:rmxgstdgzffcvej6sabh4riwd4

A General-Purpose CRN-to-DSD Compiler with Formal Verification, Optimization, and Simulation Capabilities [chapter]

Stefan Badelt, Seung Woo Shin, Robert F. Johnson, Qing Dong, Chris Thachuk, Erik Winfree
2017 Lecture Notes in Computer Science  
The mathematical formalism of mass-action chemical reaction networks (CRNs) has been proposed as a mid-level programming language for dynamic molecular systems.  ...  language for translation schemes.  ...  The current version "Nuskell 1.0" translates formal CRNs into a set of domain-level nucleic acid complexes.  ... 
doi:10.1007/978-3-319-66799-7_15 fatcat:5xeaxcebanfndad2xleumnknnm

A Formalism for Causal Explanations with an Answer Set Programming Translation [chapter]

Yves Moinard
2010 Lecture Notes in Computer Science  
Our example is a formalism aiming at capturing causal explanations from causal information. We show the naturalness and relative efficiency of this translation job.  ...  We examine the practicality for a user of using Answer Set Programming (ASP) for representing logical formalisms.  ...  An ASP translation of the formalism 3.1 Presentation We describe a program in DLV-Complex. A first version [8] used pure DLV, and was much slower and harder to read.  ... 
doi:10.1007/978-3-642-15280-1_56 fatcat:km3e76rdx5dnbfwlezzi2vwsiu

Adaptable software stage development

Dumitru Todoroi, Nicoleta Todoroi, Dumitru-Victor Micusa
2019 Journal of the American Romanian Academy of Arts and Sciences  
Adaptable Tools have been developed as part of Software for Computer Industry and they have used in creating Computer Systems for different generations of computers.  ...  Based on the literature review we theorize that the Adaptability in general and Adaptable Computing Industry in particular achieves horizon of creation Software for different generations of Computers and  ...  second level of translation complexity translation' features as: Universality, [6] by means of E-T-M Adaptable Processors Mobility, Transferability, Cognisability, translation interactions formalisms.  ... 
doi:10.14510/araj.2019.4243 fatcat:thd7mxkcjbfvznrzsqzhblll7e


Bruno Cartoni, Delphine Bernhard, Delphine Tribout
2014 Linguistic Issues in Language Technology  
Acknowledgments We would like to thank the local committee of the "International Congress of Linguists" (ICL) for their help with the organisation of the workshop on "Theoretical and Computational Morphology  ...  We also would like to thank the members of the scientific committee for their reviewing work.  ...  (measuring the complexity of morphology).  ... 
doi:10.33011/lilt.v11i.1359 fatcat:cgoefygikrctljgtfgzq45444q

Page 2028 of Computational Linguistics Vol. 30, Issue 2 [page]

2004 Computational Linguistics  
Yet a more complex application of formal transducers is language translation, in which input and output can be text, speech, (continuous) handwritten text, etc.  ...  Rational transductions (Berstel 1979) constitute an important class within the field of formal translation. These transductions are realized by the so-called finite-state transducers.  ... 

Methodology for Integrating Computational Tree Logic Model Checking in Unified Modelling Language Artefacts A Case Study of an Embedded Controller

KH Kochaleema, G. Santhoshkumar
2019 Defence Science Journal  
The applicability of the suggested approach is established using a safety critical embedded controller used for deployment and recovery of sensor structures from an airborne platform.  ...  Safety properties are derived from system specifications and are expressed as computation tree logic (CTL) formulae. CTL model-checking algorithm from the literature is used for model- checking.  ...  To compute[ɸ]:  ... 
doi:10.14429/dsj.69.12294 fatcat:suqbn5arrffjbnbtjkgh2ykr7u

Socratic Trees

Dorota Leszczyńska-Jasion, Mariusz Urbański, Andrzej Wiśniewski
2012 Studia Logica: An International Journal for Symbolic Logic  
But one can also say that Socratic trees measure computational complexity of the corresponding Gentzen-style proofs.  ...  In a Socratic tree the number of non-leaf nodes determines the number of rules' application and thus computational complexity of the corresponding Socratic proof.  ...  But one can also say that Socratic trees measure computational complexity of the corresponding Gentzen-style proofs.  ... 
doi:10.1007/s11225-012-9404-0 fatcat:2eotfs2owzaohp6pktwrwk2xaq

Automatic Test Generation with AGATHA [chapter]

Céline Bigot, Alain Faivre, Jean-Pierre Gallois, Arnault Lapitre, David Lugato, Jean-Yves Pierron, Nicolas Rapin
2003 Lecture Notes in Computer Science  
It is an automated test generator for specifications of communicating concurrent units described using an EIOLTS (Extended Input Output Labeled Transition System) formalism which can be extracted, for  ...  But these formal techniques are generally quite complex in their use: that is why such techniques have not, at this time, penetrated the industrial domain.  ...  formal methods fundamentals-for theorem proving.  ... 
doi:10.1007/3-540-36577-x_43 fatcat:j3w2ponp3rcctb6g4tpzuxzpii

Page 3781 of Mathematical Reviews Vol. , Issue 84i [page]

1984 Mathematical Reviews  
A. 84i:68023 Approximate completeness of the system of equivalent schema transformations. Programmirovanie 1982, no.3, 3-9 (Russian); translated as Programming and Comput.  ...  V. 84i:68022 Checking variable types by proving properties of programs. Programmirovanie 1982, no. 4, 14-24 ( Russian); translated as Programming and Comput. Software 8 (1982), no. 4, 176-185 (1983).  ... 
« Previous Showing results 1 — 15 out of 511,372 results