Search results for "definition"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
50	Hans Bekic, Dines Bjørner, Wolfgang Henhapl, Cliff B. Jones, Peter Lucas 0001	On the Formal Definition of a PL/I Subset (Selected parts).	Programming Languages and Their Definition	1984	DBLP DOI BibTeX RDF
47	Hans Bekic	On the formal Definition of Programming Language.	Programming Languages and Their Definition	1984	DBLP DOI BibTeX RDF
47	Jun Xu 0001, Yunbo Cao, Hang Li 0001, Min Zhao, Yalou Huang	A Supervised Learning Approach to Search of Definitions.	J. Comput. Sci. Technol.	2006	DBLP DOI BibTeX RDF	definition search, text mining, web search, web mining
44	David E. Gay	Interface Definition Language Conversions: Recursive Types.	Workshop on Interface Definition Languages	1994	DBLP DOI BibTeX RDF
44	Sriram Sankar, Roger Hayes	ADL - An Interface Definition Language for Specifying and Testing Software.	Workshop on Interface Definition Languages	1994	DBLP DOI BibTeX RDF
44	Robert Allen, David Garlan	Beyond Definition/Use: Architectural Interconnection.	Workshop on Interface Definition Languages	1994	DBLP DOI BibTeX RDF
44	Dennis McLeod	High Level Domain Definition in a Relational Data Base System.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP DOI BibTeX RDF
44	Bengt Nordström	An Outline of a Mathematical Model for the Definition and Manipulation of Data.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP DOI BibTeX RDF
44	Surya B. Yadav	Control and Definition Modularization: An Improved Software Design Technique for Organizing Programs.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	definition modularization, software design technique, organizing programs, control and definition modularization, systematic program layout, conceptual data object, execution flow, programs maintainability, structured design methodology, software engineering
41	Atsushi Ohnishi, Norihiro Tokuda	Visual software requirements definition environment.	COMPSAC	1997	DBLP DOI BibTeX RDF	visual software requirements definition environment, visual software requirements specification, visual requirements language, icon movements, scenario description, visual software requirements definition, multiple developers, semantics, animation, visual programming, network system
39	Richard M. Lobsitz	A Method for Assembling a Project-Specific Software Process Definition.	HICSS (1)	1996	DBLP DOI BibTeX RDF	software process definition, software process tailoring, software project planning
36	Xiao Chang, Qinghua Zheng	Offline Definition Extraction Using Machine Learning for Knowledge-Oriented Question Answering.	ICIC (3)	2007	DBLP DOI BibTeX RDF	Definition Extraction, Machine Learning, Question Answering System
36	Yoshiki Mitani, Tomoko Matsumura, Mike Barker, Seishiro Tsuruho, Katsuro Inoue, Ken-ichi Matsumoto	An Empirical Study of Process and Product Metrics Based on In-process Measurements of a Standardized Requirements Definition Phase.	IWSM/Mensura	2007	DBLP DOI BibTeX RDF	In-process measurement, Requirements definition phase measurement, Enterprise Architecture, Empirical software engineering, Software process measurement
36	Martin Bravenboer, Éric Tanter, Eelco Visser	Declarative, formal, and extensible syntax definition for aspectJ.	OOPSLA	2006	DBLP DOI BibTeX RDF	generalized-LR parsing, grammar mixins, lexical syntax, scannerless parsing, syntax definition, syntax extension, aspectJ
36	Mary Jean Harrold, Mary Lou Soffa	Efficient Computation of Interprocedural Definition-Use Chains.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	dataflow testing, interprocedural dataflow analysis, interprocedural definition-use chains, interprocedural reachable uses, interprocedural reaching definitions
35	Joshua S. Auerbach, James R. Russell	The Concert Signature Representation: IDL as Intermediate Language.	Workshop on Interface Definition Languages	1994	DBLP DOI BibTeX RDF
35	Yang Meng Tan	Interface Language for Supporting Programming Styles.	Workshop on Interface Definition Languages	1994	DBLP DOI BibTeX RDF
35	James R. Russell, Robert E. Strom, Daniel M. Yellin	A Checkable Interface Language for Pointer-Based Structures.	Workshop on Interface Definition Languages	1994	DBLP DOI BibTeX RDF
35	Stefan Kahrs, Donald Sannella, Andrzej Tarlecki	Interfaces and Extended ML.	Workshop on Interface Definition Languages	1994	DBLP DOI BibTeX RDF
35	Peter B. Kessler	A Client-Side Stub Interpreter.	Workshop on Interface Definition Languages	1994	DBLP DOI BibTeX RDF
35	Graham Hamilton, Sanjay R. Radia	Using Interface Inheritance to Address Problems in System Software Evolution.	Workshop on Interface Definition Languages	1994	DBLP DOI BibTeX RDF
35	Burkhard Freitag, Tiziana Margaria, Bernhard Steffen	A Pragmatic Approach to Software Synthesis.	Workshop on Interface Definition Languages	1994	DBLP DOI BibTeX RDF
35	Don Cohen, Neil M. Goldman, Khaled Narayanaswamy	Adding Performance Information to ADT Interfaces.	Workshop on Interface Definition Languages	1994	DBLP DOI BibTeX RDF
35	Gary T. Leavens	Inheritance of Interface Specifications (Extended Abstract).	Workshop on Interface Definition Languages	1994	DBLP DOI BibTeX RDF
35	Dinesh Katiyar, David C. Luckham, John C. Mitchell	Polymorphism and Subtyping in Interfaces.	Workshop on Interface Definition Languages	1994	DBLP DOI BibTeX RDF
35	Cliff B. Jones (eds.)	Programming Languages and Their Definition - Hans Bekic (1936-1982)	Programming Languages and Their Definition	1984	DBLP DOI BibTeX RDF
35	Hans Bekic	From comments arising from a lecture in Amsterdam, June 1972.	Programming Languages and Their Definition	1984	DBLP DOI BibTeX RDF
35	Hans Bekic	Defining a Language in its Own Terms.	Programming Languages and Their Definition	1984	DBLP DOI BibTeX RDF
35	Hans Bekic	Nondeterministic Functions and the Semantics of CSP.	Programming Languages and Their Definition	1984	DBLP DOI BibTeX RDF
35	Hans Bekic	The Meaning of Names in PL/I.	Programming Languages and Their Definition	1984	DBLP DOI BibTeX RDF
35	Hans Bekic	The Semantics of Parallel Processing.	Programming Languages and Their Definition	1984	DBLP DOI BibTeX RDF
35	Hans Bekic, Kurt Walk	Formalization of Storage Properties.	Programming Languages and Their Definition	1984	DBLP DOI BibTeX RDF
35	Hans Bekic	A Model of Nondeterminism: Indexed Sets and Their Equivalence.	Programming Languages and Their Definition	1984	DBLP DOI BibTeX RDF
35	Hans Bekic	Mathematical Semantics and Compiler Correctness.	Programming Languages and Their Definition	1984	DBLP DOI BibTeX RDF
35	Hans Bekic	Note on Some Problems Concerning the PL/I Manual and its Rewriting.	Programming Languages and Their Definition	1984	DBLP DOI BibTeX RDF
35	Hans Bekic	The Assignment to a Type Procedure Identifier in ALGOL 60.	Programming Languages and Their Definition	1984	DBLP DOI BibTeX RDF
35	Hans Bekic	Nondeterministic Programs: An Example.	Programming Languages and Their Definition	1984	DBLP DOI BibTeX RDF
35	Hans Bekic	Towards a Mathematical Theory of Processes.	Programming Languages and Their Definition	1984	DBLP DOI BibTeX RDF
35	Hans Bekic	Definable Operation in General Algebras, and the Theory of Automata and Flowcharts.	Programming Languages and Their Definition	1984	DBLP DOI BibTeX RDF
35	Hans Bekic	Note on a Test Example for ALGOL 60 Compilers by D. E. Knuth.	Programming Languages and Their Definition	1984	DBLP DOI BibTeX RDF
35	Michael Hammer	Data Abstractions for Data Bases.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP DOI BibTeX RDF
35	Douglas T. Ross	Toward Foundations for the Understanding of Type.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP DOI BibTeX RDF
35	Michael E. Senko	DIAM II and Levels of Abstraction.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP DOI BibTeX RDF
35	Eric Allman, Michael Stonebraker, Gerald Held	Embedding a Relational Data Sublanguage in a General Purpose Programming Language.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP DOI BibTeX RDF
35	Cornelis H. A. Koster	Visibility and Types.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP DOI BibTeX RDF
35	Janis A. Bubenko Jr., Stig Berild, Eva Lindencrona-Ohlin, Sam Nachmens	From Information Structures to DBTG Data Structures.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP DOI BibTeX RDF
35	David Gries, Narain H. Gehani	Some Ideas on Data Types in High Level Languages.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP DOI BibTeX RDF
35	John V. Guttag	Abstract Data Types and the Development of Data Structures.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP DOI BibTeX RDF
35	Lawrence Flon, A. Nico Habermann	Towards the Construction of Verifiable Software Systems.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP DOI BibTeX RDF
35	James J. Horning	Some Desirable Properties of Data Abstraction Facilities.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP DOI BibTeX RDF
35	Theodore A. Linden	The Use of Abstract Data Types to Simplify Program Modifications.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP DOI BibTeX RDF
35	Mary Shaw	Research Directions in Abstract Data Structures.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP DOI BibTeX RDF
35	David Lorge Parnas, John E. Shore, David M. Weiss 0001	Abstract Types Defined as Classes of Variables.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP DOI BibTeX RDF
35	W. Terry Hardgrave	A Technique for Implementing a Set Processor.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP DOI BibTeX RDF
35	Barron C. Housel, Nan C. Shu	A High-Level Data Manipulation Language for Hierarchical Data Structures.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP DOI BibTeX RDF
35	Moshé M. Zloof, S. Peter de Jong	The System for Business Automation: Programming Language.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP DOI BibTeX RDF
35	Daniel M. Berry, Z. Erlich, Carlos José Pereira de Lucena	Correctness of Data Representations: Pointers in High Level Languages.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP DOI BibTeX RDF
35	Oscar Vallarino	On the Use of Bit Maps for Multiple Key Retrieval.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP DOI BibTeX RDF
35	Jim Mitchell, Ben Wegbreit	A Next Step in Data Structuring for Programming Languages.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP DOI BibTeX RDF
35	Robert T. Johnson, James B. Morris	Abstract Data Types in the Model Programming Language.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP DOI BibTeX RDF
35	Mark B. Wells, Fred L. Cornwall	A Data Type Encapsulation Scheme Utilizing Base Language Operators.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP DOI BibTeX RDF
35	John Miles Smith, Diane C. P. Smith	Data Base Abstraction.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP DOI BibTeX RDF
35	Richard B. Kieburtz	Programming without Pointer Variables.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP DOI BibTeX RDF
33	Luis Reynoso, José A. Cruz-Lemus, Marcela Genero, Mario Piattini	Formal definition of measures for UML statechart diagrams using OCL.	SAC	2008	DBLP DOI BibTeX RDF	UML, measures, metamodeling, OCL, understandability, structural properties, formal definition, statechart diagrams
33	Eike Falk Anderson	Scripted smarts in an intelligent virtual environment: behaviour definition using a simple entity annotation language.	Future Play	2008	DBLP DOI BibTeX RDF	behaviour definition (programming) language, smart terrain, game AI
33	Euclid Keramopoulos, Philippos Pouyioutas, Tasos Ptohos	A Formal Definition of the Users View (UV) of the Graphical Object Query Language (GOQL).	IV	2002	DBLP DOI BibTeX RDF	Object-Oriented Databases, Formal Definition, Graphical Query Languages
32	Qiang Yue, Hao Wang 0002, Li Zha, Li Wei, Zhiwei Xu 0002	An Approach to Exception Handling for Service-Oriented Systems.	ICWS	2006	DBLP DOI BibTeX RDF	message level exception handling (Ml- Eh), definition space, meta-definition mode, algorithm
32	Yue Yang, Baoxin Li	Non-linear image enhancement for digital TV applications using Gabor filters.	ICME	2005	DBLP DOI BibTeX RDF	high-definition image, nonlinear image enhancement, digital TV application, contrast sensitivity function, visual quality perception, standard definition source, Gabor filter, human visual system
32	Jay P. Harrison, Brian Christensen, Michael Gulli, Joseph Bianco	Virtual Collaborative Simulation Environment for Integrated Product and Process Development.	HPDC	1996	DBLP DOI BibTeX RDF	virtual collaborative engineering, integrated product/process design, distributed real-time visualization, Deneb, dynamic simulation environment, integrated product teams, interactive evaluation, acquisition programs, computer-aided manufacturing, continuous simulation, graphics package, interactive graphic simulation, system performance requirements, configuration definition, assembly sequences, tooling concepts, shop floor layout, handling requirements, system definition activities, virtual reality, real-time systems, groupware, training, distributed processing, digital simulation, wide area networks, WAN, data visualisation, product development, CAD/CAM, manufacturing processes, engineering graphics, design reviews, discrete simulation, suppliers
32	Billy G. Claybrook	A Facility for Defining and Manipulating Generalized Data Structures.	ACM Trans. Database Syst.	1977	DBLP DOI BibTeX RDF	data structure definition facility, data structures, database management, data definition languages
31	Yoshiki Mitani, Tomoko Matsumura, Mike Barker, Seishiro Tsuruho, Katsuro Inoue, Ken-ichi Matsumoto	Proposal of a Complete Life Cycle In-Process Measurement Model Based on Evaluation of an In-Process Measurement Experiment Using a Standardized Requirement Definition Process.	ESEM	2007	DBLP DOI BibTeX RDF	In-process measurement, Requirement definition phase measurement, Enterprise Architecture, Empirical software engineering, Software process measurement
31	Aoying Zhou, Shuigeng Zhou, Wen Jin, Zengping Tian	An Improved Definition of Multidimensional Inter-transaction Association Rule.	PAKDD	1999	DBLP DOI BibTeX RDF	Multidimensional Transaction Database, Multidimensional Inter-transaction Association Rule (MDITAR), Data Mining, Definition
31	Albert Cohen 0001, Jean-Francois Collard	Instance-Wise Reaching Definition Analysis for Recursive Programs using Context-Free Transductions.	IEEE PACT	1998	DBLP DOI BibTeX RDF	Reaching Definition Analysis, Push-down Transducers, Context-free Languages, Recursive Programs
31	Atsushi Ohnishi	CARD: An Environment for Software Requirements Definition.	APSEC	1995	DBLP DOI BibTeX RDF	software design, software specification, requirements definition
29	Danny C. C. Poo	Policy Definition in Application-Domain-Related Classes.	TOOLS (27)	1998	DBLP DOI BibTeX RDF	Software Maintenance, Policies, Business Rules, Classes, Object-Oriented Software Engineering
29	G. C. H. Sharman	A Constructive Definition of Third Normal Form.	SIGMOD Conference	1976	DBLP DOI BibTeX RDF
28	Shay Artzi, Adam Kiezun, Jaime Quinonez, Michael D. Ernst	Parameter reference immutability: formal definition, inference tool, and comparison.	Autom. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Reference immutability, Combined analysis, Definition, Readonly
28	Luis Reynoso, Elvira Rolón Aguilar, Marcela Genero, Félix García 0001, Francisco Ruiz 0001, Mario Piattini	Formal Definition of Measures for BPMN Models.	IWSM/Mensura	2009	DBLP DOI BibTeX RDF	Measure, Business Process, OCL, BPMN, Formal Definition
28	Jesús M. Pérez, Pablo Sánchez Espeso, Marcos Martinez	Real-Time Stereo Matching Using Memory-Efficient Belief Propagation for High-Definition 3D Tele-Presence Systems.	CIARP	2009	DBLP DOI BibTeX RDF	FPGA, Real-Time, Stereo-vision, Belief propagation, High-Definition
28	Effie Lai-Chong Law, Virpi Roto, Arnold P. O. S. Vermeeren, Joke Kort, Marc Hassenzahl	Towards a shared definition of user experience.	CHI Extended Abstracts	2008	DBLP DOI BibTeX RDF	usability, user experience, definition
28	María Díaz-Ley, Félix García 0001, Mario Piattini	MIS-PyME Software Measurement Maturity Model-Supporting the Definition of Software Measurement Programs.	PROFES	2008	DBLP DOI BibTeX RDF	Software measurement maturity model, measurement program definition, MIS-PyME, SMEs, success factor
28	Yoshiki Mitani, Tomoko Matsumura, Mike Barker, Seishiro Tsuruho, Katsuro Inoue, Ken-ichi Matsumoto	An Empirical Study of Product Measurement in a Standardized Requirement Definition Process with 28 Japanese Government Software Projects.	IWSM/Metrikon/Mensura	2008	DBLP DOI BibTeX RDF	Requirements Definition Phase Measurement
28	Belgacem Ben Youssef, Jim Bizzocchi, John Bowes	The future of video: user experience in a large-scale, high-definition video display environment.	Advances in Computer Entertainment Technology	2005	DBLP DOI BibTeX RDF	postproduction, video, narrative, resolution, display, television, ambient, high definition, video art
28	Luigi Lavazza, Giancarlo Barresi	Automated support for process-aware definition and execution of measurement plans.	ICSE	2005	DBLP DOI BibTeX RDF	goal/question/metrics (GQM), software metrics definition, software metrics, process modeling, software process measurement
28	David C. Luckham, James Vera	An Event-Based Architecture Definition Language.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	partially ordered event sets, formal constraints, event patterns, simulation, architecture, concurrency, prototyping, causality, Rapide, architecture definition languages
26	Ratul Kumar Baruah, Santanu Mahapatra	Concept of "Crossover Point" and its Application on Threshold Voltage Definition for Undoped-Body Transistors.	VLSI Design	2009	DBLP DOI BibTeX RDF
26	Patryk Burek	Adoption of the Classical Theory of Definition to Ontology Modeling.	AIMSA	2004	DBLP DOI BibTeX RDF	Knowledge Representation, Knowledge Modeling, Ontology Engineering
26	Amador Durán 0001, David Benavides 0001, Jesús Bermejo Muñoz	Applying System Families Concepts to Requirements Engineering Process Definition.	PFE	2003	DBLP DOI BibTeX RDF	Requirements Engineering Process, Systems Families
26	Erwan Breton, Jean Bézivin	Weaving Definition and Execution Aspects of Process Meta-models.	HICSS	2002	DBLP DOI BibTeX RDF	Workflow, Process modeling, Meta-modeling, MOF
26	Augusto Ciuffoletti	Self-stabilization - beyond the token ring circulation (brief announcement).	PODC	2000	DBLP DOI BibTeX RDF
25	Rodrigo O. Spínola, Felipe C. R. Pinto, Guilherme Horta Travassos	UbiCheck: an approach to support requirements definition in the ubicomp domain.	SAC	2010	DBLP DOI BibTeX RDF	ubiquitous computing, empirical study, requirement engineering, requirement definition
25	Sal Cilella, Craighton Berman, Justin Rheinfrank	Experience definition through storyboarding.	TEI	2010	DBLP DOI BibTeX RDF	product definition, user interface, prototype, storyboard, contextual, technique, human-centered
25	Leon J. Osterweil	Formalisms to Support the Definition of Processes.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF	processes, process language, process definition
25	Ondrej Krejcar	Utilization Possibilities of Area Definition in User Space for User-Centric Pervasive-Adaptive Systems.	MOBILWARE Workshops	2009	DBLP DOI BibTeX RDF	PDPT Framework, Area Definition, Mobile Device, Localization, Wi-Fi, Prebuffering
25	Robert L. Wittman Jr.	Defining a standard: the Military Scenario Definition Language version 1.0 standard.	SpringSim	2009	DBLP BibTeX RDF	military scenario definition language
25	Jens Bombolowsky, Edmund Eberleh	Ten steps of integrating user feedback into the product definition process: a closed loop approach.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	product definition process, user feedback, user centered design process
25	Sangtae Kim, Saeko Wakasugi, Teiichi Nishioka	Utilizing high definition cinema system to design an immersive experience of the paintings of Ito Jakuchu.	SIGGRAPH ASIA Educators Program	2009	DBLP DOI BibTeX RDF	high-definition digital cinema system, paintings, immersive virtual environment, three-dimensional graphics
25	Roberto Santana Tapia, Novica Zarvic	Partnering structure definition for networked businesses.	SAC	2008	DBLP DOI BibTeX RDF	networked business, partnering structure, responsibilities definition, roles specification, organizational engineering, value modeling
25	Ron Hofer, Dirk Zimmermann, Melanie Jekal	Alignment of Product Portfolio Definition and User Centered Design Activities.	HCI (1)	2007	DBLP DOI BibTeX RDF	Business Requirements, Customer Requirements, Product Definition, Product Portfolio Management, User Centered Design, Marketing, Usability Engineering, User Requirements
25	Tao Lv 0001, Jianping Fan 0002, Xiaowei Li 0001, Ling-Yi Liu	Observability Statement Coverage Based on Dynamic Factored Use-Definition Chains for Functional Verification.	J. Electron. Test.	2006	DBLP DOI BibTeX RDF	dynamic factored use-definition chains, observability, data-flow analysis, design verification, coverage metrics