Search results for "Definitions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Fusheng Yu, Mingxin Zhang	Generalized Triangular Norms Based Product and Similarity of Fuzzy Sets.	FSKD (1)	2008	DBLP DOI BibTeX RDF
14	Millist W. Vincent, Jixue Liu, Mukesh K. Mohania	On the equivalence between FDs in XML and FDs in relations.	Acta Informatica	2007	DBLP DOI BibTeX RDF
14	Tiago Fioreze, Mattijs Oude Wolbers, Remco van de Meent, Aiko Pras	Finding Elephant flows for optical networks.	Integrated Network Management	2007	DBLP DOI BibTeX RDF
14	Olha Shkaravska, Ron van Kesteren, Marko C. J. D. van Eekelen	Polynomial Size Analysis of First-Order Functions.	TLCA	2007	DBLP DOI BibTeX RDF	Shapely Functions, Size Analysis, Type Checking, Diophantine equations
14	Michael Backes 0001, Birgit Pfitzmann, Andre Scedrov	Key-dependent Message Security under Active Attacks - BRSIM/UC-Soundness of Symbolic Encryption with Key Cycles.	CSF	2007	DBLP DOI BibTeX RDF
14	Ping Hou, Johan Wittocx, Marc Denecker	A Deductive System for PC(ID).	LPNMR	2007	DBLP DOI BibTeX RDF
14	Maarten Marx	Queries determined by views: pack your views.	PODS	2007	DBLP DOI BibTeX RDF	views, query rewriting, definability, guarded fragment
14	Stefan Christov, Bin Chen 0018, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, David Brown, Lucinda Cassells, Wilson Mertens	Rigorously Defining and Analyzing Medical Processes: An Experience Report.	MoDELS (Workshops)	2007	DBLP DOI BibTeX RDF
14	Leon J. Osterweil, George S. Avrunin, Bin Chen 0018, Lori A. Clarke, Rachel L. Cobleigh, Elizabeth A. Henneman, Philip L. Henneman	Engineering Medical Processes to Improve Their Safety.	Situational Method Engineering	2007	DBLP DOI BibTeX RDF
14	Roberto Navigli, Paola Velardi	GlossExtractor: A Web Application to Automatically Create a Domain Glossary.	AI*IA	2007	DBLP DOI BibTeX RDF
14	Simon Colton, Stephen H. Muggleton	Mathematical applications of inductive logic programming.	Mach. Learn.	2006	DBLP DOI BibTeX RDF
14	Stefan Becuwe, Annie A. M. Cuyt	On the fast solution of Toeplitz-block linear systems arising in multivariate approximation theory.	Numer. Algorithms	2006	DBLP DOI BibTeX RDF	AMS subject classification 15A23, 41A21, 65G20, 65F05
14	Stephan Falke 0001, Deepak Kapur	Inductive Decidability Using Implicit Induction.	LPAR	2006	DBLP DOI BibTeX RDF
14	Louis Licamele, Lise Getoor	Social Capital in Friendship-Event Networks.	ICDM	2006	DBLP DOI BibTeX RDF
14	Carlo Combi, Florian Daniel, Giuseppe Pozzi	A Portable Approach to Exception Handling in Workflow Management Systems.	OTM Conferences (1)	2006	DBLP DOI BibTeX RDF
14	Heeryon Cho, Toru Ishida 0001	Designing Metadata with Existing Application Ontologies.	SAINT	2006	DBLP DOI BibTeX RDF
14	Tom Schrijvers, Maurice Bruynooghe	Polymorphic algebraic data type reconstruction.	PPDP	2006	DBLP DOI BibTeX RDF	polymorphic recursion, type definition, type reconstruction, parametric polymorphism, algebraic data type
14	Zinovy Diskin, Jürgen Dingel	Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2.	MoDELS	2006	DBLP DOI BibTeX RDF
14	Thomas Baar	Correctly Defined Concrete Syntax for Visual Modeling Languages.	MoDELS	2006	DBLP DOI BibTeX RDF
14	Phyl Webb, Carol E. Pollard, Gail Ridley	Attempting to Define IT Governance: Wisdom or Folly?	HICSS	2006	DBLP DOI BibTeX RDF
14	Miyako Ohkubo, Masayuki Abe	On the Definition of Anonymity for Ring Signatures.	VIETCRYPT	2006	DBLP DOI BibTeX RDF
14	Dong Ha Nguyen, Mario Südholt	VPA-Based Aspects: Better Support for AOP over Protocols.	SEFM	2006	DBLP DOI BibTeX RDF
14	Jonathan Katz	Comparative book review: Cryptography: An Introduction by V. V. Yaschenko (American Mathematical Society, 2002); Cryptanalysis of Number Theoretic Ciphers by S.S. Wagstaff, Jr. (Chapman & Hall/CRC Press, 2003); RSA and Public-Key Cryptography by R. A. Mollin (Chapman & Hall/CRC Press, 2003); Foundations of Cryptography, vol. 1: Basic Tools by O. Goldreich, (Cambridge University Press, 2001).	SIGACT News	2005	DBLP DOI BibTeX RDF
14	Margarita Kokla, Marinos Kavouras	Semantic Information in Geo-Ontologies: Extraction, Comparison, and Reconciliation.	J. Data Semantics	2005	DBLP DOI BibTeX RDF
14	Dibyendu Das 0005, U. Ramakrishna 0001	A practical and fast iterative algorithm for phi-function computation using DJ graphs.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	DJ Graph, Dominance Frontier, Static Single Assignment Form
14	Pascal Costanza, Robert Hirschfeld	Language constructs for context-oriented programming: an overview of ContextL.	DLS	2005	DBLP DOI BibTeX RDF	dynamic scope, views, layers, Context-oriented Programming
14	Markus Lohrey	Model-Checking Hierarchical Structures.	LICS	2005	DBLP DOI BibTeX RDF
14	Martin Hofmann 0001	Proof-Theoretic Approach to Description-Logic.	LICS	2005	DBLP DOI BibTeX RDF
14	Robert Crook, Darrel C. Ince, Bashar Nuseibeh	On Modelling Access Policies: Relating Roles to their Organisational Context.	RE	2005	DBLP DOI BibTeX RDF
14	Lauri I. W. Pesonen, Jean Bacon	Secure event types in content-based, multi-domain publish/subscribe systems.	SEM	2005	DBLP DOI BibTeX RDF
14	Weiliang Zhao, Vijay Varadharajan, George Bryan	Analysis and Modelling of Trust in Distributed Information Systems.	ICISS	2005	DBLP DOI BibTeX RDF
14	Rusins Freivalds	Languages Recognizable by Quantum Finite Automata.	CIAA	2005	DBLP DOI BibTeX RDF
14	Michael Hoffmann 0002, Richard M. Thomas	Biautomatic Semigroups.	FCT	2005	DBLP DOI BibTeX RDF	biautomatic, automatic, Automata and formal languages, semigroups
14	Mary Bazire, Patrick Brézillon	Understanding Context Before Using It.	CONTEXT	2005	DBLP DOI BibTeX RDF	Contextual elements, Context, Definition
14	Kyoung-Soo Han, Young-In Song, Sang-Bum Kim, Hae-Chang Rim	Phrase-Based Definitional Question Answering Using Definition Terminology.	AIRS	2005	DBLP DOI BibTeX RDF
14	Frédéric Gervais, Marc Frappier, Régine Laleau	Generating Relational Database Transactions From Recursive Functions Defined on EB3 Traces.	SEFM	2005	DBLP DOI BibTeX RDF
14	Kevin W. Li, Keith W. Hipel, D. Marc Kilgour, Liping Fang	Preference uncertainty in the graph model for conflict resolution.	IEEE Trans. Syst. Man Cybern. Part A	2004	DBLP DOI BibTeX RDF
14	Marco Farina, Paolo Amato	A fuzzy definition of "optimality" for many-criteria optimization problems.	IEEE Trans. Syst. Man Cybern. Part A	2004	DBLP DOI BibTeX RDF
14	Algirdas Avizienis, Jean-Claude Laprie, Brian Randell, Carl E. Landwehr	Basic Concepts and Taxonomy of Dependable and Secure Computing.	IEEE Trans. Dependable Secur. Comput.	2004	DBLP DOI BibTeX RDF	fault forecasting, security, fault tolerance, trust, Dependability, attacks, errors, failures, faults, vulnerabilities, fault removal
14	Simone Röttger, Steffen Zschaler	Model-Driven Development for Non-functional Properties: Refinement Through Model Transformation.	UML	2004	DBLP DOI BibTeX RDF
14	Valentin E. Brimkov, Reinhard Klette	Curves, Hypersurfaces, and Good Pairs of Adjacency Relations.	IWCIA	2004	DBLP DOI BibTeX RDF	digital hypersurface, good pair, digital geometry, digital topology, digital curve
14	Antal Wu-Hen-Chang, Dung Le Viet, Gabor Batori, Roland Gecse, Gyula Csopaki	High-Level Restructuring of TTCN-3 Test Data.	FATES	2004	DBLP DOI BibTeX RDF
14	José Meseguer 0001, Grigore Rosu	Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools.	IJCAR	2004	DBLP DOI BibTeX RDF
14	Hilmar Schuschel, Mathias Weske	Triggering Replanning in an Integrated Workflow Planning and Enactment System.	ADBIS	2004	DBLP DOI BibTeX RDF
14	Jan Van den Bussche, Stijn Vansummeren, Gottfried Vossen	Meta-SQL: Towards Practical Meta-Querying.	EDBT	2004	DBLP DOI BibTeX RDF
14	Adam Grabowski, Christoph Schwarzweller	Rough Concept Analysis - Theory Development in the Mizar System.	MKM	2004	DBLP DOI BibTeX RDF
14	Andy McKay-Hubbard, Ann Macintosh	Models of Trust for Knowledge-Based Government Services.	EGOV	2003	DBLP DOI BibTeX RDF
14	Cheng Shao, Evelyn Pierce, Jennifer L. Welch	Multi-writer Consistency Conditions for Shared Memory Objects.	DISC	2003	DBLP DOI BibTeX RDF
14	Zongtian Liu, Liansheng Li, Qing Zhang	Research on a Union Algorithm of Multiple Concept Lattices.	RSFDGrC	2003	DBLP DOI BibTeX RDF	Multiple concept lattices, Union operation of concept lattices, Union algorithm of concept lattices, Formal Concept Analysis
14	Tom Hirschowitz, Xavier Leroy, J. B. Wells	Compilation of extended recursion in call-by-value functional languages.	PPDP	2003	DBLP DOI BibTeX RDF	compilation, semantics, recursion, functional languages
14	Simon Colton, Stephen H. Muggleton	ILP for Mathematical Discovery.	ILP	2003	DBLP DOI BibTeX RDF
14	Andreas Prinz 0001, Martin von Löwis	Generating a Compiler for SDL from the Formal Language Definition.	SDL Forum	2003	DBLP DOI BibTeX RDF
14	Rafael Pass	On Deniability in the Common Reference String and Random Oracle Model.	CRYPTO	2003	DBLP DOI BibTeX RDF
14	Aiko Pras, Szabolcs Boros, Bert Helthuis	Remote MIB-item look-up service.	NOMS	2002	DBLP DOI BibTeX RDF
14	Tom Hirschowitz, Xavier Leroy	Mixin Modules in a Call-by-Value Setting.	ESOP	2002	DBLP DOI BibTeX RDF
14	John C. Munson, Allen P. Nikora	Toward A Quantifiable Definition of Software Faults.	ISSRE	2002	DBLP DOI BibTeX RDF
14	Lotfi A. Zadeh	Toward a Theory of Hierarchical Definability (THD).	Rough Sets and Current Trends in Computing	2002	DBLP DOI BibTeX RDF
14	Andrzej S. Murawski, Kwangkeun Yi	Static Monotonicity Analysis for lambda-definable Functions over Lattices.	VMCAI	2002	DBLP DOI BibTeX RDF
14	Aldo de Moor, Manfred A. Jeusfeld	Making Workflow Change Acceptable.	Requir. Eng.	2001	DBLP DOI BibTeX RDF	Legitimate user-driven specification, Knowledge representation, Virtual communities, Workflow modelling, Social norms, Breakdown
14	Ana Bove, Venanzio Capretta	Nested General Recursion and Partiality in Type Theory.	TPHOLs	2001	DBLP DOI BibTeX RDF
14	Noemie Elhadad, Min-Yen Kan, Simon Lok, Smaranda Muresan	PERSIVAL: personalized summarization over multimedia health-care information.	JCDL	2001	DBLP DOI BibTeX RDF
14	Nicholas J. Hopper, Manuel Blum 0001	Secure Human Identification Protocols.	ASIACRYPT	2001	DBLP DOI BibTeX RDF
14	Ueli M. Maurer, Stefan Wolf 0001	Information-Theoretic Key Agreement: From Weak to Strong Secrecy for Free.	EUROCRYPT	2000	DBLP DOI BibTeX RDF
14	Richard L. W. Brown	Interest made simple with arrays.	APL	2000	DBLP DOI BibTeX RDF	APL
14	Dan Zhou, Shiu-Kai Chin	Formal Analysis of a Secure Communication Channel: Secure Core-Email Protocol.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
14	Gisbert Dittrich	AV-Petri Systems: How to Get Together Abstraction and Views for Petri Systems?	EUROCAST	1999	DBLP DOI BibTeX RDF
14	Victor Boyko	On the Security Properties of OAEP as an All-or-Nothing Transform.	CRYPTO	1999	DBLP DOI BibTeX RDF	all-or-nothing transforms, encryption modes, polynomial indistinguishability, random oracles, semantic security, exact security, OAEP
14	Theo Herrmann, Karin Schweizer, Gabriele Janzen, Steffi Katz	Routen- und Überblickswissen - konzeptuelle Überlegungen / Route- and configurational knowledge - conceptual considerations.	Kognitionswissenschaft	1998	DBLP DOI BibTeX RDF
14	David A. Plaisted, Yunshan Zhu	Replacement Rules with Definition Detection.	FTP (LNCS Selection)	1998	DBLP DOI BibTeX RDF
14	Christian Damsgaard Jensen, Daniel Hagimont	Protection Reconfiguration for Reusable Software.	CSMR	1998	DBLP DOI BibTeX RDF
14	Pascal Coupey, Catherine Faron	Towards Correspondence between Conceptual Graphs and Description Logics.	ICCS	1998	DBLP DOI BibTeX RDF
14	Ralph Frisbie, Richard Hendrickson, Michael Metcalf	The F Programming Language.	ACM SIGPLAN Notices	1997	DBLP DOI BibTeX RDF	FCL
14	Benjamin Z. Li	A pi-Calculus Specification of Prolog.	ESOP	1994	DBLP DOI BibTeX RDF
14	Birgit Pfitzmann	Sorting Out Signature Schemes.	CCS	1993	DBLP DOI BibTeX RDF
14	Philippa Gardner	A New Type Theory for Representing Logics.	LPAR	1993	DBLP DOI BibTeX RDF
14	Adeline Nazarenko	Representing Natural Language Causality in Conceptual Grpahs: the Higher Order Conceptual Relation Problem.	ICCS	1993	DBLP DOI BibTeX RDF
14	Steven M. German, A. Prasad Sistla	Reasoning about Systems with Many Processes.	J. ACM	1992	DBLP DOI BibTeX RDF
14	Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Michael J. Maher	Oracle Semantics for Prolog.	ALP	1992	DBLP DOI BibTeX RDF
14	Dave Barker-Plummer, Alex Rothenberg	The GAZER Theorem Prover.	CADE	1992	DBLP DOI BibTeX RDF
14	Keehang Kwon, Gopalan Nadathur, Debra Sue Wilson	Implementing a Notion of Modules in the Logic Programming Language Lambda-Prolog.	ELP	1992	DBLP DOI BibTeX RDF
14	Cornelis A. Middelburg, Gerard R. Renardel de Lavalette	LPF and MPLomega - A Logical Comparison of VDM SL and COLD-K.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
14	Jay Almarode	Issues in the Design and Implementation of a Schema Designer for an OODBMS.	ECOOP	1991	DBLP DOI BibTeX RDF
14	Donald Beaver	Foundations of Secure Interactive Computing.	CRYPTO	1991	DBLP DOI BibTeX RDF
14	Narayan C. Debnath	A Study of Control Flow and Data Dependency Interface (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF
14	James A. Larson, Shamkant B. Navathe, Ramez Elmasri	A Theory of Attribute Equivalence in Databases with Application to Schema Integration.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	attributed equivalence, entity sets, relationship sets, attribute integration, database theory, schema integration, equivalence classes
14	Guido van Rossum	AIL - a Class-oriented RPC Stub Generator for Amoeba.	Process in Distributed Operating Systems and Distributed Systems Management	1989	DBLP DOI BibTeX RDF
14	Hanne Riis Nielson, Flemming Nielson	Pragmatic Aspects of Two-Level Denotational Meta-Languages.	ESOP	1986	DBLP DOI BibTeX RDF
14	P. Geoffrey Lowney	Carrier Arrays: An Idiom-Preserving Extension to APL.	POPL	1981	DBLP DOI BibTeX RDF
14	Adi Shamir, William W. Wadge	Data Types as Objects.	ICALP	1977	DBLP DOI BibTeX RDF
12	Clarisa Espertino, María Julia Blas, Silvio Gonnet	Mapping RDEVSNL-based Definitions of Constrained Network Models to Routed DEVS Simulation Models.	J. Braz. Comput. Soc.	2024	DBLP DOI BibTeX RDF
12	Rashmie Abeysinghe, Fengbo Zheng, Jay Shi, Samden D. Lhatoo, Licong Cui	Leveraging logical definitions and lexical features to detect missing IS-A relations in biomedical terminologies.	J. Biomed. Semant.	2024	DBLP DOI BibTeX RDF
12	Kristiaan Kerstens, Jafar Sadeghi 0001	Plant capacity notions: review, new definitions, and existence results at firm and industry levels.	Int. J. Prod. Res.	2024	DBLP DOI BibTeX RDF
12	Ryosuke Shiga, Tomomichi Hagiwara, Yoshio Ebihara	Internal/External Positivity of Sampled-Data Systems: Definitions and the Necessary and Sufficient Conditions.	IEEE Access	2024	DBLP DOI BibTeX RDF
12	Xiwen Wang, Kai Zhang 0016, Junqing Gong 0001, Shi-Feng Sun 0001, Jianting Ning	Updatable searchable symmetric encryption: Definitions and constructions.	Theor. Comput. Sci.	2024	DBLP DOI BibTeX RDF
12	David Hitchcock	Tarski's Theory of the Formal Correctness of Definitions.	J. Philos. Log.	2024	DBLP DOI BibTeX RDF
12	Dean Beale, Francesco Dazzi, Theo Tryfonas	Unweaving the Definitions of Complexity.	IEEE Trans. Syst. Man Cybern. Syst.	2024	DBLP DOI BibTeX RDF
12	Xiaoyu Qi, Gang Mei	Network Resilience: Definitions, approaches, and applications.	J. King Saud Univ. Comput. Inf. Sci.	2024	DBLP DOI BibTeX RDF
12	Edson C. Tandoc Jr., Beverly Tan Hui Ru, Gabrielle Lee Huei, Ng Min Qi Charlyn, Rachel Angeline Chua, Zhang Hao Goh	#CancelCulture: Examining definitions and motivations.	New Media Soc.	2024	DBLP DOI BibTeX RDF
12	Mariia Fedorova, Andrey Kutuzov, Nikolay Arefyev, Dominik Schlechtweg	Enriching Word Usage Graphs with Cluster Definitions.	CoRR	2024	DBLP DOI BibTeX RDF
12	Wenbo Shao, Jiahui Xu, Zhong Cao, Hong Wang, Jun Li	Uncertainty-Aware Prediction and Application in Planning for Autonomous Driving: Definitions, Methods, and Comparison.	CoRR	2024	DBLP DOI BibTeX RDF