Search results for "abstraction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	David Boaz, Yuval Shahar	Idan: A Distributed Temporal-Abstraction Mediator for Medical Databases.	AIME	2003	DBLP DOI BibTeX RDF
13	Edmund M. Clarke	SAT-Based Counterexample Guided Abstraction Refinement in Model Checking.	CADE	2003	DBLP DOI BibTeX RDF
13	Alessandro Armando, Luca Compagna	Abstraction-Driven SAT-based Analysis of Security Protocols.	SAT	2003	DBLP DOI BibTeX RDF
13	Aarti Gupta, Malay K. Ganai, Zijiang Yang 0006, Pranav Ashar	Iterative Abstraction using SAT-based BMC with Proof Analysis.	ICCAD	2003	DBLP DOI BibTeX RDF
13	Yin-Heung Pauline Ng, Bernardo Silva Carmo, Guang-Zhong Yang	Flow Field Abstraction and Vortex Detection for MR Velocity Mapping.	MICCAI (1)	2003	DBLP DOI BibTeX RDF
13	Abraham Otero, Paulo Félix, Carlos Vázquez Regueiro, Miguel A. Rodríguez, Senén Barro	A model to perform knowledge-based temporal abstraction over multiple signals.	TIME	2003	DBLP DOI BibTeX RDF
13	Joachim Thees	Type Abstraction in Formal Protocol Specifications with Container Types.	FORTE	2003	DBLP DOI BibTeX RDF
13	Michael Harder, Jeff Mellen, Michael D. Ernst	Improving Test Suites via Operational Abstraction.	ICSE	2003	DBLP DOI BibTeX RDF
13	Romain Rouvoy, Philippe Merle	Abstraction of Transaction Demarcation in Component-Oriented Platforms.	Middleware	2003	DBLP DOI BibTeX RDF
13	Andrew P. Black, Jie Huang 0040, Rainer Koster, Jonathan Walpole, Calton Pu	Infopipes: An abstraction for multimedia streaming.	Multim. Syst.	2002	DBLP DOI BibTeX RDF	Real-rate systems, Quality of service, Communication, Streaming, Feedback
13	Amir Pnueli, Jessie Xu, Lenore D. Zuck	Liveness with (0, 1, infty)-Counter Abstraction.	CAV	2002	DBLP DOI BibTeX RDF
13	Michael Liljenstam, Yougu Yuan, Brian J. Premore, David M. Nicol	A Mixed Abstraction Level Simulation Model of Large-Scale Internet Worm Infestations.	MASCOTS	2002	DBLP DOI BibTeX RDF
13	Dennis Dams	Abstraction in Software Model Checking: Principles and Practice (Tutorial Overview and Bibliography).	SPIN	2002	DBLP DOI BibTeX RDF
13	María-del-Mar Gallardo, Jesús Martínez, Pedro Merino 0001, Ernesto Pimentel 0001	alpha SPIN: Extending SPIN with Abstraction.	SPIN	2002	DBLP DOI BibTeX RDF
13	Adi Botea, Martin Müller 0003, Jonathan Schaeffer	Using Abstraction for Planning in Sokoban.	Computers and Games	2002	DBLP DOI BibTeX RDF
13	Gaëtan Rey, Joëlle Coutaz	Le contexteur: une abstraction logicielle pour la réalisation de systèmes interactifs sensibles au contexte.	IHM	2002	DBLP DOI BibTeX RDF	interaction context, human computer interaction, ubiquitous computing, context modeling, software architecture modeling
13	Thomas Ball, Andreas Podelski, Sriram K. Rajamani	Relative Completeness of Abstraction Refinement for Software Model Checking.	TACAS	2002	DBLP DOI BibTeX RDF
13	Aya Aner-Wolf, Lior Wolf	Video de-Abstraction or How to save money on your wedding video.	WACV	2002	DBLP DOI BibTeX RDF
13	Martine Ceberio, Laurent Granvilliers	Solving Nonlinear Equations by Abstraction, Gaussian Elimination, and Interval Methods.	FroCoS	2002	DBLP DOI BibTeX RDF
13	Timo Aaltonen, Tommi Mikkonen	Managing Software Evolution with a Formalized Abstraction Hierarchy.	ICECCS	2002	DBLP DOI BibTeX RDF
13	Martin Foltin, Brian Foutz, Sean Tyler	Efficient stimulus independent timing abstraction model based on a new concept of circuit block transparency.	DAC	2002	DBLP DOI BibTeX RDF	timing analysis, VLSI design, timing model, circuit optimization
13	Berthe Y. Choueiry, Amy M. Davis	Dynamic Bundling: Less Effort for More Solutions.	SARA	2002	DBLP DOI BibTeX RDF
13	Yoshiaki Okubo, Xiaobo Li 0001	Learning Semi-Lattice Codebooks for Image Compression.	SARA	2002	DBLP DOI BibTeX RDF
13	Amy McGovern	Autonomous Discovery of Abstractions through Interaction with an Environment.	SARA	2002	DBLP DOI BibTeX RDF
13	Eric A. Hansen, Rong Zhou 0001, Zhengzhu Feng	Symbolic Heuristic Search Using Decision Diagrams.	SARA	2002	DBLP DOI BibTeX RDF
13	Robert M. Colomb, Christopher N. G. Dampney, Michael Johnson	Category-theoretic fibration as an abstraction mechanism in information systems.	Acta Informatica	2001	DBLP DOI BibTeX RDF
13	Shi-Kuo Chang, Taieb Znati	Adlet: An Active Document Abstraction for Multimedia Information Fusion.	IEEE Trans. Knowl. Data Eng.	2001	DBLP DOI BibTeX RDF	active index system, information fusion, Active document
13	Laurent Alonso, François Cuny, Sylvain Petitjean, Jean-Claude Paul, Sylvain Lazard, Eric Wies	The virtual mesh: a geometric abstraction for efficiently computing radiosity.	ACM Trans. Graph.	2001	DBLP DOI BibTeX RDF	virtual mesh, wavelets, illumination, radiosity, Curves and surfaces
13	Changick Kim, Jenq-Neng Hwang	Object-based video abstraction using cluster analysis.	ICIP (2)	2001	DBLP DOI BibTeX RDF
13	Hao Zheng 0001, Eric Mercer, Chris J. Myers	Automatic Abstraction for Verification of Timed Circuits and Systems.	CAV	2001	DBLP DOI BibTeX RDF
13	Stanislaw P. Maj, D. Veal, Rick Duley	A proposed new high level abstraction for computer technology.	SIGCSE	2001	DBLP DOI BibTeX RDF	computer technology education, constructivisim, modeling
13	Rodrigo Rodrigues 0001, Miguel Castro 0001, Barbara Liskov	BASE: Using Abstraction to Improve Fault Tolerance.	SOSP	2001	DBLP DOI BibTeX RDF
13	Ying Li, Wei Ming, C.-C. Jay Kuo	Semantic Video Content Abstraction Based On Multiple Cues.	ICME	2001	DBLP DOI BibTeX RDF
13	Yassine Lakhnech, Saddek Bensalem, Sergey Berezin, Sam Owre	Incremental Verification by Abstraction.	TACAS	2001	DBLP DOI BibTeX RDF
13	Patrice Godefroid, Michael Huth 0001, Radha Jagadeesan	Abstraction-Based Model Checking Using Modal Transition Systems.	CONCUR	2001	DBLP DOI BibTeX RDF
13	Miguel Castro 0001, Rodrigo Rodrigues 0001, Barbara Liskov	Using Abstraction To Improve Fault Tolerance.	HotOS	2001	DBLP DOI BibTeX RDF
13	Peter J. Keleher	A high-level abstraction of shared accesses.	ACM Trans. Comput. Syst.	2000	DBLP DOI BibTeX RDF	programming libraries, update protocols, shared memory, DSM
13	Sergei Gorlatch, Christian Lengauer	Abstraction and Performance in the Design of Parallel Programs: An Overview of the SAT Approach.	Acta Informatica	2000	DBLP DOI BibTeX RDF
13	Jian Shen, Jacob A. Abraham	An RTL Abstraction Technique for Processor Microarchitecture Validation and Test Generation.	J. Electron. Test.	2000	DBLP DOI BibTeX RDF	microprocessor design validation, coverage measurement, test generation
13	Gustavo Rossi, Daniel Schwabe, Fernando Lyardet	Abstraction and Reuse Mechanisms in Web Application Models.	ER (Workshops)	2000	DBLP DOI BibTeX RDF
13	John Hamer, Adriana Ferraro	The versatile list: a pathway to abstraction.	ACSE	2000	DBLP DOI BibTeX RDF
13	Alexander Egyed	Semantic Abstraction Rules for Class Diagrams.	ASE	2000	DBLP DOI BibTeX RDF
13	Catholijn M. Jonker, Jan Treur, Wieke de Vries	Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments.	AOSE	2000	DBLP DOI BibTeX RDF
13	Patrick Cousot	Partial Completeness of Abstract Fixpoint Checking.	SARA	2000	DBLP DOI BibTeX RDF
13	Robert Glück, Michael Leuschel	Abstraction-Based Partial Deduction for Solving Inverse Problems - A Transformational Approach to Software Verification.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
13	Parosh Aziz Abdulla, Aurore Annichini, Saddek Bensalem, Ahmed Bouajjani, Peter Habermehl, Yassine Lakhnech	Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis.	CAV	1999	DBLP DOI BibTeX RDF
13	Babak Falsafi, David A. Wood 0001	Parallel Dispatch Queue: A Queue-Based Programming Abstraction to Parallelize Fine-Grain Communication Protocols.	HPCA	1999	DBLP DOI BibTeX RDF
13	Luigi Palopoli 0001, Luigi Pontieri, Domenico Ursino	Automatic and Semantic Techniques for Scheme Integration and Scheme Abstraction.	DEXA	1999	DBLP DOI BibTeX RDF
13	Heike Wehrheim	Data Abstraction for CSP-OZ.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
13	Gisbert Dittrich	AV-Petri Systems: How to Get Together Abstraction and Views for Petri Systems?	EUROCAST	1999	DBLP DOI BibTeX RDF
13	Yonit Kesten, Amir Pnueli	Verifying Liveness by Augmented Abstraction.	CSL	1999	DBLP DOI BibTeX RDF
13	Umakishore Ramachandran, Rishiyur S. Nikhil, Nissim Harel, James M. Rehg, Kathleen Knobe	Space-Time Memory: A Parallel Programming Abstraction for Interactive Multimedia Applications.	PPoPP	1999	DBLP DOI BibTeX RDF
13	Peter Ochsenschläger, Jürgen Repp, Roland Rieke, Ulrich Nitsche	The SH-Verification Tool - Abstraction-Based Verification of Co-operating Systems.	Formal Aspects Comput.	1998	DBLP DOI BibTeX RDF	Simple language homomorphisms, Asynchronous product automata, Approximate satisfaction of safety and liveness properties, Model checking, Verification tools
13	Maxim Lifantsev, Leo Bachmair	An LPO-based Termination Ordering for Higher-Order Terms without lambda-abstraction.	TPHOLs	1998	DBLP DOI BibTeX RDF
13	Olaf Müller	I/O Automata and Beyond: Temporal Logic and Abstraction in Isabelle.	TPHOLs	1998	DBLP DOI BibTeX RDF
13	Marco Benini, Sara Kalvala, Dirk Nowotka	Program Abstraction in a Higher-Order Logic Framework.	TPHOLs	1998	DBLP DOI BibTeX RDF
13	John Hatcliff, Matthew B. Dwyer, Shawn Laubach	Staging Static Analyses Using Abstraction-Based Program Specialization.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
13	Noriya Kobayashi, Sharad Malik	Delay abstraction in combinational logic circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1997	DBLP DOI BibTeX RDF
13	David A. Maluf, Gio Wiederhold	Abstraction of Representation for Interoperation.	ISMIS	1997	DBLP DOI BibTeX RDF
13	Claus Schneider	A methodology for hardware architecture trade-off at different levels of abstraction.	ED&TC	1997	DBLP DOI BibTeX RDF
13	David C. DiNucci	A Simple and Efficient Process and Communication Abstraction for Network Operating Systems.	CANPC	1997	DBLP DOI BibTeX RDF
13	Steffen van Bakel, Franco Barbanera, Maribel Fernández	Rewrite Systems with Abstraction and beta-Rule: Types, Approximants and Normalization.	ESOP	1996	DBLP DOI BibTeX RDF
13	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
13	Martin Hofmann 0001, Donald Sannella	On Behavioral Abstraction and Behavioural Satisfaction in Higher-Order Logic.	TAPSOFT	1995	DBLP DOI BibTeX RDF
13	Edmund M. Clarke, Orna Grumberg, Somesh Jha	Veryfying Parameterized Networks using Abstraction and Regular Languages.	CONCUR	1995	DBLP DOI BibTeX RDF
13	Pedro R. D'Argenio, Sjouke Mauw	Delayed choice for process algebra with abstraction.	CONCUR	1995	DBLP DOI BibTeX RDF
13	Norbert Fuhr, Ulrich Pfeifer	Probabilistic Information Retrieval as a Combination of Abstraction, Inductive Learning, and Probabilistic Assumptions.	ACM Trans. Inf. Syst.	1994	DBLP DOI BibTeX RDF	probabilistic indexing, logistic regression, controlled vocabulary, probabilistic retrieval
13	Edmund M. Clarke, Orna Grumberg, David E. Long	Model Checking and Abstraction.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	model checking, temporal logic, abstract interpretation, binary decision diagrams (BDDs)
13	John Esch	Contexts and Concepts, Abstraction Duals.	ICCS	1994	DBLP DOI BibTeX RDF	White Box, Relation Instances, Contexts, Aggregations, Contraction, Concepts, Conceptual Graphs, Expansion, Black Box, Individuals
13	Mark Saaltink, Sentot Kromodimoeljo, Bill Pase, Dan Craigen, Irwin Meisels	An EVES Data Abstraction Example.	FME	1993	DBLP DOI BibTeX RDF
13	Don Pigozzi, Antonino Salibra	A Representation Theorem for Lambda Abstraction Algebras.	MFCS	1993	DBLP DOI BibTeX RDF
13	Thomas Kunz	Issues in Event Abstraction.	PARLE	1993	DBLP DOI BibTeX RDF
13	Edmund M. Clarke, Orna Grumberg, David E. Long	Model Checking and Abstraction.	POPL	1992	DBLP DOI BibTeX RDF
13	Michele Bugliesi	On the Semantics of Inheritance in Logic Programming: Compositionality and Full Abstraction.	ELP	1992	DBLP DOI BibTeX RDF
13	Raj Yavatkar, Vispi Dumasia	Reliagram-a communication abstraction for distributed processing.	SPDP	1991	DBLP DOI BibTeX RDF
13	V. Sundararajan, Hitesh N. Dholakia, N. Parameswaran	An RMS for Temporal Reasoning with Abstraction.	ICCI	1991	DBLP DOI BibTeX RDF	Causal and Temporal Reasoning, Reason Maintenance Systems, Representation of Action and Time
13	Jörg Desel	On abstraction of nets.	Applications and Theory of Petri Nets	1990	DBLP DOI BibTeX RDF	Net morphisms, coarsening and composition of nets, transformations
13	Gail A. Alverson, William G. Griswold, David Notkin, Lawrence Snyder	A flexible communication abstraction for nonshared memory parallel computing.	SC	1990	DBLP DOI BibTeX RDF
13	Timothy J. Hickey	CLP* and Constraint Abstraction.	POPL	1989	DBLP DOI BibTeX RDF	Prolog
13	Ivan B. Liss, Thomas C. McMillan	An example illustrating modularity, abstraction & information hiding using.	SIGCSE	1989	DBLP DOI BibTeX RDF	Pascal
13	Alan L. Cox, Robert J. Fowler	The Implementation of a Coherent Memory Abstraction on a NUMA Multiprocessor: Experiences with PLATINUM.	SOSP	1989	DBLP DOI BibTeX RDF
13	Mark J. Silvestri	Product Abstraction Evolution by Active Process Facilitators.	MIT-JSME Workshop	1989	DBLP DOI BibTeX RDF
13	Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton	On the verification of sequential machines at differing levels of abstraction.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1988	DBLP DOI BibTeX RDF
13	George Dayantis	Types, Modularisation and Abstraction in Logic Programming.	ALP	1988	DBLP DOI BibTeX RDF
13	XinJie Jiang, YongSen Xu	NUSL: An Executable Specification Language Based on Data Abstraction.	VDM Europe	1988	DBLP DOI BibTeX RDF
13	Eva Hudlicka, Kevin Corker	Integrating Causal Reasoning at Different Levels of Abstraction.	IEA/AIE (Vol. 1)	1988	DBLP DOI BibTeX RDF
13	Richard H. Lathrop, Robert J. Hall 0001, Gavan Duffy, K. Mark Alexander, Robert S. Kirk	Advances in Functional Abstraction from Structure.	DAC	1988	DBLP BibTeX RDF
13	Cornelis Huizing, Rob Gerth, Willem P. de Roever	Full Abstraction of a Real-Time Denotational Semantics for an Occam-like Language.	POPL	1987	DBLP DOI BibTeX RDF
13	Ivan B. Liss, Thomas C. McMillan	Trees - a CS2 programming project which introduces a data type using procedural and data abstraction.	SIGCSE	1987	DBLP DOI BibTeX RDF
13	Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton	On the Verification of Sequential Machines at Differing Levels of Abstraction.	DAC	1987	DBLP DOI BibTeX RDF
13	J. Eliot B. Moss, Nancy D. Griffeth, Marc H. Graham	Abstraction in Recovery Management.	SIGMOD Conference	1986	DBLP DOI BibTeX RDF
13	David A. Plaisted	Abstraction Using Generalization Functions.	CADE	1986	DBLP DOI BibTeX RDF
13	David Beech	Criteria for a standard command language based on data abstraction.	AFIPS National Computer Conference	1982	DBLP DOI BibTeX RDF
13	Michael Levin	An Introduction To DIAM Levels Of Abstraction In Accessing Information.	ACM Annual Conference (1)	1978	DBLP DOI BibTeX RDF	DIAM, Relational DIAM, Database, Data model, Information management, Relational model, Data independence
11		To change the world, take a chance.	Commun. ACM	2011	DBLP DOI BibTeX RDF
11		UX design and agile: a natural fit? (Talking with Julian Gosper, Jean-Luc Agathos, Richard Rutter, and Terry Coatta).	Commun. ACM	2011	DBLP DOI BibTeX RDF
11		In the Virtual Extension.	Commun. ACM	2011	DBLP DOI BibTeX RDF
11	Philippe Suter, Mirco Dotta, Viktor Kuncak	Decision procedures for algebraic data types with abstractions.	POPL	2010	DBLP DOI BibTeX RDF	data structure, decision procedure, algebraic data type, catamorphism
11	Sarah Rastkar	Summarizing software concerns.	ICSE (2)	2010	DBLP DOI BibTeX RDF	human-centric software engineering
11	Nikolaj S. Bjørner, Joe Hendrix	Linear Functional Fixed-points.	CAV	2009	DBLP DOI BibTeX RDF