Search results for "abstraction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Annabelle McIver, Carroll Morgan	Abstraction and refinement in probabilistic systems.	SIGMETRICS Perform. Evaluation Rev.	2005	DBLP DOI BibTeX RDF
20	Stefan Gossens, Fevzi Belli, Sami Beydeda, Mario Dal Cin	View Graphs for Analysis and Testing of Programs at Different Abstraction Levels.	HASE	2005	DBLP DOI BibTeX RDF
20	Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya	Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification.	VSTTE	2005	DBLP DOI BibTeX RDF
20	Shuvendu K. Lahiri, Thomas Ball, Byron Cook	Predicate Abstraction via Symbolic Decision Procedures.	CAV	2005	DBLP DOI BibTeX RDF
20	Anubhav Gupta 0001, Ofer Strichman	Abstraction Refinement for Bounded Model Checking.	CAV	2005	DBLP DOI BibTeX RDF
20	Liang Zhang 0012, Mukul R. Prasad, Michael S. Hsiao	Interleaved Invariant Checking with Dynamic Abstraction.	CHARME	2005	DBLP DOI BibTeX RDF
20	Jian-quan Ouyang, Jin-Tao Li 0001, Yong-Dong Zhang 0001	Replay Scene Based Sports Video Abstraction.	FSKD (2)	2005	DBLP DOI BibTeX RDF
20	Stefano Ferilli, Teresa Maria Altomare Basile, Nicola Di Mauro, Floriana Esposito	On the LearnAbility of Abstraction Theories from Observations for Relational Learning.	ECML	2005	DBLP DOI BibTeX RDF
20	Dilian Gurov, Marieke Huisman	Interface Abstraction for Compositional Verificatio.	SEFM	2005	DBLP DOI BibTeX RDF
20	Robert Zimmer	Abstract Representation in Painting and Computing.	SARA	2005	DBLP DOI BibTeX RDF
20	Ugo Galassi, Attilio Giordana	Learning Regular Expressions from Noisy Sequences.	SARA	2005	DBLP DOI BibTeX RDF
20	Elvira Albert, Germán Puebla, Manuel V. Hermenegildo	Abstraction-Carrying Code.	LPAR	2004	DBLP DOI BibTeX RDF
20	Thomas Ball, Byron Cook, Shuvendu K. Lahiri, Lintao Zhang	Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement.	CAV	2004	DBLP DOI BibTeX RDF
20	Michael Huth 0001	An Abstraction Framework for Mixed Non-deterministic and Probabilistic Systems.	Validation of Stochastic Systems	2004	DBLP DOI BibTeX RDF
20	Per Bjesse, James H. Kukula	Using Counter Example Guided Abstraction Refinement to Find Complex Bugs.	DATE	2004	DBLP DOI BibTeX RDF
20	Nachum Dershowitz	Termination by Abstraction.	ICLP	2004	DBLP DOI BibTeX RDF
20	Roman Manevich, Shmuel Sagiv, Ganesan Ramalingam, John Field	Partially Disjunctive Heap Abstraction.	SAS	2004	DBLP DOI BibTeX RDF
20	Kairong Qian, Albert Nymeyer	Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases.	TACAS	2004	DBLP DOI BibTeX RDF
20	Jan Verelst	The Influence of the Level of Abstraction on the Evolvability of Conceptual Models of Information Systems.	ISESE	2004	DBLP DOI BibTeX RDF
20	Edmund M. Clarke, Orna Grumberg, Muralidhar Talupur, Dong Wang	High Level Verification of Control Intensive Systems Using Predicate Abstraction.	MEMOCODE	2003	DBLP DOI BibTeX RDF
20	Nicolas Bredèche, Zhongzhi Shi, Jean-Daniel Zucker	Perceptual Learning and Abstraction in Machine Learning.	IEEE ICCI	2003	DBLP DOI BibTeX RDF
20	Alexander Egyed	Compositional and Relational Reasoning during Class Abstraction.	UML	2003	DBLP DOI BibTeX RDF
20	Calin Belta, Guilherme A. S. Pereira, Vijay Kumar 0001	Abstraction and Control for Swarms of Robots.	ISRR	2003	DBLP DOI BibTeX RDF
20	Rajeev Alur, Thao Dang 0001, Franjo Ivancic	Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction.	HSCC	2003	DBLP DOI BibTeX RDF
20	Miroslav N. Velev	Automatic Abstraction of Equations in a Logic of Equality.	TABLEAUX	2003	DBLP DOI BibTeX RDF
20	Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Olaf Stursberg, Michael Theobald	Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement.	TACAS	2003	DBLP DOI BibTeX RDF
20	Kenneth L. McMillan, Nina Amla	Automatic Abstraction without Counterexamples.	TACAS	2003	DBLP DOI BibTeX RDF
20	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre	Lazy abstraction.	POPL	2002	DBLP DOI BibTeX RDF
20	Jongho Nang, Jinguk Jeong, Sungyong Park, Hojung Cha	An Abstraction of Low Level Video Features for Automatic Retrievals of Explosion Scenes.	IEEE Pacific Rim Conference on Multimedia	2002	DBLP DOI BibTeX RDF
20	Ilya Levner, Vadim Bulitko, Omid Madani, Russell Greiner	Performance of Lookahead Control Policies in the Face of Abstractions and Approximations.	SARA	2002	DBLP DOI BibTeX RDF
20	Miguel Antunes, António Rito Silva, Jorge Martins	An abstraction for awareness management in collaborative virtual environments.	VRST	2001	DBLP DOI BibTeX RDF
20	Doheon Lee, Mina Jeong, Yong-Kwan Won	Decision Trees for Multiple Abstraction Levels of Data.	CIA	2001	DBLP DOI BibTeX RDF
20	Håkon Wium Lie	Abstraction Levels in Web Document Formats.	DDEP/PODDP	2000	DBLP DOI BibTeX RDF
20	Sébastien Mustière, Lorenza Saitta, Jean-Daniel Zucker	Abstraction in Cartographic Generalization.	ISMIS	2000	DBLP DOI BibTeX RDF
20	Renate Motschnig-Pitrik	The Viewpoint Abstraction in Object-Oriented Modeling and the UML.	ER	2000	DBLP DOI BibTeX RDF
20	Aaron J. Quigley, Peter Eades	FADE: Graph Drawing, Clustering, and Visual Abstraction.	GD	2000	DBLP DOI BibTeX RDF
20	Young Francis Day, Ashfaq A. Khokhar, Serhan Dagtas, Arif Ghafoor	A Multi-Level Abstraction and Modeling in Video Databases.	Multim. Syst.	1999	DBLP DOI BibTeX RDF	Spatio-temporal logic, Content-based retrieval, Object-oriented modeling, Video databases, Semantic modeling
20	Jason Baumgartner, Tamir Heyman, Vigyan Singhal, Adnan Aziz	Model Checking the IBM Gigahertz Processor: An Abstraction Algorithm for High-Performance Netlists.	CAV	1999	DBLP DOI BibTeX RDF
20	Satyaki Das, David L. Dill, Seungjoon Park	Experience with Predicate Abstraction.	CAV	1999	DBLP DOI BibTeX RDF
20	Steve A. Schneider	Abstraction and Testing.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
20	Amy P. Felty, Douglas J. Howe, Abhik Roychoudhury	Formal Metatheory using Implicit Syntax, and an Application to Data Abstraction for Asynchronous Systems.	CADE	1999	DBLP DOI BibTeX RDF
20	E. K. Park, Suk-Chung Yoon	An Approach to Intensional Query Answering at Multiple Abstraction Levels using Data Mining Approaches.	HICSS	1999	DBLP DOI BibTeX RDF	Extensional Answer, Intensional Answer, Data Mining, Attribute-Oriented Induction
20	Andrew U. Frank	One Step up the Abstraction Ladder: Combining Algebras - From Functional Pieces to a Whole.	COSIT	1999	DBLP DOI BibTeX RDF	Spatial Algebras, Parameterization of Algebras, Category Theory, Spatial Data Models
20	Polly Huang, Deborah Estrin, John S. Heidemann	Enabling Large-Scale Simulations: Selective Abstraction Approach to the Study of Multicast Protocols.	MASCOTS	1998	DBLP DOI BibTeX RDF
20	Adolfo Villafiorita	Abstraction as a Form of Elaboration Tolerance.	AIMSA	1998	DBLP DOI BibTeX RDF
20	Abelardo Pardo, Gary D. Hachtel	Automatic Abstraction Techniques for Propositional µ-calculus Model Checking.	CAV	1997	DBLP DOI BibTeX RDF
20	Hongwei Xi	Evaluation Under Lambda Abstraction.	PLILP	1997	DBLP DOI BibTeX RDF	partial evaluation, lambda-calculus, run-time code generation
20	Clênio F. Salviano, Mario A. Nascimento, Murat M. Tanik	A Simple Approach to Improve the Abstraction Level of Object Representation.	CAST	1994	DBLP DOI BibTeX RDF
20	Ralph D. Hill	The abstraction-link-view paradigm: using constraints to connect user interfaces to applications.	CHI	1992	DBLP DOI BibTeX RDF	dialog independence, constraints
20	Igor Mozetic, Christian Holzbaur	Extending Explanation-Based Generalization by Abstraction Operators.	EWSL	1991	DBLP DOI BibTeX RDF
20	Kurt Sieber	Relating Full Abstraction Results for Different Programming Languages.	FSTTCS	1990	DBLP DOI BibTeX RDF
20	Philip Wadler	Views: A Way for Pattern Matching to Cohabit with Data Abstraction.	POPL	1987	DBLP DOI BibTeX RDF
20	Jos C. M. Baeten, Rob J. van Glabbeek	Another Look at Abstraction in Process Algebra (Extended Abstract).	ICALP	1987	DBLP DOI BibTeX RDF
20	Larry Soulé, R. Blank	Statistics for Parallelism and Abstraction Level in Digital Simulation.	DAC	1987	DBLP DOI BibTeX RDF
20	Bent Bruun Kristensen, Ole Lehrmann Madsen, Birger Møller-Pedersen, Kristen Nygaard	Abstraction Mechanisms in the Beta Programming Language.	POPL	1983	DBLP DOI BibTeX RDF
19	Ernst Moritz Hahn, Gethin Norman, David Parker 0001, Björn Wachter, Lijun Zhang 0001	Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems.	QEST	2011	DBLP DOI BibTeX RDF	probabilistic hybrid systems, probabilistic reachability, long-run average, abstraction refinement, stochastic games, controller synthesis
19	Nicola Bombieri, Franco Fummi, Valerio Guarnieri	Accelerating RTL Fault Simulation through RTL-to-TLM Abstraction.	ETS	2011	DBLP DOI BibTeX RDF	RTL fault simulation, fault simulation acceleration, RTL-to-TLM abstraction
19	Z. Cliffe Schreuders, Christian Payne, Tanya Jane McGill	A Policy Language for Abstraction and Automation in Application-Oriented Access Controls: The Functionality-Based Application Confinement Policy Language.	POLICY	2011	DBLP DOI BibTeX RDF	application-oriented access control, policy abstraction, a priori policy specification, functionality-based application confinement, policy usability
19	Monika Weidmann, Falko Koetter, Thomas Renner, David Schumm, Frank Leymann, Daniel Schleicher	Synchronization of Adaptive Process Models Using Levels of Abstraction.	EDOCW	2011	DBLP DOI BibTeX RDF	Adaptive Business Processes, Sychronization, Business Process Management, Abstraction Levels
19	Hao Zheng 0001, Haiqiong Yao, Tomohiro Yoneda	Modular Model Checking of Large Asynchronous Designs with Efficient Abstraction Refinement.	IEEE Trans. Computers	2010	DBLP DOI BibTeX RDF	circuit verification, model checking, Formal methods, refinement, abstraction, modular verification, logic verification
19	Isabelle Perseil, Laurent Pautet	High-Level Abstraction Modeling for Detailed Analysis of Avionic Real-Time Systems.	ECBS	2010	DBLP DOI BibTeX RDF	Real-time systems, Abstraction, Analysis, MARTE
19	Alex Landau, David Hadas, Muli Ben-Yehuda	Plugging the hypervisor abstraction leaks caused by virtual networking.	SYSTOR	2010	DBLP DOI BibTeX RDF	I/O virtualization, network abstraction, network virtualization
19	Paolo Buono, Adalberto Lafcadio Simeone	Video abstraction and detection of anomalies by tracking movements.	AVI	2010	DBLP DOI BibTeX RDF	video analysis, visual analytics, video abstraction
19	Tayfun Elmas	QED: a proof system based on reduction and abstraction for the static verification of concurrent software.	ICSE (2)	2010	DBLP DOI BibTeX RDF	abstraction, concurrent programs, reduction, atomicity
19	Richard Mordinyi, Eva Kühn, Alexander Schatten	Space-Based Architectures as Abstraction Layer for Distributed Business Applications.	CISIS	2010	DBLP DOI BibTeX RDF	Agile Business Requirements, Abstraction, Architectural Styles, Space-based Computing
19	Michael Huth 0001, Orna Grumberg	Special section on advances in reachability analysis and decision procedures: contributions to abstraction-based system verification.	Int. J. Softw. Tools Technol. Transf.	2009	DBLP DOI BibTeX RDF	Bounded reachability, Bit-vector arithmetic, Abstraction, Asynchronous systems, Decision diagrams, Memory models, Decision problems
19	Daniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen	Time-Bounded Reachability in Tree-Structured QBDs by Abstraction.	QEST	2009	DBLP DOI BibTeX RDF	Applications, Abstraction, Probabilistic model checking, Infinite-state systems
19	Stefan Schäckeler, Weijia Shang	Procedural Abstraction with Reverse Prefix Trees.	CGO	2009	DBLP DOI BibTeX RDF	post-pass optimization, reverse prefix tree, embedded systems, suffix tree, program visualization, code size reduction, code compaction, procedural abstraction
19	Jacques Calmet	Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning.	Calculemus/MKM	2009	DBLP DOI BibTeX RDF	mechanized reasoning, agent, abstraction, computational modeling, knowledge
19	Paul Maier, Martin Sachenbacher	Constraint Optimization and Abstraction for Embedded Intelligent Systems.	CPAIOR	2008	DBLP DOI BibTeX RDF	automated abstraction, embedded systems, decomposition, heuristic search, Constraint optimization
19	Woei-Kae Chen, Zheng-Wen Shen, Che-Ming Chang	GUI Test Script Organization with Component Abstraction.	SSIRI	2008	DBLP DOI BibTeX RDF	component abstraction, GUI Testing, test script, object-based
19	Haksoo Choi, Chanmin Yoon, Hojung Cha	Device Driver Abstraction for Multithreaded Sensor Network Operating Systems.	EWSN	2008	DBLP DOI BibTeX RDF	Multithreaded sensor network operating systems, device driver abstraction
19	Yang-Suk Kee, Carl Kesselman	Grid Resource Abstraction, Virtualization, and Provisioning for Time-Targeted Applications.	CCGRID	2008	DBLP DOI BibTeX RDF	resource abstraction, resource provisioning, resource virtualization, high performance distributed computing
19	Ba Tu Truong, Svetha Venkatesh	Video abstraction: A systematic review and classification.	ACM Trans. Multim. Comput. Commun. Appl.	2007	DBLP DOI BibTeX RDF	survey, Video summarization, video skimming, video abstraction, keyframe
19	Sharon Shoham, Orna Grumberg	A game-based framework for CTL counterexamples and 3-valued abstraction-refinement.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	3-valued semantics, Model checking games, Temporal logic, CTL, Counterexamples, Abstraction-Refinement
19	Alex Spokoiny, Yuval Shahar	An active database architecture for knowledge-based incremental abstraction of complex concepts from continuously arriving time-oriented raw data.	J. Intell. Inf. Syst.	2007	DBLP DOI BibTeX RDF	Continuous monitoring, Incremental temporal abstraction, Temporal mediation, Temporal reasoning, Active databases
19	Linda Rising	Understanding the Power of Abstraction in Patterns.	IEEE Softw.	2007	DBLP DOI BibTeX RDF	pattern writing, abstraction, patterns, pattern language, pattern languages
19	Issam Chebbi, Samir Tata	Workflow Abstraction for Privacy Preservation.	WISE Workshops	2007	DBLP DOI BibTeX RDF	inter-organizational worklows, abstraction, cooperation, visibility
19	Andreas Thomsen, Martin Breunig	Some Remarks on Topological Abstraction in Multi Representation Databases.	IF&GIS	2007	DBLP DOI BibTeX RDF	geoinformation, MRDB, data integration, abstraction, Topology, LOD
19	Bernhard Hengst	Safe State Abstraction and Reusable Continuing Subtasks in Hierarchical Reinforcement Learning.	Australian Conference on Artificial Intelligence	2007	DBLP DOI BibTeX RDF	state abstraction, task hierarchies, decomposition, hierarchical reinforcement learning
19	Jiaying Shen, Victor R. Lesser	Communication management using abstraction in distributed bayesian networks.	AAMAS	2005	DBLP DOI BibTeX RDF	decentralized MDP, communication, abstraction
19	Michael R. Wick, Daniel E. Stevenson, Andrew T. Phillips	Seven design rules for teaching students sound encapsulation and abstraction of object properties and member data.	SIGCSE	2004	DBLP DOI BibTeX RDF	accessors, abstraction, mutators, encapsulation
19	Ian F. Alexander	On Abstraction in Scenarios.	Requir. Eng.	2002	DBLP DOI BibTeX RDF	Vivid scenarios, Abstraction, Scenarios, Use cases, Requirements elicitation
19	María-del-Mar Gallardo, Jesús Martínez, Pedro Merino 0001, Estefanía Rosales	Using XML to implement abstraction for Model Checking.	SAC	2002	DBLP DOI BibTeX RDF	XML, XML, model checking, abstraction, SPIN
19	Scott S. Snibbe, Golan Levin	Interactive dynamic abstraction.	NPAR	2000	DBLP DOI BibTeX RDF	philosophical considerations, animation, computer graphics, human factors, abstraction, art, cognitive science, visual communication
19	Michael Marz, Alexander Rohr, Thomas Streicher	Full Abstraction and Universality via Realisability.	LICS	1999	DBLP DOI BibTeX RDF	realisability models, full abstraction, domain theory, categorical models
19	Filippo Lanubile, Forrest Shull, Victor R. Basili	Experimenting with Error Abstraction in Requirements Documents.	IEEE METRICS	1998	DBLP DOI BibTeX RDF	error abstraction, software requirements, Defect detection, perspective-based reading
19	Charles Lakos	On the Abstraction of Coloured Petri Nets.	ICATPN	1997	DBLP DOI BibTeX RDF	Theory of High-Level Petri Nets, Abstraction, Duality
19	Daniel E. Cooke	Abstraction, concurrency, and communal computing in SequenceL.	COMPSAC	1997	DBLP DOI BibTeX RDF	SequenceL, declarative constructs, nonscalar processing, problem solver, metastructure, data products, data structures, concurrency, abstraction, computer language, language constructs, communal computing
19	Yossi Cohen, Yishai A. Feldman	Automatic High-Quality Reengineering of Database Programs by Temporal Abstraction.	ASE	1997	DBLP DOI BibTeX RDF	automatic high-quality reengineering, legacy database programs, legacy software conversion, database access operations, target database query language, network data traffic, relational databases, indexes, query optimization, filtering, joins, readability, expressive power, aggregative operations, temporal abstraction, relational database model, MIDAS
19	Rob J. van Glabbeek, W. P. Weijland	Branching Time and Abstraction in Bisimulation Semantics.	J. ACM	1996	DBLP DOI BibTeX RDF	process algebra semantic equivalence, concurrency, abstraction, bisimulation, action refinement, branching time
19	Stephan Murer, Stephen M. Omohundro, David Stoutamire, Clemens A. Szyperski	Iteration Abstraction in Sather.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	Sather, general control structures, iteration abstraction
19	Woohyuk Lee, Abelardo Pardo, Jae-Young Jang, Gary D. Hachtel, Fabio Somenzi	Tearing based automatic abstraction for CTL model checking.	ICCAD	1996	DBLP DOI BibTeX RDF	ACTL model checking, CTL model checking, conservative ECTL, lattice set, lower bound approximations, pseudo-optimal shortest path, resolution methods, tearing based automatic abstraction, upper bound approximations, formal verification, reactive system, bipartition
19	Gérard Boudol, Carolina Lavatelli	Full Abstraction for Lambda Calculus with Resources and Convergence Testing.	CAAP	1996	DBLP DOI BibTeX RDF	intersection type systems, calculus, full abstraction
19	Jonas Gomes, Luiz Velho 0001	Abstraction paradigms for computer graphics.	Vis. Comput.	1995	DBLP DOI BibTeX RDF	Color theory, Modeling, User interface, Graphics, Abstraction Levels, Signal theory
19	Yih-Farn Chen, Michael Y. Nishimoto, C. V. Ramamoorthy	The C Information Abstraction System.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	C information abstraction system, relational information, software tasks, graphical views, subsystem extraction, program layering, binding analysis, data structures, relational databases, conceptual model, programming, C language, program structures, C programs, dead code elimination, relational views
19	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
19	James R. Russell	Full Abstraction for Nondeterministic Dataflow Networks	FOCS	1989	DBLP DOI BibTeX RDF	input-output relation, nondeterministic dataflow networks, bounded choice, semantic models, full abstraction
19	Jan J. M. M. Rutten	Correctness and full abstraction of metric semantics for concurrency.	REX Workshop	1988	DBLP DOI BibTeX RDF	complete metric spaces, concurrency, contractions, correctness, operational semantics, compositionality, denotational semantics, full abstraction
19	Mary Shaw, Gary Feldman, Robert Fitzgerald, Paul N. Hilfinger, Izumi Kimura, Ralph L. London, Jonathan Rosenberg, William A. Wulf	Validating The Utility Of Abstraction Techniques.	ACM Annual Conference (1)	1978	DBLP DOI BibTeX RDF	Abstraction and representation, Verification, Formal specification, Validation, Programming languages, Correctness, Types, Abstract data types, Encapsulation, Programming methodology, Proofs of correctness, Modular decomposition