Filters








52,879 Hits in 4.6 sec

Toward a uniform logical representation of different kinds of integrity constraints [chapter]

Robert Demolombe, Andrew J. I. Jones, Jose Carmo
1997 Lecture Notes in Computer Science  
To have a uniform representation of the dierent kinds of constraints we have adopted a logical framework.  ...  We have outlined a logical framework for the representation of some species of database integrity constraints. In each case, the constraints were represented as obligation sentences.  ... 
doi:10.1007/bfb0035653 fatcat:jsvvwqswrzcd7n6wcrt23cbste

A Software Engineering Paradigm as a basis for Enterprise Integration in (Multi-) Client/Server Environments [chapter]

D. Solte
1995 Integrated Manufacturing Systems Engineering  
The described software engineering paradigm supports a model-oriented development of distributed data, services and processes in a uniform way towards a neutralizing execution environment.  ...  As a consequence, new kinds of architectures are needed. This paper outlines an approach, developed at FA W for the described scenario.  ...  The representation framework defined by the metameta-model OML allows the uniform knowledge representation of application concepts under different perspectives ( Figure 6 ).  ... 
doi:10.1007/978-0-387-34919-0_17 fatcat:c6mrq6c76jf4jeme3oxcqtxzfe

Software Product Line Engineering for Developing Self-Adaptive Systems: Towards the Domain Requirements

Liwei Shen, Xin Peng, Wenyun Zhao
2012 2012 IEEE 36th Annual Computer Software and Applications Conference  
It is described with different point of views and the variability binding constraints inside are emphasized.  ...  Based on it, a guidance is concluded to support the consistent customization towards the domain model.  ...  Furthermore, the adaptation logics towards the network changing may vary since the network facility is of difference.  ... 
doi:10.1109/compsac.2012.40 dblp:conf/compsac/ShenPZ12a fatcat:7efsgyeetvgihi37bfafb763pq

Describing Images using a Multilayer Framework based on Qualitative Spatial Models

Tao Wang, Hui Shi
2015 The Baltic International Yearbook of Cognition, Logic and Communication  
Finally, the knowledge layer of the framework enables us to describe the image in a natural way by integrating the domain-specified semantic constraints and the spatial constraints.  ...  The layout features of segmented images are defined by qualitative spatial models which we introduce, and represented as a set of qualitative spatial constraints.  ...  ACKNOWLEDGMENTS Tao Wang is funded by China Scholarship Council, and we gratefully acknowledge the support of DFG SFB/TR8 I5 and NSFC 61272336.  ... 
doi:10.4148/1944-3676.1104 fatcat:fuaf4g6qfvbevea4twz5zclivm

Towards multilingual programming environments

Tijs van der Storm, Jurgen J. Vinju
2015 Science of Computer Programming  
Software projects consist of different kinds of artifacts: build files, configuration files, markup files, source code in different software languages, and so on.  ...  In this short paper we sketch a vision of a system that integrates IDE support across language boundaries.  ...  Introduction Most software projects consist of many kinds of different artifacts, in different languages.  ... 
doi:10.1016/j.scico.2013.11.041 fatcat:4634fuc2abaltlcpfbxft2guga

Ontologies and semantics for seamless connectivity

Michael Uschold, Michael Gruninger
2004 SIGMOD record  
A variety of research systems have been developed addressing some of the semantic issues.  ...  The goal of having networks of seamlessly connected people, software agents and IT systems remains elusive. Early integration efforts focused on connectivity at the physical and syntactic layers.  ...  Phil Bernstein, AnHai Doan, and several others helped clarify the differences between DB schema and ontologies.  ... 
doi:10.1145/1041410.1041420 fatcat:ykrnscxodbgdbhcmget5tie5ha

UL-PML: constraint-enabled distributed product data model

Y. Wang, B. O. Nnaji *
2004 International Journal of Production Research  
Design constraints cannot be represented and transferred among different groups, and design information cannot be integrated efficiently within a distributed environment.  ...  Segments of design information can be linked and integrated into a set of complete product data. Thus, lean information exchange can be realized.  ...  A unified constraint representation form is needed to support different kinds of internal representations.  ... 
doi:10.1080/002075403410001708443 fatcat:ut5ucmerevaozouadjj34a34bq

More on the Interactive Indexing Semantic Theory

John Dilworth
2010 Minds and Machines  
significant intermediate processing of a broadly normative epistemic kind prior to the formation of sorting dispositions.  ...  The theory is also related to Fodor's representational theory of mind (RTM), with some surprisingly close parallels being found in spite of the purely dispositional basis of the II theory.  ...  Such an abstract proposition also stands in integral logical relations to other propositions.  ... 
doi:10.1007/s11023-010-9204-0 fatcat:l6r7nqzmnng4lon6sohyowq4bq

