Search results for "data abstraction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Burt M. Leavenworth	A Data Abstraction Approach to Database Modelling.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
4	Lawrence A. Rowe	Data Abstraction From a Programming Language Viewpoint.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
3	Young Jin Jung, Silvia Nittel	Geosensor Data Abstraction for Environmental Monitoring Application.	GIScience	2008	DBLP DOI BibTeX RDF	Sensor data abstraction, Slope grid, GIS, Surface model, Geosensor network
3	Adalberto Farias, Alexandre Mota, Augusto Sampaio	Efficient CSPZ Data Abstraction.	IFM	2004	DBLP DOI BibTeX RDF	Integrated formalism, CSPZ, Java, model checking, verification, specification, tool support, data abstraction
3	Heike Wehrheim	Data Abstraction Techniques in the Validation of CSP-OZ Specifications.	Formal Asp. Comput.	2000	DBLP DOI BibTeX RDF	Integrated formal methods, CSP-OZ, Verification, Data abstraction
3	Michael L. Brodie	Data Abstraction for Designing Database-Intensive Applications.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
3	James W. Thatcher	Data Abstraction, Data Bases and Conceptual Modelling.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF	CLEAR
3	Anthony I. Wasserman	The Extension of Data Abstraction to Database Management.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
3	Flaviu Cristian	On the Specification of Behavioural Constraints.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
3	Charles Rich	Multiple Points of View in Modelling Programs.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
3	Hartmut Wedekind	Constructive Abstract Data Types (CAD).	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
3	Lawrence A. Rowe	Issues in the Design of Database Programming Languages.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
3	Patrick J. Hayes, Gary G. Hendrix	A Logical View of Types.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
3	W. Terry Hardgrave, Donald R. Deutsch	Processing Data Model Abstractions.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
3	Donald R. Chand, Surya B. Yadav	On the application of data abstraction facilities.	ACM Annual Conference	1978	DBLP DOI BibTeX RDF	Abstraction facilities, Application of data abstraction, Design and implementation of programming languages, Encapsulated data types, Quality software, Programming methodology
3	James J. Horning	Some Desirable Properties of Data Abstraction Facilities.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP BibTeX RDF
2	William R. Cook	On understanding data abstraction, revisited.	OOPSLA	2009	DBLP DOI BibTeX RDF	ADT, object, abstract data type, class
2	Xin Qi, Andrew C. Myers	Masked types for sound object initialization.	POPL	2009	DBLP DOI BibTeX RDF	conditional masks, cyclic data structures, null pointer exceptions, invariants, data abstraction
2	Pablo Nogueira, Juan José Moreno-Navarro	Bialgebra views: a way for polytypic programming to cohabit with data abstraction.	ICFP-WGP	2008	DBLP DOI BibTeX RDF	bialgebras, program generation, abstract types, polytypic programming
2	Christopher M. Sadler, Margaret Martonosi	Dali: a communication-centric data abstraction layer for energy-constrained devices in mobile sensor networks.	MobiSys	2007	DBLP DOI BibTeX RDF	data search and storage, energy efficient communications, mobile ad hoc sensor networks
2	Montserrat Batet, Karina Gibert, Aïda Valls	The Data Abstraction Layer as Knowledge Provider for a Medical Multi-agent System.	K4CARE	2007	DBLP DOI BibTeX RDF	multi-agent systems, knowledge representation, knowledge engineering, home care
2	Nuanwan Soonthornphisaj, Supakpong Jinaratana, Taweesak Tanwandee, Masayuki Numao	Knowledge Discovery for Hepatitis C Virus Diagnosis: A Framework for Mining Interesting Classification Rules.	ICIC	2007	DBLP DOI BibTeX RDF	Interesting Classification rules, time-series, Data Abstraction
2	Qingguang Cui, Matthew O. Ward, Elke A. Rundensteiner, Jing Yang	Measuring Data Abstraction Quality in Multiresolution Visualizations.	IEEE Trans. Vis. Comput. Graph.	2006	DBLP DOI BibTeX RDF	Multiresolution Visualization Authors 1:, Clustering, Metrics, Sampling
2	Jens R. Calame, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova	Data Abstraction and Constraint Solving for Conformance Testing.	APSEC	2005	DBLP DOI BibTeX RDF
2	Aleksandar Dimovski, Dan R. Ghica, Ranko Lazic	Data-Abstraction Refinement: A Game Semantic Approach.	SAS	2005	DBLP DOI BibTeX RDF
2	Arron R. Walker, Binh Pham, Anthony J. Maeder	A framework for a dynamic interactive 3D GIS for non-expert users.	GRAPHITE	2003	DBLP DOI BibTeX RDF	data abstraction model, geographic information system, relevance feedback, visual query language
2	K. Rustan M. Leino, Greg Nelson	Data abstraction and information hiding.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	Abstract variables, abstraction dependencies, modifies clauses, object-oriented programming, specifications, modular verification, extended static checking
2	Armelle Prigent, Franck Cassez, Philippe Dhaussy, Olivier Roux	Extending the Translation from SDL to Promela.	SPIN	2002	DBLP DOI BibTeX RDF	SDL formalism, save operator, model-checking, data abstraction
2	Andreas Seyfang, Silvia Miksch, Werner Horn, Michael S. Urschitz, Christian Popow, Christian F. Poets	Using Time-Oriented Data Abstraction Methods to Optimize Oxygen Supply for Neonates.	AIME	2001	DBLP DOI BibTeX RDF
2	Yonit Kesten, Amir Pnueli	Control and Data Abstraction: The Cornerstones of Practical Formal Verification.	STTT	2000	DBLP DOI BibTeX RDF	Control abstraction, Safety and liveness property, Weak and strong fairness, Model checking, Formal verification, Data abstraction, Linear temporal logic, Network invariant
2	Heike Wehrheim	Data Abstraction for CSP-OZ.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
2	Paul Lu	Aurora: Scoped Behavior for Per-Context Optimized Distributed Data Sharing. (PDF / PS)	IPPS	1997	DBLP DOI BibTeX RDF	scoped behaviour, per-context optimized distributed data sharing, standard C++-based Aurora, shared data abstraction, distributed memory hardware, data structures, source code, parallel performance, Aurora
2	Jürgen Dingel, Thomas Filkorn	Model Checking for Infinite State Systems Using Data Abstraction, Assumption-Commitment Style reasoning and Theorem Proving.	CAV	1995	DBLP DOI BibTeX RDF
2	Mark Saaltink, Sentot Kromodimoeljo, Bill Pase, Dan Craigen, Irwin Meisels	An EVES Data Abstraction Example.	FME	1993	DBLP DOI BibTeX RDF
2	Gregory L. Heileman, Michael Georgiopoulos, William D. Roome	A General Framework for Concurrent Simulation of Neural Network Models.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	discrete event nonlinear dynamical systems, continuous-time differential equations, discrete-time difference equations, concurrent object-oriented discrete event simulation, data structures, object-oriented programming, parallel architectures, discrete event simulation, neural nets, object-oriented language, nonlinearities, parallel languages, data abstraction, neural network models, concurrent simulation, general-purpose parallel computer
2	Judy M. Bishop	The Effect of Data Abstraction on Loop Programming Techniques.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	loop programming techniques, loop algorithms, generic sorting routine, generic data types, software engineering, data structures, Ada, generators, abstract data types, iterator, data abstraction
2	Toshimi Minoura, S. Sitharama Iyengar	Data and Time Abstraction Techniques for Analyzing Multilevel Concurrent Systems.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	time abstraction techniques, multilevel concurrent systems, bounced-buffer monitor, multilevel concurrency scheme, distributed databases, concurrency control, database system, data abstraction
2	XinJie Jiang, YongSen Xu	NUSL: An Executable Specification Language Based on Data Abstraction.	VDM Europe	1988	DBLP DOI BibTeX RDF
2	R. C. B. Cooper, K. G. Hamilton	Preserving Abstraction in Concurrent Programming.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	modular programming, abstractinterfaces, CLU, interface abstraction, monitor deadlock, fine-grain locking, parallel programming, data structures, programming languages, concurrent programming, system recovery, high level languages, data abstraction
2	Philip Wadler	Views: A Way for Pattern Matching to Cohabit with Data Abstraction.	POPL	1987	DBLP DOI BibTeX RDF
2	Viswanathan Santhanam, John R. Potochnik	Data abstraction for Pascal programmers.	AFIPS National Computer Conference	1982	DBLP DOI BibTeX RDF
2	David Beech	Criteria for a standard command language based on data abstraction.	AFIPS National Computer Conference	1982	DBLP DOI BibTeX RDF
2	Flaviu Cristian	Robust Data Types.	Program Specification	1981	DBLP DOI BibTeX RDF	Key-words and phrases Data Abstraction, Partial Operations, Total Operations, Software Engineering, Program Verification, Exception Handling
2	Deepak Kapur, Mandayam K. Srivas	Expressiveness of the Operation Set of a Data Abstraction.	POPL	1980	DBLP DOI BibTeX RDF
2	Dennis McLeod, John Miles Smith	Abstraction in Databases.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
2	Martin S. Feather	Some Contrasts and Considerations of an Approach to Modelling.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
2	John F. Sowa	A Conceptual Schema for Knowledge-Based Systems.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
2	Lawrence A. Rowe	Tutorial on Programming Language Research.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP BibTeX RDF
2		Title, Table of Contents, Preface, Introduction, Participants.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP BibTeX RDF
2	Heinrich C. Mayr	Make More of Data Types.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
2	E. F. Codd	Data Models in Database Management.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
2	L. Peter Deutsch, Jaime G. Carbonell, Charles Rich, Raymond Reiter, Hartmut Wedekind, Patrick J. Hayes	Presentation (discussion).	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
2	Paolo Paolini	Abstract Data Types and Data Bases.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
2	Clesio Saraiva dos Santos, Antonio L. Furtado, José Mauro Volkmer de Castilho, Sergio E. R. de Carvalho	Towards Constructive Axiomatic Specifications.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
2	John Mylopoulos	An Overview of Knowledge Representation.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
2	R. G. G. Cattell	Integrating a Database System and Programming/Information Environment.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF	Cedar
2	John Miles Smith, Charles Rich, Jonathan J. King, Peter Hitchcock, Alexander Borgida, Jaime G. Carbonell	Consistency of Models (discussion).	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP BibTeX RDF
2	Edgar H. Sibley	Database Management Systems Past and Present.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
2	Hector J. Levesque	Incompleteness in Knowledge Bases.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
2	Jaime G. Carbonell	Default Reasoning and Inheritance Mechanisms on Type Hierarchies.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
2	Bengt G. Lundberg, Janis A. Bubenko Jr.	Axiomatic Information Modeling.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
2	John Mylopoulos	Tutorial on Artificial Intelligence Research.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP BibTeX RDF
2	Lawrence A. Rowe, L. Peter Deutsch, Mary Shaw, James W. Thatcher, Heinrich C. Mayr, Stephen N. Zilles, Patrick J. Hayes	Types (discussion).	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP BibTeX RDF
2	Michel Lacroix, Alain Pirotte	Associating Types with Domains of Relational Data Bases.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
2	Herbert Weber	Are Data Types Universal Modelling Concepts for Data Base Systems?	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF	PLAIN
2	Dennis McLeod	On Conceptual Database Modelling.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
2	Robert Balzer	Dynamic System Specification.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
2	Stephen N. Zilles, Ira P. Goldstein, E. F. Codd, Mary Shaw	Workshop Summary (discussion).	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP BibTeX RDF
2	Peter Buneman, Ira Winston	The Use of Data Type Information in an Interactive Database Environment.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
2	John Mylopoulos	A Perspective for Research on Conceptual Modelling.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF	TAXIS
2	Joachim W. Schmidt	Design, Specification and Application.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
2	Randy H. Katz	Heterogeneous Databases and High Level Abstraction.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
2	Joachim W. Schmidt, Michael L. Brodie, Diane C. P. Smith, Lawrence A. Rowe, R. G. G. Cattell	Application of Modelling Techniques (discussion).	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP BibTeX RDF
2	Gary G. Hendrix	Mediating the Views of Databases and Database Users.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
2	Jonathan J. King	Modelling Concepts for Reasoning About Access to Knowledge.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
2	Antonio Albano, Renzo Orsini	An Interactive Integrated System to Design and Use Data Bases.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
2	Raymond Reiter	Data Bases: A Logical Perspective.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
2	L. Peter Deutsch	Constraints: A Uniform Model for Data and Control.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
2	Dennis McLeod	Tutorial on Database Research.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP BibTeX RDF
2	Robert Balzer	What Should Be Modelled? (discussion).	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
2	Bertrand Meyer	A Three-Level Approach to the Description of Data Structures, and Notational Framework.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
2	Ira P. Goldstein	Integrating a Network-Structured Database Into an Object-Oriented Programming Language.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF	Smalltalk
2	Peter Hitchcock	Data Dictionaries in Open System Communication.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
2	William Mark	Use of Database Organization in the Consul System.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
2	John Mylopoulos, Martin S. Feather, Bertrand Meyer, Paolo Paolini, Diane C. P. Smith, Gary G. Hendrix	Relationships Between and Among Models (discussion).	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP BibTeX RDF
2	Peter Kreps	Relativism and Views in a Conceptual Data Base Model.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
2	Mary Shaw	Abstraction, Data Types, and Models for Software.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
2	Tore Amble	Integration of Data Base Design in Programming Languages.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
2	Alexander Borgida, Sol J. Greenspan	Data and Activities: Exploiting Hierarchies of Classes.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
2	Stephen N. Zilles	Types, Algebras and Modelling.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
2	Dennis McLeod, Peter Buneman, R. G. G. Cattell	Behaviour (discussion).	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP BibTeX RDF
2	James B. Morris	Data abstraction: A static implementation strategy.	SIGPLAN Symposium on Compiler Construction	1979	DBLP DOI BibTeX RDF	Generic procedure, Inline procedure, Open procedure, Programming languages, Abstract data type, Data type
2	Lawrence A. Rowe, Kurt A. Shoens	Data Abstractions, Views and Updates in RIGEL.	SIGMOD Conference	1979	DBLP DOI BibTeX RDF	relational data base systems, generators, programming languages, views, data abstraction
2	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 BibTeX RDF
2	Cornelis H. A. Koster	Visibility and Types.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP BibTeX RDF
2	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 BibTeX RDF
2	Richard B. Kieburtz	Programming without Pointer Variables.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP BibTeX RDF
2	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 BibTeX RDF
2	Moshé M. Zloof, S. Peter de Jong	The System for Business Automation: Programming Language.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP BibTeX RDF
2	Oscar Vallarino	On the Use of Bit Maps for Multiple Key Retrieval.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP BibTeX RDF