Search results for "abstraction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
26	Beatrice Lazzerini, Lanfranco Lopriore	Abstraction Mechanisms for Event Control in Program Debugging.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	event control, program entities, program statements, program debugginga, data structures, monitoring, program debugging, conditionals, abstraction mechanisms
25	Vadim Bulitko	State Abstraction in Real-Time Heuristic Search.	SARA	2007	DBLP DOI BibTeX RDF
25	Zina M. Ibrahim, Ahmed Y. Tawfik	A Qualitative Spatio-temporal Abstraction of a Disaster Space.	SARA	2005	DBLP DOI BibTeX RDF
25	Alberto Delgado, Jorge Andrés Pérez, Camilo Rueda	Implementing an Abstraction Framework for Soft Constraints.	SARA	2005	DBLP DOI BibTeX RDF
25	Maria Sorea	Lazy Approximation for Dense Real-Time Systems.	FORMATS/FTRTFT	2004	DBLP DOI BibTeX RDF
25	Patrick Cousot	Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations.	ICLP	2001	DBLP DOI BibTeX RDF
24	Víctor Valdés, José María Martínez Sanchez	Binary tree based on-line video summarization.	TVS	2008	DBLP DOI BibTeX RDF	bbc rushes summarization, on-line processing, trecvid 2008, video abstraction
24	Asif Qumer, Brian Henderson-Sellers	An Agile Toolkit to Support Agent-Oriented and Service-Oriented Computing Mechanisms.	PROFES	2007	DBLP DOI BibTeX RDF	M-abstraction, Agile methods, Service-Oriented, Method Engineering, Agent-oriented
24	Sagar Chaki, Edmund M. Clarke, Orna Grumberg, Joël Ouaknine, Natasha Sharygina, Tayssir Touili, Helmut Veith	State/Event Software Verification for Branching-Time Specifications.	IFM	2005	DBLP DOI BibTeX RDF	Concurrent Software Model Checking, State/Event-based Verification, Branching-time Temporal Logic, Automated Abstraction Refinement
24	María-del-Mar Gallardo, Jesús Martínez, Pedro Merino 0001, Ernesto Pimentel 0001	aSPIN: A tool for abstract model checking.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Model checking, Verification, Temporal logic, Abstraction, Spin
24	Patrick Th. Eugster, Sébastien Baehni	Abstracting remote object interaction in a peer-2-peer environment.	Java Grande	2002	DBLP DOI BibTeX RDF	borrow/lend, Java, peer-to-peer, abstraction, type
24	G. Ramalingam, Alex Varshavsky, John Field, Deepak Goyal, Shmuel Sagiv	Deriving Specialized Program Analyses for Certifying Component-Client Conformance.	PLDI	2002	DBLP DOI BibTeX RDF	model checking, static analysis, abstract interpretation, software components, predicate abstraction
24	Stephen P. Linder, Zbigniew Korona, Mieczyslaw M. Kokar	Q2 Symbolic Reasoning about Noisy Dynamic Systems.	J. Intell. Robotic Syst.	1999	DBLP DOI BibTeX RDF	qualitative abstraction, maneuver detection, consistency, hybrid system
24	Francisco J. Ballesteros, Sergio Arévalo	The Box: A Replacement for Files.	Workshop on Hot Topics in Operating Systems	1999	DBLP DOI BibTeX RDF	Distributed Systems, Operating Systems, Abstraction, Files
24	Russell J. Abbott	On interfaces.	J. Syst. Integr.	1991	DBLP DOI BibTeX RDF	software engineering, standards, Interfaces, concurrent engineering, computer integrated manufacturing, CIM, levels of abstraction
24	Chia-Hung Yeh, Chih-Hung Kuo, Rung-Wen Liou	Movie story intensity representation through audiovisual tempo analysis.	Multim. Tools Appl.	2009	DBLP DOI BibTeX RDF	Movie analysis, Movie abstraction, Tempo analysis, Indexing, Summarization, Video abstraction, Skimming
24	Stephen H. Edwards	Representation Inheritance: A Safe Form of "White Box'' Code Inheritance.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	Abstraction function, abstraction relation, representation invariant, object-oriented, reuse, inheritance, specialization, subclass, behavioral subtype, model-based specification
23	Joel Lehman, Kenneth O. Stanley	Revising the evolutionary computation abstraction: minimal criteria novelty search.	GECCO	2010	DBLP DOI BibTeX RDF	evolution of complexity, novelty search, artificial life, neat
23	Jun Sun 0001, Yang Liu 0003, Abhik Roychoudhury, Shanshan Liu, Jin Song Dong	Fair Model Checking with Process Counter Abstraction.	FM	2009	DBLP DOI BibTeX RDF
23	Grégoire Jacob, Hervé Debar, Eric Filiol	Malware Behavioral Detection by Attribute-Automata Using Abstraction from Platform and Language.	RAID	2009	DBLP DOI BibTeX RDF	Interpretation, Malware, Behaviors, Attribute-Grammars
23	Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio, Brian J. Cardiff, Juan P. Galeotti, Germán Regis	Towards Abstraction for DynAlloy Specifications.	ICFEM	2008	DBLP DOI BibTeX RDF
23	Xueqi Cheng, Michael S. Hsiao	Ant Colony Optimization directed program abstraction for software bounded model checking.	ICCD	2008	DBLP DOI BibTeX RDF
23	Danny Weyns, Andrea Omicini, James Odell	Environment as a first class abstraction in multiagent systems.	Auton. Agents Multi Agent Syst.	2007	DBLP DOI BibTeX RDF	Environment in multiagent systems - Definition, reference model of the environment, responsibilities
23	Pham Van Chung, Duong Tuan Anh	Applying Temporal Abstraction in Clinical Databases.	RIVF	2007	DBLP DOI BibTeX RDF
23	Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro Fujita	Using Counterexample Analysis to Minimize the Number of Predicates for Predicate Abstraction.	ATVA	2007	DBLP DOI BibTeX RDF
23	Kenneth L. McMillan	Toward Property-Driven Abstraction for Heap Manipulating Programs.	ATVA	2007	DBLP DOI BibTeX RDF
23	Michel A. Reniers, Muck van Weerdenburg	Action Abstraction in Timed Process Algebra.	FSEN	2007	DBLP DOI BibTeX RDF
23	David Monniaux	Optimal Abstraction on Real-Valued Programs.	SAS	2007	DBLP DOI BibTeX RDF
23	Nina Amla, Kenneth L. McMillan	Combining Abstraction Refinement and SAT-Based Model Checking.	TACAS	2007	DBLP DOI BibTeX RDF
23	Eung Nam Ko, Jong Hyuk Park, Deok-Gyu Lee, Kee Chun Bang, Soo Hong Kim	A Centralized-Abstraction and Replicated-View Architecture Running on Ubiquitous Networks for Collaborative Multimedia Distance Education Services.	MMM (2)	2007	DBLP DOI BibTeX RDF
23	Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001	Game-based Abstraction for Markov Decision Processes.	QEST	2006	DBLP DOI BibTeX RDF
23	Raoul Praful Jetley, Yi Zhang 0051, S. Purushothaman Iyer	Using Abstraction-driven Slicing for Postmortem Analysis of Software.	ICPC	2006	DBLP DOI BibTeX RDF
23	Songtao Xia, Ben Di Vito, César A. Muñoz	Predicate Abstraction of Programs with Non-linear Computation.	ATVA	2006	DBLP DOI BibTeX RDF
23	Xinyu Liu, Paul F. Reynolds Jr., David C. Brogan	Using Abstraction in the Verification of Simulation Coercion.	PADS	2006	DBLP DOI BibTeX RDF
23	Shujun Deng, Weimin Wu, Jinian Bian	Bounded Model Checking Combining Symbolic Trajectory Evaluation Abstraction with Hybrid Three-Valued SAT Solving.	CSCWD (Selected Papers)	2006	DBLP DOI BibTeX RDF
23	Bing Li, Fabio Somenzi	Efficient Abstraction Refinement in Interpolation-Based Unbounded Model Checking.	TACAS	2006	DBLP DOI BibTeX RDF
23	Edmund M. Clarke, Muralidhar Talupur, Helmut Veith	Environment Abstraction for Parameterized Verification.	VMCAI	2006	DBLP DOI BibTeX RDF
23	Joseph Polastre, Jonathan Hui, Philip Alexander Levis, Jerry Zhao, David E. Culler, Scott Shenker, Ion Stoica	A unifying link abstraction for wireless sensor networks.	SenSys	2005	DBLP DOI BibTeX RDF	link protocols, network abstractions, wireless sensor networks, network protocols, protocol architecture
23	Edmund M. Clarke, Anubhav Gupta 0001, Ofer Strichman	SAT-based counterexample-guided abstraction refinement.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2004	DBLP DOI BibTeX RDF
23	Daniel Kroening, Alex Groce, Edmund M. Clarke	Counterexample Guided Abstraction Refinement Via Program Execution.	ICFEM	2004	DBLP DOI BibTeX RDF
23	Eugene Asarin, Thao Dang 0001	Abstraction by Projection and Application to Multi-affine Systems.	HSCC	2004	DBLP DOI BibTeX RDF
23	Tomasz Madajczak	An Optimal Abstraction Model for Hardware Multithreading in Modern Processor Architectures.	PARELEC	2004	DBLP DOI BibTeX RDF
23	Shmuel Sagiv	On the Expressive Power of Canonical Abstraction.	VMCAI	2004	DBLP DOI BibTeX RDF
23	Peep Küngas	Abstraction Within Partial Deduction for Linear Logic.	AISC	2004	DBLP DOI BibTeX RDF
23	James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough	Global abstraction-safe marshalling with hash types.	ICFP	2003	DBLP DOI BibTeX RDF	singleton kinds, programming languages, ML, distributed programming, modules, hashing, lambda calculus, type theory, abstract types, serialisation, marshalling
23	Ricardo Jota, Jorge Martins, António Rito Silva, João Pereira 0002	Experimenting with a Flexible Awareness Management Abstraction for Virtual Collaboration Spaces.	SAINT	2003	DBLP DOI BibTeX RDF	awareness management, framework, Collaborative Virtual Environments
23	Sagar Chaki, Edmund M. Clarke, Alex Groce, Ofer Strichman	Predicate Abstraction with Minimum Predicates.	CHARME	2003	DBLP DOI BibTeX RDF
23	Yunja Choi, Mats Per Erik Heimdahl	Model Checking Software Requirement Specifications using Domain Reduction Abstraction.	ASE	2003	DBLP DOI BibTeX RDF
23	Dennis Dams, Kedar S. Namjoshi	Shape Analysis through Predicate Abstraction and Model Checking.	VMCAI	2003	DBLP DOI BibTeX RDF
23	Giuliano Armano, Giancarlo Cherchi, Eloisa Vargiu	Planning by Abstraction Using HW[].	AI*IA	2003	DBLP DOI BibTeX RDF
23	Edmund M. Clarke, Anubhav Gupta 0001, James H. Kukula, Ofer Strichman	SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques.	CAV	2002	DBLP DOI BibTeX RDF
23	Edmund M. Clarke	SAT-Based Counterexample Guided Abstraction Refinement.	SPIN	2002	DBLP DOI BibTeX RDF
23	John Hatcliff, Matthew B. Dwyer, Corina S. Pasareanu, Robby	Foundations of the Bandera Abstraction Tools.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
23	Natarajan Shankar	Verification by Abstraction.	10th Anniversary Colloquium of UNU/IIST	2002	DBLP DOI BibTeX RDF
23	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
23	Mahmut T. Kandemir, J. Ramanujam	Data Relation Vectors: A New Abstraction for Data Optimizations.	IEEE PACT	2000	DBLP DOI BibTeX RDF
23	Yoshimitsu Kudoh, Makoto Haraguchi	An Appropriate Abstraction for Construction a Compact Decision Tree.	Discovery Science	2000	DBLP DOI BibTeX RDF
23	Yoshimitsu Kudoh, Makoto Haraguchi	Detecting a Compact Decision Tree Based on an Appropriate Abstraction.	IDEAL	2000	DBLP DOI BibTeX RDF
23	Yoshimitsu Kudoh, Makoto Haraguchi	An Appropriate Abstraction for an Attribute-Oriented Induction.	Discovery Science	1999	DBLP DOI BibTeX RDF
23	Yee-Wing Hsieh, Steven P. Levitan	Model Abstraction for Formal Verification.	DATE	1998	DBLP DOI BibTeX RDF
23	Eyðun Eli Jacobsen, Bent Bruun Kristensen, Palle Nowack	Models, Domains and Abstraction in Software Development.	TOOLS (27)	1998	DBLP DOI BibTeX RDF	Modeling, Software Architecture, Software Development Methodologies, Object-Oriented Software Development
23	Alvin R. Lebeck, David A. Wood 0001	Active Memory: A New Abstraction for Memory-System Simulation.	SIGMETRICS	1995	DBLP DOI BibTeX RDF
23	Leonid A. Kalinichenko	An Anatomy of the Information Resource Semantic Abstraction.	SIGMOD Rec.	1991	DBLP DOI BibTeX RDF
23	Robert A. Ballance, Jacob Butcher, Susan L. Graham	Grammatical Abstraction and Incremental Syntax Analysis in a Language-Based Editor.	PLDI	1988	DBLP DOI BibTeX RDF	Alvey Test Specifications and Quality Management Project
23	Adolfo Piperno	A Compositive Abstraction Algorithm for Combinatory Logic.	TAPSOFT, Vol.2	1987	DBLP DOI BibTeX RDF	Functional programming, Compiler design, Evaluation techniques
23	Dines Bjørner	Software Abstraction Principles: Tutorial Examples of: An Operating System Command Language Specification, and a PL/I-like On-Condition Language Definition.	The Vienna Development Method: The Meta-Language	1978	DBLP DOI BibTeX RDF
23	Shamkant B. Navathe, James P. Fry	Restructuring for Large Data Bases: Three Levels of Abstraction.	ACM Trans. Database Syst.	1976	DBLP DOI BibTeX RDF	logical restructuring, database, database management systems, data translation, data definition
23	Ramon Serna Oliver, Ivan Shcherbakov, Gerhard Fohler	An operating system abstraction layer for portable applications in wireless sensor networks.	SAC	2010	DBLP DOI BibTeX RDF	OSAL, abstraction layer, WSN, wireless sensor networks, operating systems, API, portability, OS
23	Nico Bayer, Krzysztof Loziak, Andres Garcia-Saavedra, Cigdem Sengul, Pablo Serrano 0001	CARMEN: resource management and abstraction in wireless heterogeneous mesh networks.	SIGCOMM	2010	DBLP DOI BibTeX RDF	resource abstraction, heterogeneous, wireless mesh
23	Teemu Kanstrén, Reijo Savola, Antti Evesti, Heimo Pentikäinen, Artur Hecker, Moussa Ouedraogo, Kimmo Hätönen, Perttu Halonen, Christophe Blad, Óscar López, Saioa Ros	Towards an abstraction layer for security assurance measurements: (invited paper).	ECSA Companion Volume	2010	DBLP DOI BibTeX RDF	measurement, abstraction, dynamicity, taxonomy
23	Chih-Fan Lai, Jie-Hong R. Jiang, Kuo-Hua Wang	BooM: a decision procedure for boolean matching with abstraction and dynamic learning.	DAC	2010	DBLP DOI BibTeX RDF	satisfiability solving, learning, abstraction, Boolean matching
23	Naoko Nitta, Yoshimasa Takahashi, Noboru Babaguchi	Automatic personalized video abstraction for sports videos using metadata.	Multim. Tools Appl.	2009	DBLP DOI BibTeX RDF	Dynamic video abstract, Static video abstract, Personalization, Metadata, Video abstraction
23	Bhaskaran Raman, Kameswari Chebrolu, Dattatraya Y. Gokhale, Sayandeep Sen	On the feasibility of the link abstraction in wireless mesh networks.	IEEE/ACM Trans. Netw.	2009	DBLP DOI BibTeX RDF	link abstraction, link-level measurements, rural networks, IEEE 802.11, wireless mesh networks, interference, IEEE 802.15.4, WiFi
23	Vasanth Rajamani, Sanem Kabadayi, Christine Julien 0001	An interrelational grouping abstraction for heterogeneous sensors.	ACM Trans. Sens. Networks	2009	DBLP DOI BibTeX RDF	proximity functions, querying abstraction, clustering, energy-efficiency, Heterogeneous sensor networks
23	William S. Evans, Christopher W. Fraser, Fei Ma	Clone detection via structural abstraction.	Softw. Qual. J.	2009	DBLP DOI BibTeX RDF	Refactoring, Clone detection, Procedural abstraction
23	Chunying Zhao, Kang Zhang 0001, Yu Lei 0001	Abstraction of multiple executions of object-oriented programs.	SAC	2009	DBLP DOI BibTeX RDF	multiple executions, trace abstraction, reverse engineering
23	Hyunyoung Kil, Wonhong Nam, Dongwon Lee 0001	Automatic web service composition with abstraction and refinement.	WWW	2009	DBLP DOI BibTeX RDF	refinement, abstraction, service composition
23	Saurabh Srivastava 0001, Sumit Gulwani	Program verification using templates over predicate abstraction.	PLDI	2009	DBLP DOI BibTeX RDF	constraint-based fixed-point, iterative fixed-point, quantified invariants, template invariants, predicate abstraction, weakest preconditions, smt solvers
23	Xiaofeng Mi, Douglas DeCarlo, Matthew Stone	Abstraction of 2D shapes in terms of parts.	NPAR	2009	DBLP DOI BibTeX RDF	abstraction, non-photorealistic rendering, symmetry
23	Kuntal Nanshi, Fabio Somenzi	Constraints in one-to-many concretization for abstraction refinement.	DAC	2009	DBLP DOI BibTeX RDF	simulation, model checking, abstraction refinement
23	Hanli Zhao, Xiaogang Jin 0001, Jianbing Shen, Li Shen, Ruifang Pan	Fast Shape-Simplifying Image Abstraction Using Graphics Hardware.	Edutainment	2009	DBLP DOI BibTeX RDF	flow-based filtering, GPU, Non-photorealistic rendering, image abstraction
23	Erika Ábrahám, Andreas Grüner, Martin Steffen	Heap-abstraction for an object-oriented calculus with thread classes.	Softw. Syst. Model.	2008	DBLP DOI BibTeX RDF	Class-based OO languages, Thread-based concurrency, Heap abstraction, Observable behavior, Open systems, Formal semantics
23	Gianpiero Cabodi, Marco Murciano, Sergio Nocco, Stefano Quer	Boosting interpolation with dynamic localized abstraction and redundancy removal.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF	Interpolant, abstraction, redundancy removal
23	David G. Mitchell, Eugenia Ternovska	Expressive power and abstraction in Essence.	Constraints An Int. J.	2008	DBLP DOI BibTeX RDF	Essence, Constraint modelling languages, Model expansion, Abstraction, Expressive power, Descriptive complexity
23	Li Li, Ming Gu 0001, Xiaoyu Song, Jianmin Wang 0001	Effective Predicate Abstraction for Program Verification.	TASE	2008	DBLP DOI BibTeX RDF	program verification, predicate abstraction
23	Andrew Gilpin, Tuomas Sandholm	Lossless abstraction of imperfect information games.	J. ACM	2007	DBLP DOI BibTeX RDF	Automated abstraction, computer poker, equilibrium finding, sequential games of imperfect information, game theory
23	Sandip Ray, Rob Sumners	Combining Theorem Proving with Model Checking through Predicate Abstraction.	IEEE Des. Test Comput.	2007	DBLP DOI BibTeX RDF	model checking, formal verification, theorem proving, predicate abstraction, ACL2
23	Bodil Biering, Lars Birkedal, Noah Torp-Smith	BI-hyperdoctrines, higher-order separation logic, and abstraction.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	hyperdoctrines, abstraction, Separation logic
23	Manoranjan Satpathy, S. Ramesh 0002	Test case generation from formal models through abstraction refinement and model checking.	A-MOST	2007	DBLP DOI BibTeX RDF	counterexample guided abstraction refinement, model based testing, B-method
23	Marc Segelken	Abstraction and Counterexample-Guided Construction of omega -Automata for Model Checking of Step-Discrete Linear Hybrid Models.	CAV	2007	DBLP DOI BibTeX RDF	automata construction, counterexample guidance, iterative abstraction refinement, step-discrete hybrid systems, model-checking
23	Ramzi Ben Salah, Marius Bozga, Oded Maler	On timed components and their abstraction.	SAVCBS	2007	DBLP DOI BibTeX RDF	components, abstraction, timed automata
23	Mengjun Li, Ti Zhou, Zhoujun Li 0001, Huowang Chen	An Abstraction and Refinement Framework for Verifying Security Protocols Based on Logic Programming.	ASIAN	2007	DBLP DOI BibTeX RDF	abstraction and refinement, security protocol
23	Fei He 0001, Xiaoyu Song, Ming Gu 0001, Jiaguang Sun 0001	Effective heuristics for counterexample-guided abstraction refinement.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	model checking, verification, heuristics, SoC, abstraction
23	Asaf Shabtai, Maor Atlas, Yuval Shahar, Yuval Elovici	Evaluation of a temporal-abstraction knowledge acquisition tool in the network security domain.	K-CAP	2007	DBLP DOI BibTeX RDF	knowledge-based temporal abstraction, knowledge acquisition, computer-network security, temporal patterns, malicious software
23	Tosiyasu L. Kunii, Kenji Ohmori	Cyberworlds: architecture and modeling by an incrementally modular abstraction hierarchy.	Vis. Comput.	2006	DBLP DOI BibTeX RDF	Incrementally modular abstraction hierarchy, Fiber bundles, Adjunction spaces, Homotopy, Cyberspaces, Cellular spaces, Cyberworlds, Algebraic topology
23	Jacob Perrenet, Eric Kaasenbrood	Levels of abstraction in students' understanding of the concept of algorithm: the qualitative perspective.	ITiCSE	2006	DBLP DOI BibTeX RDF	abstraction, computer science education, research methods
23	Xuemeng Zhang, Rongcai Zhao, Jianmin Pang	Semantic Abstraction of IA-64 Multimedia Instructions.	SKG	2006	DBLP DOI BibTeX RDF	multimedia instructions, semantic abstraction, binary translation, IA-64
23	Greta Yorsh, Thomas Ball, Mooly Sagiv	Testing, abstraction, theorem proving: better together!	ISSTA	2006	DBLP DOI BibTeX RDF	fabricated states, state-based coverage, testing, abstraction, program analysis, abstract interpretation, coverage, theorem prover, software fault injection, adequacy criteria
23	Gursimran Singh Walia, Jeffrey C. Carver, Thomas Philip	Requirement error abstraction and classification: an empirical study.	ISESE	2006	DBLP DOI BibTeX RDF	error abstraction, empirical study, error, inspection, root cause analysis
23	Kenji Ohmori, Tosiyasu L. Kunii	An Incrementally Modular Abstraction Hierarchy for Linear Software Development Methodology.	CW	2006	DBLP DOI BibTeX RDF	incrementally modular abstraction hierarchy, fiber bundles, adjunction spaces, software development, homotopy, cellular spaces, Cyberworlds