Representation of Ontologies for Information Integration [chapter]

Chantal Reynaud, Brigitte Safar
2002 Lecture Notes in Computer Science  
An information integration system provides a uniform query interface to a collection of autonomous and distributed sources, connected to each other thanks to a global mediated schema, called domain ontology  ...  We focus on the choices for representing classes, properties and constraints using the characteristics of the formalism.  ...  Goasdoue who implemented the query engine and has allowed us the optimization of the ontology.  ... 
doi:10.1007/3-540-45810-7_26 fatcat:dht775vcqvenbjqnjfxeolfg6i

Reasoning with conditionals in artificial intelligence [chapter]

Robert Kowalski
2010 Cognition and ConditionalsProbability and Logic in Human Thinking  
In addition, there is a section on integrity constraints, to help motivate the interpretation in ALP of stimulus-response production rules as a species of integrity constraint, and a section on the agent  ...  Negation is represented both by means of negation as failure and by means of integrity constraints.  ...  Many thanks to Fariba Sadri, Michiel van Lambalgen and Keith Stenning for helpful discussions, and to Keith Clark, Luis Pereira, Keith Stenning and Guy Politzer for useful comments on an earlier draft of  ... 
doi:10.1093/acprof:oso/9780199233298.003.0015 fatcat:wzs5uvx6rbhbxjlklyxpqfgjpu

Computational Ontologies and Information Systems II: Formal Specification

Raj Sharman, Rajiv Kishore, Ram Ramesh
2004 Communications of the Association for Information Systems  
This paper provides a review of the formalisms, languages, and tools for specifying and implementing computational ontologies. Directions for future research are also provided.  ...  This paper extends the study of ontologies in Part I of this study (Volume 14, Article 8 [Kishore et al, 2004] ) in the context of Information Systems.  ...  He is the recipient of a multi-year National Science Foundation research grant as a co-principal investigator in the area of IT outsourcing. Rajiv is  ... 
doi:10.17705/1cais.01409 fatcat:dfu3w3kzj5e7tciktzipwegvmm

UniForM Perspectives for Formal Methods [chapter]

Bernd Krieg-Brückner
1999 Lecture Notes in Computer Science  
Trends for Formal Methods are reviewed and illustrated by several industrial applications: logical foundations of combination, verification, transformation, testing, and tool support.  ...  The UniForM Workbench is the background for highlighting experiences made over the past 20 years.  ...  Transformation rules preserve correctness; they can themselves be proved correct in UniForM against the semantics of the object language, e.g. at the level of the logic representation in HOL, cf.  ... 
doi:10.1007/3-540-48257-1_16 fatcat:e6563rfyfref3hodibl3w4tihe

Towards a framework for designing applications onto hybrid nano/CMOS fabrics

Catherine Dezan, Ciprian Teodorov, Loïc Lagadec, Michael Leuchtenburg, Teng Wang, Pritish Narayanan, Andras Moritz
2009 Microelectronics Journal  
Our proposal is based on a variety of models that capture as well as isolate the differences between these fabrics.  ...  Dezan, et al., Towards a framework for designing applications onto hybrid nano/CMOS fabrics, Microelectron. J (2008),  ...  A yield simulator for PLA-based structures proposed in [11] could be used for different kinds of 2D nanofabrics.  ... 
doi:10.1016/j.mejo.2008.07.072 fatcat:te4h6zgiincqfnngggutvziuia

Advancing Multi-Context Systems by Inconsistency Management [article]

Antonius Weinzierl
2011 arXiv   pre-print
way: How to identify and explain a inconsistency that spreads over multiple knowledge bases with different logical formalisms (e.g., logic programs and ontologies)?  ...  Such information exchange, however, often comes with unforseen side-effects leading to violation of constraints, making the system inconsistent, and thus unusable.  ...  Acknowledgements I am very grateful to my advisor Thomas Eiter, the principal investigator of our research project Michael Fink, and my colleague Peter Schüller who provided guidance, and helped with many  ... 
arXiv:1107.2088v1 fatcat:jovpp5qumrg6vp6zy5r5nxlebe

Types of constraints on development: An interactivist approach

Robert L Campbell, Mark H Bickhard
1992 Developmental Review  
Any developmental theory needs to acknowledge all four types of constraint; however, some current theories conflate different types of constraint, or rely on a single constraint type to explicate development  ...  The interactivist approach to development generates a framework of types of constraints on what can be constructed.  ...  Portions were previously presented at the biennial meeting of the Society for Research in Child Development, Baltimore, April 23, 1987, and the annual meeting of the Jean Piaget Society, Philadelphia,  ... 
doi:10.1016/0273-2297(92)90012-q fatcat:fqfumdhxjrccviuw2jy3sthoka
« Previous Showing results 1 — 15 out of 52,879 results