Search results for "abstraction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
30	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
30	Edmund M. Clarke, Himanshu Jain, Daniel Kroening	Verification of SpecC using predicate abstraction.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	Verification, System level design, Predicate abstraction
30	Fei Pu, Wenhui Zhang	Combining search space partition and abstraction for LTL model checking.	Sci. China Ser. F Inf. Sci.	2007	DBLP DOI BibTeX RDF	search space partition, LTL model checking, refinement, abstraction
30	Jens Bennedsen, Michael E. Caspersen	Abstraction ability as an indicator of success for learning object-oriented programming?	ACM SIGCSE Bull.	2006	DBLP DOI BibTeX RDF	model-based programming, abstraction, CS1, objects-first, success factors
30	Holger Winnemöller, Sven C. Olsen, Bruce Gooch	Real-time video abstraction.	ACM Trans. Graph.	2006	DBLP DOI BibTeX RDF	non-photorealistic rendering, visual perception, visual communication, image abstraction
30	Jan Verelst	The Influence of the Level of Abstraction on the Evolvability of Conceptual Models of Information Systems.	Empir. Softw. Eng.	2005	DBLP DOI BibTeX RDF	abstraction, Conceptual modelling, maintainability, evolvability
30	Thomas Ball, Todd D. Millstein, Sriram K. Rajamani	Polymorphic predicate abstraction.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	polymorphism, Software model checking, predicate abstraction
30	Edmund M. Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav	Predicate Abstraction of ANSI-C Programs Using SAT.	Formal Methods Syst. Des.	2004	DBLP DOI BibTeX RDF	ANSI-C, SAT, predicate abstraction
30	Adalberto Farias, Alexandre Mota 0001, Augusto Sampaio	Efficient CSPZ Data Abstraction.	IFM	2004	DBLP DOI BibTeX RDF	Integrated formalism, CSPZ, Java, model checking, verification, specification, tool support, data abstraction
30	Freddy Y. C. Mang, Pei-Hsin Ho	Abstraction refinement by controllability and cooperativeness analysis.	DAC	2004	DBLP DOI BibTeX RDF	formal verification, controllability, cooperativeness, abstraction refinement
30	Wai Lam, Chi-Kin Keung, Danyu Liu	Discovering Useful Concept Prototypes for Classification Based on Filtering and Abstraction.	IEEE Trans. Pattern Anal. Mach. Intell.	2002	DBLP DOI BibTeX RDF	Prototype learning, instance abstraction, data mining, machine learning, classification
30	Alexander Egyed	Automated abstraction of class diagrams.	ACM Trans. Softw. Eng. Methodol.	2002	DBLP DOI BibTeX RDF	Class abstraction, class patterns, unified modeling language, reverse engineering, transformation, class diagrams
30	Bernhard K. Aichernig	Test-Case Calculation through Abstraction.	FME	2001	DBLP DOI BibTeX RDF	test-case synthesis, abstraction rules, testing, scenarios, contract, refinement calculus
30	Steve A. Schneider	Abstraction and Testing in CSP.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Testing, Abstraction, Process algebra, CSP, Operational semantics, Failures semantics
30	Michael W. Mislove, Frank J. Oles	Full Abstraction and Unnested Recursion.	REX Workshop	1992	DBLP DOI BibTeX RDF	algebraic poset, homomorphism, Full abstraction, algebraic semantics, adequacy
30	Jay T. Yantchev	Communication Abstraction and Refinement.	PARLE (2)	1991	DBLP DOI BibTeX RDF	interprocess communication and synchronisation, abstraction and refinement, multiparty interaction
29	Hanania T. Salzer	Abstraction Level Hierarchy: The Model and its Significance for Software Engineering.	SwSTE	2010	DBLP DOI BibTeX RDF	abstraction level hierarchy, atomic requirement specification, design, entropy, Abstraction, requirements, requirement specification
29	Taieb Znati, Brian Field	A Network Level Channel Abstraction for Multimedia Communication in Real-Time Networks.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	network level channel abstraction, network level abstraction, phi -channel, end-to-end communication channel, packet maximum end-to-end delay, on-time reliability, simulation, protocols, delays, distributed databases, multimedia systems, communication protocols, multimedia communication, distributed multimedia systems, real-time networks, performance parameters
29	Nathan R. Sturtevant, M. Renee Jansen	An Analysis of Map-Based Abstraction and Refinement.	SARA	2007	DBLP DOI BibTeX RDF
29	Rong Zhou 0001	Leveraging Graph Locality Via Abstraction.	SARA	2007	DBLP DOI BibTeX RDF
29	Jun Zhang 0002, Adrian Silvescu, Vasant G. Honavar	Ontology-Driven Induction of Decision Trees at Multiple Levels of Abstraction.	SARA	2002	DBLP DOI BibTeX RDF
29	Sridhar Mahadevan	Spatiotemporal Abstraction of Stochastic Sequential Processes.	SARA	2002	DBLP DOI BibTeX RDF
29	Christophe Lecoutre, Sylvain Merchez, Frédéric Boussemart, Éric Grégoire	A CSP Abstraction Framework.	SARA	2000	DBLP DOI BibTeX RDF
28	Teduh Dirgahayu, Dick A. C. Quartel, Marten van Sinderen	Interaction refinement in the design of business collaborations.	SAC	2010	DBLP DOI BibTeX RDF	collaboration, interaction, refinement, abstraction, conformance
28	Radhika M. Pai, V. S. Ananthanarayana	Prefix-Suffix Trees: A Novel Scheme for Compact Representation of Large Datasets.	PReMI	2007	DBLP DOI BibTeX RDF	Pattern- Count(PC) tree, Prefix-Suffix Trees, Data mining, Clustering, Abstraction, Incremental mining
28	Dragan Bosnacki	On Some Galois Connection Based Abstractions for the Mu-Calculus.	FM	2005	DBLP DOI BibTeX RDF	model checking, abstraction, mu-calculus, property preservation
28	Kangsun Lee, Paul A. Fishwick	OOPM/RT.: a multimodeling methodology for real-time simulation.	ACM Trans. Model. Comput. Simul.	1999	DBLP DOI BibTeX RDF	modeling methodlogy, real-time systems, model selection, real-time simulation, model abstraction
28	Attilio Giordana, Davide Roverso, Lorenza Saitta	Abstracting Background Knowledge for Concept Learning.	EWSL	1991	DBLP DOI BibTeX RDF	Abstraction, concept learning, explanation based learning
28	Julien Braine	The Data-abstraction Framework: abstracting unbounded data-structures in Horn clauses, the case of arrays. (La Méthode Data-abstraction: une technique d'abstraction de structures de données non-bornées dans des clauses de Horn, le cas des tableaux).		2022	RDF
27	Elina Megalou, Thanasis Hadzilacos	Semantic Abstractions in the Multimedia Domain.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	semantic multimedia abstraction, spatio-temporal retrieval, multimedia query language, presentational unit, abstraction, semantic modeling, Multimedia data model
27	Martin T. Vechev, Eran Yahav, Greta Yorsh	Abstraction-guided synthesis of synchronization.	POPL	2010	DBLP DOI BibTeX RDF	concurrency, synthesis, abstract interpretation
27	Erik Schierboom, Alejandro Tamalet, Hendrik Tews, Marko C. J. D. van Eekelen, Sjaak Smetsers	Preemption Abstraction.	FMICS	2009	DBLP DOI BibTeX RDF
27	Alessandro Cimatti, Jori Dubrovin, Tommi A. Junttila, Marco Roveri	Structure-aware computation of predicate abstraction.	FMCAD	2009	DBLP DOI BibTeX RDF
27	Ueli M. Maurer	Abstraction in Cryptography.	CRYPTO	2009	DBLP DOI BibTeX RDF
27	Hong Pan, Yi Lv, Huimin Lin	Environment Abstraction with State Clustering and Parameter Truncating.	TASE	2009	DBLP DOI BibTeX RDF
27	Hendrik Richter 0001, Shengxiang Yang	Memory Based on Abstraction for Dynamic Fitness Functions.	EvoWorkshops	2008	DBLP DOI BibTeX RDF
27	Hao Shen, Frédéric Pétrot	MPSoC Communication Architecture Exploration Using an Abstraction Refinement Method.	VLSI Design	2008	DBLP DOI BibTeX RDF
27	Thomas Ball, Orna Kupferman, Mooly Sagiv	Leaping Loops in the Presence of Abstraction.	CAV	2007	DBLP DOI BibTeX RDF
27	Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf	Three-Valued Abstraction for Continuous-Time Markov Chains.	CAV	2007	DBLP DOI BibTeX RDF
27	Luca de Alfaro, Pritam Roy	Solving Games Via Three-Valued Abstraction Refinement.	CONCUR	2007	DBLP DOI BibTeX RDF
27	Yan Chen 0001, Yujing He, Fei Xie, Jin Yang 0006	Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation.	FMCAD	2007	DBLP DOI BibTeX RDF
27	Henning Dierks, Sebastian Kupferschmid, Kim Guldstrand Larsen	Automatic Abstraction Refinement for Timed Automata.	FORMATS	2007	DBLP DOI BibTeX RDF
27	Himanshu Jain, Franjo Ivancic, Aarti Gupta, Ilya Shlyakhter, Chao Wang 0001	Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop.	CAV	2006	DBLP DOI BibTeX RDF
27	Thomas Ball, Orna Kupferman	An Abstraction-Refinement Framework for Multi-Agent Systems.	LICS	2006	DBLP DOI BibTeX RDF
27	Harald Fecher, Michael Huth 0001	Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise.	ATVA	2006	DBLP DOI BibTeX RDF
27	Elvira Albert, Puri Arenas-Sánchez, Germán Puebla, Manuel V. Hermenegildo	Reduced Certificates for Abstraction-Carrying Code.	ICLP	2006	DBLP DOI BibTeX RDF
27	Xiaofeng Zhang 0002, William K. Cheung 0001, Chun-hung Li	Graph-Based Abstraction for Privacy Preserving Manifold Visualization.	IAT Workshops	2006	DBLP DOI BibTeX RDF
27	Thomas Ball, Orna Kupferman, Greta Yorsh	Abstraction for Falsification.	CAV	2005	DBLP DOI BibTeX RDF
27	Yingxu Wang	The cognitive processes of abstraction and formal inferences.	IEEE ICCI	2005	DBLP DOI BibTeX RDF
27	Orna Grumberg	Abstraction and Refinement in Model Checking.	FMCO	2005	DBLP DOI BibTeX RDF
27	Ittai Balaban, Amir Pnueli, Lenore D. Zuck	Shape Analysis by Predicate Abstraction.	VMCAI	2005	DBLP DOI BibTeX RDF
27	Kairong Qian, Albert Nymeyer	Abstraction-Based Model Checking Using Heuristical Refinement.	ATVA	2004	DBLP DOI BibTeX RDF
27	Pei-Hsin Ho	Abstraction Refinement.	ATVA	2004	DBLP DOI BibTeX RDF
27	Thomas Ball, Byron Cook, Satyaki Das, Sriram K. Rajamani	Refining Approximations in Software Predicate Abstraction.	TACAS	2004	DBLP DOI BibTeX RDF
27	Chao Wang 0001, Gary D. Hachtel, Fabio Somenzi	Fine-Grain Abstraction and Sequential Don't Cares for Large Scale Model Checking.	ICCD	2004	DBLP DOI BibTeX RDF
27	Nina Amla, Kenneth L. McMillan	A Hybrid of Counterexample-Based and Proof-Based Abstraction.	FMCAD	2004	DBLP DOI BibTeX RDF
27	Edmund M. Clarke, Muralidhar Talupur, Helmut Veith, Dong Wang	SAT Based Predicate Abstraction for Hardware Verification.	SAT	2003	DBLP DOI BibTeX RDF
27	David A. Schmidt	Structure-Preserving Binary Relations for Program Abstraction.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
27	Peng Ning, Sushil Jajodia, Xiaoyang Sean Wang	Abstraction-based intrusion detection in distributed environments.	ACM Trans. Inf. Syst. Secur.	2001	DBLP DOI BibTeX RDF	intrusion detection, heterogeneous systems, Cooperative information systems, misuse detection
27	Mahmut T. Kandemir, J. Ramanujam	Data Relation Vectors: A New Abstraction for Data Optimizations.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	compiler optimizations for memory hierarchy, reuse vectors, data relation vectors, loop transformations, Data reuse, cache locality, memory layouts
27	Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani	Automatic Predicate Abstraction of C Programs.	PLDI	2001	DBLP DOI BibTeX RDF	C
27	Sela Mador-Haim, Limor Fix	Input Elimination and Abstraction in Model Checking.	FMCAD	1998	DBLP DOI BibTeX RDF
27	Deepak Kapur, Mandayam K. Srivas	Expressiveness of the Operation Set of a Data Abstraction.	POPL	1980	DBLP DOI BibTeX RDF
26	Hanli Zhao, Xiaoyang Mao, Xiaogang Jin 0001, Jianbing Shen, Feifei Wei, Jieqing Feng	Real-time saliency-aware video abstraction.	Vis. Comput.	2009	DBLP DOI BibTeX RDF	Non-photorealistic rendering, Saliency map, Real-time video processing, Image abstraction
26	Ramon Serna Oliver, Ivan Shcherbakov, Gerhard Fohler	An efficient operating system abstraction layer for portable applications in the domain of wireless sensor networks.	SenSys	2009	DBLP DOI BibTeX RDF	WSN, operating system, abstraction, embedded, API
26	Shimon Schocken	Virtual machines: abstraction and implementation.	ITiCSE	2009	DBLP DOI BibTeX RDF	abstraction., software engineering, compilation, virtual machines, programming paradigms
26	Luciano Ost, Guilherme Montez Guindani, Leandro Soares Indrusiak, Cezar Reinbrecht, Thiago Raupp da Rosa, Fernando Moraes 0001	A high abstraction, high accuracy power estimation model for networks-on-chip.	SBCCI	2009	DBLP DOI BibTeX RDF	high abstraction modeling, networks-on-chip, power modeling
26	Curtis M. Humphrey, Julie A. Adams	General visualization abstraction algorithm for geographic map-based human-robot interfaces.	HRI	2009	DBLP DOI BibTeX RDF	human-robot interfaces (HRI), information abstraction, GIS
26	Shinya Umeno	Event order abstraction for parametric real-time system verification.	EMSOFT	2008	DBLP DOI BibTeX RDF	automatic timing synthesis, counter-example guided abstraction refinement (cegar), event-based approach, parametric verification
26	Nicla Rossini	Gestural Abstraction and Restatement: From Iconicity to Metaphor.	COST 2102 Conference (Prague)	2008	DBLP DOI BibTeX RDF	Gestural abstraction, Gestural metaphor, Metaphoric thought, Restatement, Iconicity
26	Yan Chen 0001, Fei Xie, Jin Yang 0006	Optimizing automatic abstraction refinement for generalized symbolic trajectory evaluation.	DAC	2008	DBLP DOI BibTeX RDF	automatic abstraction refinement, generalized symbolic trajectory evaluation, model checking
26	Shuvendu K. Lahiri, Randal E. Bryant	Predicate abstraction with indexed predicates.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	infinite-state verification, invariant synthesis, Formal verification, abstract interpretation, cache-coherence protocols, predicate abstraction
26	Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont	Probabilistic abstraction for model checking: An approach based on property testing.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	Approximate verification, probabilistic abstraction, model checking, property testing, probabilistic verification
26	Diomidis Spinellis	Abstraction and Variation.	IEEE Softw.	2007	DBLP DOI BibTeX RDF	abstraction, generics, types, function, class
26	Jan Ohlenburg, Wolfgang Broll, Irma Lindt	DEVAL - A Device Abstraction Layer for VR/AR.	HCI (5)	2007	DBLP DOI BibTeX RDF	Device Abstraction, Output Devices, Virtual Reality, Augmented Reality, Input Devices
26	Gyuhyun Kwon, Dong-Han Ham, Wan Chul Yoon	Evaluation of software usability using scenarios organized by abstraction structure.	ECCE	2007	DBLP DOI BibTeX RDF	scenario-based approach, usability evaluation, abstraction hierarchy, software usability
26	Nicolas Blanc, Alex Groce, Daniel Kroening	Verifying C++ with STL containers via predicate abstraction.	ASE	2007	DBLP DOI BibTeX RDF	model checking, verification, C++, iterator, predicate abstraction, STL
26	Tony Gorschek, Claes Wohlin	Requirements Abstraction Model.	Requir. Eng.	2006	DBLP DOI BibTeX RDF	Market-driven product-centered continuous requirements engineering, Requirements abstraction, Product strategy, Product management
26	Francois Carcenac, Frédéric Boniol	A formal framework for verifying distributed embedded systems based on abstraction methods.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Model checking, Abstraction, Timed automata, Distributed embedded systems, Compositional verification
26	Christian Monrad Nielsen, Michael Overgaard, Michael Bach Pedersen, Jan Stage, Sigge Stenild	Exploring Interaction Space as Abstraction Mechanism for Task-Based User Interface Design.	TAMODIA	2006	DBLP DOI BibTeX RDF	object-oriented, abstraction, User interface design, task models, domain models, model-based user interface design
26	Guy Dupenloup, Thierry Lemeunier, Roland Mayr	Transistor abstraction for the functional verification of FPGAs.	DAC	2006	DBLP DOI BibTeX RDF	cone model, logic equivalence checking, transistor abstraction, FPGA, register transfer level, multiplexer, functional verification
26	Yanhong A. Liu, Scott D. Stoller, Michael Gorbovitski, Tom Rothamel, Yanni Ellen Liu	Incrementalization across object abstraction.	OOPSLA	2005	DBLP DOI BibTeX RDF	design, object-oriented, program transformation, abstraction, program analysis, invariants, program optimization, incrementalization
26	Cameron Kiddle, Rob Simmonds, Brian W. Unger	Improving Scalability of Network Emulation through Parallelism and Abstraction.	Annual Simulation Symposium	2005	DBLP DOI BibTeX RDF	Scalable Network Emulation, Simulation Abstraction, Parallel Discrete Event Simulation, Fluid Simulation
26	William N. L. Browne, Dan Scott 0002	An abstraction agorithm for genetics-based reinforcement learning.	GECCO	2005	DBLP DOI BibTeX RDF	abstraction, learning classifier systems, genetics-based machine learning
26	Seung-Hoon Han, In-So Kweon	Scalable temporal interest points for abstraction and classification of video events.	ICME	2005	DBLP DOI BibTeX RDF	static scene feature, temporal interest point, scalable TIP, video event abstraction, video event classification, redundant information, video camera motion, image sequence
26	Rachel Or-Bach, Ilana Lavy	Cognitive activities of abstraction in object orientation: an empirical study.	ACM SIGCSE Bull.	2004	DBLP DOI BibTeX RDF	object-oriented programming, abstraction, object-oriented design, inheritance, task analysis
26	Tobias Schüle, Klaus Schneider 0001	Abstraction of assembler programs for symbolic worst case execution time analysis.	DAC	2004	DBLP DOI BibTeX RDF	program slicing assembler programs, real-time systems, abstraction, worst case execution time, symbolic simulation
26	Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu 0004, Helmut Veith	Counterexample-guided abstraction refinement for symbolic model checking.	J. ACM	2003	DBLP DOI BibTeX RDF	temporal logic, Abstraction, symbolic model checking, hardware verification
26	Bjorn De Sutter, Hans Vandierendonck, Bruno De Bus, Koenraad De Bosschere	On the side-effects of code abstraction.	LCTES	2003	DBLP DOI BibTeX RDF	code abstraction, performance, code compaction
26	Daniel Gajski, Andreas Gerstlauer	System-Level Abstraction Semantics.	ISSS	2002	DBLP DOI BibTeX RDF	design semantics, modeling, methodology, system-level design, abstraction levels
26	Dae-Hwan Kim, Hyuk-Jae Lee	Iterative procedural abstraction for code size reduction.	CASES	2002	DBLP DOI BibTeX RDF	post-pass optimization, embedded systems, optimizing compiler, code size reduction, procedural abstraction
26	Y. Zheng, Nigel P. Weatherill, Oubay Hassan	Topology Abstraction of Surface Models for Three-Dimensional Grid Generation.	Eng. Comput.	2001	DBLP DOI BibTeX RDF	Geometry modelling, Topology abstraction, User environment, Computational simulation, Surface model, Grid generation
26	Simon St. James, Ulrich Ultes-Nitsche	Computing property-preserving behaviour abstractions from trace reductions: abstraction-based verification of linear-time properties under fairness.	PODC	2001	DBLP DOI BibTeX RDF	behaviour abstraction, satisfaction within fairness, weakly continuation-closed homomorphisms, partial-order methods, trace reduction
26	Dan Grossman, J. Gregory Morrisett, Steve Zdancewic	Syntactic type abstraction.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	proof techniques, syntactic proofs, type abstraction, operational semantics, parametricity
26	Changick Kim, Jenq-Neng Hwang	An integrated scheme for object-based video abstraction.	ACM Multimedia	2000	DBLP DOI BibTeX RDF	MPEG-4/MPEG-7, object-based key frame extraction, video abstraction, video object segmentation
26	Edmund M. Clarke, Somesh Jha, Yuan Lu 0004, Dong Wang	Abstract BDDs: A Technique for Using Abstraction in Model Checking.	CHARME	1999	DBLP DOI BibTeX RDF	Abstract BDDs, Model checking and abstraction
26	Maciej Koutny, Giuseppe Pappalardo	A Model of Behaviour Abstraction for Communicating Processes.	STACS	1999	DBLP DOI BibTeX RDF	behaviour abstraction, communicating sequential processes, Theory of parallel and distributed computation
26	Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Myla Archer, Ramesh Bharadwaj	Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	simulation, model checking, verification, formal methods, specification, abstraction, Requirements, consistency checking, safety analysis, SCR
26	Enrico Denti, Andrea Omicini	Designing Multi-agent Systems around an Extensible Communication Abstraction.	ModelAge Workshop	1997	DBLP DOI BibTeX RDF	Programmable Communication Abstraction, Multi-Agent Systems, Coordination Model
26	Anne Helga Seltveit	An Abstraction-Based Rule Approach to Large-Scale Information Systems Development	CAiSE	1993	DBLP DOI BibTeX RDF	abstraction-based development, abstractions, views, multiple views, structuring mechanisms