Search results for "Definitions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Philipp Liegl, Christian Huemer, Marco Zapletal	Towards a Global Business Document Reference Ontology.	ICSC	2009	DBLP DOI BibTeX RDF
23	Manoj Prabhakaran 0001, Mike Rosulek	Homomorphic Encryption with CCA Security.	ICALP (2)	2008	DBLP DOI BibTeX RDF
23	Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee 0001, Matthew B. Dwyer, John Hatcliff	A New Foundation for Control-Dependence and Slicing for Modern Program Structures.	ESOP	2005	DBLP DOI BibTeX RDF
23	Amit Sahai	Secure Protocols for Complex Tasks in Complex Environments.	INDOCRYPT	2004	DBLP DOI BibTeX RDF
23	Alexander F. Gelbukh, Grigori Sidorov, Sang-Yong Han, Liliana Chanona-Hernández	Automatic Evaluation of Quality of an Explanatory Dictionary by Comparison of Word Senses.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
23	Andrei P. Nemytykh	A note on elimination of simplest recursions.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	refal, functional programming languages, automatic program transformation
23	Zbigniew W. Ras, Jan M. Zytkow	Discovery of Equations and the Shared Operational Semantics in Distributed Autonomous Databases.	PAKDD	1999	DBLP DOI BibTeX RDF
23	Irith Pomeranz, Sudhakar M. Reddy	Test sequences to achieve high defect coverage for synchronous sequential circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1998	DBLP DOI BibTeX RDF
23	Klaus Weihrauch	Computability on the Probability Measures on the Borel Sets of the Unit Interval.	ICALP	1997	DBLP DOI BibTeX RDF
23	Charles Rackoff	A Basic Theory of Public and Private Cryptosystems.	CRYPTO	1988	DBLP DOI BibTeX RDF
22	Manizheh Montazerian, Peter T. Wood, Seyed R. Mousavi	XPath Query Satisfiability is in PTIME for Real-World DTDs.	XSym	2007	DBLP DOI BibTeX RDF	Document Type Definitions, Satisfiability, XPath
22	Gary Klein, Brian M. Moon, Robert R. Hoffman	Making Sense of Sensemaking 1: Alternative Perspectives.	IEEE Intell. Syst.	2006	DBLP DOI BibTeX RDF	definitions of sensemaking, situation awareness, mental model, comprehension, curiosity
22	Irene Polycarpou	Computer science students' difficulties with proofs by induction: an exploratory study.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF	inductive/recursive definitions, undergraduate computer science curricula, structural induction, proofs by induction
22	Ran Canetti, Ivan Damgård, Stefan Dziembowski, Yuval Ishai, Tal Malkin	Adaptive versus Non-Adaptive Security of Multi-Party Protocols.	J. Cryptol.	2004	DBLP DOI BibTeX RDF	Definitions of security, Adaptive security, Multi-party protocols
22	Yann-Gaël Guéhéneuc, Hervé Albin-Amiot	Recovering binary class relationships: putting icing on the UML cake.	OOPSLA	2004	DBLP DOI BibTeX RDF	binary class relationships, consensual definitions, design-implementation discontinuity, formalisations, minimal properties, java, UML, detection algorithms
22	Lin Liu 0003, Jonathan Billington	Tackling the Infinite State Space of a Multimedia Control Protocol Service Specification.	ICATPN	2002	DBLP DOI BibTeX RDF	Multimedia Networks and Protocols, Incremental State Space Algorithms, Parameterization, Coloured Petri Nets, Service Definitions
22	Edward A. Fox	Overview of digital libraries.	JCDL	2002	DBLP DOI BibTeX RDF	digital libraries, definitions, tutorial, references, foundations
22	Brandon Bennett	Application of Supervaluation Semantics to Vaguely Defined Spatial Concepts.	COSIT	2001	DBLP DOI BibTeX RDF	supervaluation semantics, concept definitions, logic, vagueness, spatial information systems
22	Hans-Arno Jacobsen, Bernd J. Krämer	Modeling Interface Definition Language Extensions.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	interface definition language extensions, module names, interface names, operation signatures, pre-conditions, post-conditions, service quality annotations, real-time annotations, combined modeling language, CORBA middleware platform, semantic aspects specification, XML document type definitions, Extensible Style Language, quality of service, Extensible Markup Language, specification languages, invariants, synchronisation, client-server systems, subroutines, distributed object management, XSL, OMG, hypermedia markup languages, synchronization constraints
22	Reinhard Kahle, Thomas Studer	A Theory of Explicit Mathematics Equivalent to ID1.	CSL	2000	DBLP DOI BibTeX RDF	explicit mathematics, Proof theory, inductive definitions
22	David R. Musser, Sibylle Schupp, Rüdiger Loos	Requirement Oriented Programming.	Generic Programming	1998	DBLP DOI BibTeX RDF	requirement oriented programming, concept description language, algebraic concept definitions, TECTON, formal verification, specification language, generic programming, standard template library
22	Jerzy W. Rozenblit, Christine Kocourek	Concepts for computer assisted engineering process management.	ECBS	1997	DBLP DOI BibTeX RDF	computer assisted engineering process management, engineering enterprise, process modeling definitions, information system infrastructure, systems analysis
22	Jon A. Pastor, Suzanne Liebowitz Taylor, Donald P. McKay, Robin McEntire	An Architecture for Intelligent Resource Agents.	CoopIS	1997	DBLP DOI BibTeX RDF	intelligent resource agent architecture, mediating agents, cooperative interaction, timely Internet resource access, customized Internet resource access, shared object definitions, common message syntax, Knowledge Query Manipulation Language, standard agent communication language, remote resource utilization, WWW infrastructure, collaboration, software agents, distributed environment, classroom, message transmission, K-12 education
22	Sandrine Blazy, Philippe Facon	Application of Formal Methods to the Development of a Software Maintenance Tool.	ASE	1997	DBLP DOI BibTeX RDF	software maintenance tool, scientific application program understanding, Fortran 90 application programs, interprocedural pointer analysis, global definitions, generic programming environment, variable values, already-analysed procedures, variable scope, removed statements, formal specification, information visualization, formal methods, compilation, software maintenance, partial evaluation, inference rules, graphical interface, alias analysis, optimization technique, set operators, relational operators
22	Tank Pereira de Carvalho, Nina Edelweiss	A Visual Query System Implementing a Temporal Object-Oriented Model with Roles on a Relational Database.	SCCC	1997	DBLP DOI BibTeX RDF	temporal object-oriented model, objects-with-roles model, commercial databases, data model mapping, VQS TF-ORM, temporal functionality, information retrieval environment, level-of-detail definitions, graphic scheme browsing, query storage, textual query representation, visual query representation, relational database, SQL, query language, visual databases, visual representation, temporal data model, visual query system, temporal operators
22	Kai Koskimies, Hanspeter Mössenböck	Scene: Using Scenario Diagrams and Active Text for Illustrating Object-Oriented Programs.	ICSE	1996	DBLP BibTeX RDF	active text, behavioural prototyping, call matrices, class interfaces, hypertext-like facilities, message flow visualization, method definitions, scenario diagrams, software browsing, reverse engineering, object-oriented programming, object-oriented programs, software development, software tools, programming environments, systems design, hypermedia, systems analysis, program understanding, object-oriented methods, diagrams, data visualisation, source code, subroutines, class diagrams, illustration, Scene
22	Robert E. Filman, Ted Linden	Communicating security agents.	WETICE	1996	DBLP DOI BibTeX RDF	communicating security agents, dynamically confederating security agents, preexisting applications, security goals, linguistic mechanisms, compilation mechanisms, application components, algorithmic definitions, agent code fragments, compilation mechanism, cost effective generation, redundant agents, subverted elements, computer networks, security models
22	Bogdan J. Falkowski, Susanto Rahardja	Novel Quantized Transform for Ternary Systems.	ISMVL	1995	DBLP DOI BibTeX RDF	spectral-domain analysis, nonlinear quantized transform, sign transform, binary/ternary data conversion, ternary spectral domain, forward transforms, sign Haar domain, sign Walsh domain, recursive definitions, sign matrix, spectral coefficients generation, transforms, matrix algebra, data conversion, Walsh functions, computational costs, ternary logic, quantisation (signal), matrix operators, inverse transforms
22	J. William Atwood, Y. Zhang	A definition of the XTP service and its formal specification.	LCN	1995	DBLP DOI BibTeX RDF	XTP service, Xpress Transfer Protocol, transport-level protocol, network-level protocol, unicast environment, multicast environment, specification architecture, data type definitions, process structures, distributed systems, real-time systems, real-time systems, formal specification, formal specification, local area networks, transport protocols, multimedia systems, multimedia systems, open systems, LOTOS
22	Allen S. Parrish, Stuart H. Zweben	Clarifying Some Fundamental Concepts in Software Testing.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	software test data adequacy criterion, useful adequacy criteria, realistic models, software testing, formal verification, program testing, test set, formal definitions
22	Karen Shannon, Richard T. Snodgrass	Mapping the Interface Description Language Type Model into C.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	Interface Description Language type model, C data structures, macro definitions, type safe, data structures, mapping, efficiency, programming environment, programming environments, high level languages, C language, ease of use, IDL, preprocessor, cooperating processes, run-time efficient
21	Matthew R. Lakin, Andrew M. Pitts	Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming.	ESOP	2009	DBLP DOI BibTeX RDF
21	Andrew Gacek, Dale Miller 0001, Gopalan Nadathur	Combining Generic Judgments with Recursive Definitions.	LICS	2008	DBLP DOI BibTeX RDF	generic judgments, reasoning about operational semantics, higher-order abstract syntax, proof search
21	Vladimir Lifschitz	Twelve Definitions of a Stable Model.	ICLP	2008	DBLP DOI BibTeX RDF
21	Yun Xu, ZhiHao Wang, YuZhong Zhao, Yu Xue	A New Alignment Algorithm to Identify Definitions Corresponding to Abbreviations in Biomedical Text.	WKDD	2008	DBLP DOI BibTeX RDF
21	Michelle Kwasny, Kelly E. Caine, Wendy A. Rogers, Arthur D. Fisk	Privacy and technology: folk definitions and perspectives.	CHI Extended Abstracts	2008	DBLP DOI BibTeX RDF	focus group methodology, privacy, gender differences, age differences
21	Rosa Del Gaudio, António Branco	Automatic Extraction of Definitions in Portuguese: A Rule-Based Approach.	EPIA Workshops	2007	DBLP DOI BibTeX RDF
21	Klaus Indermark, Thomas Noll 0001	Algebraic Correctness Proofs for Compiling Recursive Function Definitions with Strictness Information.	Acta Informatica	2006	DBLP DOI BibTeX RDF	Stack implementation, Formal semantics, Functional languages, Evaluation strategies, Compiler correctness
21	Germán Puebla, Elvira Albert, Manuel V. Hermenegildo	Abstract Interpretation with Specialized Definitions.	SAS	2006	DBLP DOI BibTeX RDF
21	Nikolay Pelov, Eugenia Ternovska	Reducing Inductive Definitions to Propositional Satisfiability.	ICLP	2005	DBLP DOI BibTeX RDF
21	Carlo Blundo, Paolo D'Arco, Alfredo De Santis	Definitions and Bounds for Self-Healing Key Distribution Schemes.	ICALP	2004	DBLP DOI BibTeX RDF
21	Phillip Rogaway	On the Role Definitions in and Beyond Cryptography.	ASIAN	2004	DBLP DOI BibTeX RDF
21	Ferruccio Damiani	Rank 2 intersection types for local definitions and conditional expressions.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	polymorphic recursion, Type inference, principal typings
21	Walid Taha, Patricia Johann	Staged Notational Definitions.	GPCE	2003	DBLP DOI BibTeX RDF
21	Deepak Kapur, Mahadevan Subramaniam	Automatic Generation of Simple Lemmas from Recursive Definitions Using Decision Procedures - Preliminary Report.	ASIAN	2003	DBLP DOI BibTeX RDF
21	Mihir Bellare, Daniele Micciancio, Bogdan Warinschi	Foundations of Group Signatures: Formal Definitions, Simplified Requirements, and a Construction Based on General Assumptions.	EUROCRYPT	2003	DBLP DOI BibTeX RDF
21	Mohamed Tajine, Alain Daurat	On Local Definitions of Length of Digital Curves.	DGCI	2003	DBLP DOI BibTeX RDF	Digital segments, local length estimation, frequency of factors, convergence
21	Pietro Di Gianantonio, Marino Miculan	A Unifying Approach to Recursive and Co-recursive Definitions.	TYPES	2002	DBLP DOI BibTeX RDF
21	Bijan Afshordel, Thomas Hillenbrand, Christoph Weidenbach	First-Order Atom Definitions Extended.	LPAR	2001	DBLP DOI BibTeX RDF
21	D. Harrison McKnight, Norman L. Chervany	Trust and Distrust Definitions: One Bite at a Time.	Trust in Cyber-societies	2000	DBLP DOI BibTeX RDF
21	Jorma Jormakka, Kari Heikkinen	QoS/GOS Parameter Definitions and Measurement in IP/ATM Networks.	QofIS	2000	DBLP DOI BibTeX RDF
21	Graeme Smith	Recursive Schema Definitions in Object-Z.	ZB	2000	DBLP DOI BibTeX RDF
21	Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil	Verifying properties of process definitions.	ISSTA	2000	DBLP DOI BibTeX RDF
21	Johann Blieberger, Bernd Burgstaller	Symbolic Reaching Definitions Analysis of Ada Programs.	Ada-Europe	1998	DBLP DOI BibTeX RDF
21	Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi	Deriving Structural Hylomorphisms From Recursive Definitions.	ICFP	1996	DBLP DOI BibTeX RDF
21	John Harrison 0001	Inductive Definitions: Automation and Application.	TPHOLs	1995	DBLP DOI BibTeX RDF
21	Guy W. Mineau	Views, Mappings and Functions: Essential Definitions to The Conceptual Graph Theory.	ICCS	1994	DBLP DOI BibTeX RDF
21	Nada Lavrac, Saso Dzeroski, Marko Grobelnik	Learning Nonrecursive Definitions of Relations with LINUS.	EWSL	1991	DBLP DOI BibTeX RDF
21	Martha Stone Palmer	Customizing verb definitions for specific semantic domains.	Mach. Transl.	1990	DBLP DOI BibTeX RDF	domain semantics, predicate environments, thematic roles, verb decompositions, domain models, mapping rules
21	Andreas Goerdt	Characterizing Complexity Classes by General Recursive Definitions in Higher Types.	CSL	1988	DBLP DOI BibTeX RDF
21	John C. Thompson, Reza Sanati-Mehrizy	Formalization of operations and function definitions in a functional programming language for data structures.	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
18	Isabel Dietrich, Falko Dressler	On the lifetime of wireless sensor networks.	ACM Trans. Sens. Networks	2009	DBLP DOI BibTeX RDF	longevity, Sensor networks, connectivity, coverage, lifetime
18	Dennis Wagelaar	Composition Techniques for Rule-Based Model Transformation Languages.	ICMT@TOOLS	2008	DBLP DOI BibTeX RDF
18	Rachel Pottinger, Philip A. Bernstein	Schema merging and mapping creation for relational sources.	EDBT	2008	DBLP DOI BibTeX RDF
18	Douglas Wikström	Designated Confirmer Signatures Revisited.	TCC	2007	DBLP DOI BibTeX RDF
18	Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Tom Ridge, Susmit Sarkar, Rok Strnisa	Ott: effective tool support for the working semanticist.	ICFP	2007	DBLP DOI BibTeX RDF
18	Ron van der Meyden, Chenyi Zhang	A Comparison of Semantic Models for Noninterference.	Formal Aspects in Security and Trust	2006	DBLP DOI BibTeX RDF
18	Alexandra Desmoulin, César Viho	Quiescence Management Improves Interoperability Testing.	TestCom	2005	DBLP DOI BibTeX RDF
18	Ferruccio Damiani	Rank-2 Intersection and Polymorphic Recursion.	TLCA	2005	DBLP DOI BibTeX RDF
18	Rui Zhang 0002, Jun Furukawa 0001, Hideki Imai	Short Signature and Universal Designated Verifier Signature Without Random Oracles.	ACNS	2005	DBLP DOI BibTeX RDF
18	Michael Backes 0001	Quantifying Probabilistic Information Flow in Computational Reactive Systems.	ESORICS	2005	DBLP DOI BibTeX RDF
18	Douglas A. Cenzer, Jeffrey B. Remmel	The Complexity of Inductive Definability.	CiE	2005	DBLP DOI BibTeX RDF
18	Jian-Wei Wang, Chi-Cheng Li, Feng-Jian Wang	Dynamic activities on an agent-based workflow management system.	AICCSA	2005	DBLP DOI BibTeX RDF
18	Pablo Giambiagi, Gerardo Schneider, Frank D. Valencia	On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi.	FoSSaCS	2004	DBLP DOI BibTeX RDF
18	Gareth James	Variance and Bias for General Loss Functions.	Mach. Learn.	2003	DBLP DOI BibTeX RDF	variance, bias, prediction error, loss function
18	Alberto Momigliano, Alwen Fernanto Tiu	Induction and Co-induction in Sequent Calculus.	TYPES	2003	DBLP DOI BibTeX RDF
18	Abdesselam Redouane	A New Definitional Specification Language.	ICCSA (1)	2003	DBLP DOI BibTeX RDF
18	Jixue Liu, Millist W. Vincent	Containment and disjointedness in partitioned normal form relations.	Acta Informatica	2002	DBLP DOI BibTeX RDF
18	Eva Söderström	Standardising the business vocabulary of standards.	SAC	2002	DBLP DOI BibTeX RDF	definition types, standardisation effort, standard
18	Ran Canetti, Hugo Krawczyk	Universally Composable Notions of Key Exchange and Secure Channels.	EUROCRYPT	2002	DBLP DOI BibTeX RDF	Composition of protocols, Cryptographic Protocols, Key Exchange, Proofs of Security
18	Roman Slowinski, Daniel Vanderpooten	A Generalized Definition of Rough Approximations Based on Similarity.	IEEE Trans. Knowl. Data Eng.	2000	DBLP DOI BibTeX RDF	Rough sets, ambiguity, similarity relation, lower and upper approximations
18	Ching-Long Yeh	A Logic Programming Approach to Supporting the Entries of XML Documents in an Object Database.	PADL	2000	DBLP DOI BibTeX RDF
18	Deepak Kapur, Mahadevan Subramaniam	Extending Decision Procedures with Induction Schemes.	CADE	2000	DBLP DOI BibTeX RDF
18	Joseph L. Hellerstein, Mark M. Maccabee, W. Nathaniel Mills III, John Turek	ETE: A Customizable Approach to Measuring End-to-End Response Times and Their Components in Distributed Systems.	ICDCS	1999	DBLP DOI BibTeX RDF	end-to-end response times, quality of service, measurements
18	Yao-Hua Tan, Walter Thoen	Modeling Directed Obligations and Permissions in Trade Contracts.	HICSS (5)	1998	DBLP DOI BibTeX RDF
18	Ryszard Raban, Harry S. Delugach	Animating Conceptual Graphs.	ICCS	1997	DBLP DOI BibTeX RDF
18	Marta Franová	Automated Inductive Reasoning as a Support of Deductive Reasoning in a User-Independent Automation of Inductive Theorem Proving.	ISMIS	1996	DBLP DOI BibTeX RDF
18	Hans Leiß	Bounded Fixed-Point Definability and Tabular Recognition of Languages.	CSL	1995	DBLP DOI BibTeX RDF
18	Michele Boreale, Luca Trevisan	On the Complexity of Bisimilarity for Value-Passing Processes (Extended Abstract).	FSTTCS	1995	DBLP DOI BibTeX RDF
18	Paul Klint	A Meta-Environment for Generating Programming Environments.	ACM Trans. Softw. Eng. Methodol.	1993	DBLP DOI BibTeX RDF
18	Dirk Grunwald, Harini Srinivasan	Data Flow Equations for Explicitly Parallel Programs.	PPoPP	1993	DBLP DOI BibTeX RDF
18	Raymond T. Boute	The Euclidian Definition of the Functions div and mod.	ACM Trans. Program. Lang. Syst.	1992	DBLP DOI BibTeX RDF	Euclid's theorem, div function, hardware description, integer division, mod function, predefined functions, remainder, interpolation, sampling, residue, decimation, number representation
18	Sam Coates-Stephens	Automatic Acquisition of Proper Noun Meanings.	ISMIS	1991	DBLP DOI BibTeX RDF
18	Alexander Borgida	Modeling Class Hierarchies with Contradictions.	SIGMOD Conference	1988	DBLP DOI BibTeX RDF
18	Jean-Jacques Thiel	Stop Losing Sleep Over Incomplete Data Type Specifications.	POPL	1984	DBLP DOI BibTeX RDF	Data types specifications, Completeness, Unification, Term rewriting systems, Substitutions, Equational theories
18	Norman Hardy	Nested Scopes in Pascal and Algol 68.	ACM SIGPLAN Notices	1983	DBLP DOI BibTeX RDF
17	Dominique Unruh	Termination-Insensitive Computational Indistinguishability (and Applications to Computational Soundness).	CSF	2011	DBLP DOI BibTeX RDF	Security definitions, indistinguishability, computational soundness
17	Juan A. Garay, Aggelos Kiayias, Hong-Sheng Zhou	A Framework for the Sound Specification of Cryptographic Tasks.	CSF	2010	DBLP DOI BibTeX RDF	security definitions, lattices and partial orders, Cryptographic protocols, universal composability
17	James J. Horning	Words Matter: Privacy, Security, and Related Terms.	ISIPS	2008	DBLP DOI BibTeX RDF	freedom of speech, security, Privacy, network security, computer security, definitions, homeland security, national security
17	Bor-Yuh Evan Chang, Xavier Rival	Relational inductive shape analysis.	POPL	2008	DBLP DOI BibTeX RDF	symbolic abstract domain, shape analysis, materialization, separation logic, inductive definitions, heap analysis