Search results for "abstraction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Anthony McIsaac	A Formalization of Abstraction in LAMBDA.	HUG	1993	DBLP DOI BibTeX RDF
16	Alan Burns 0001, Gordon Davies, Andy J. Wellings	A Modula-2 implementation of a real-time process abstraction.	ACM SIGPLAN Notices	1988	DBLP DOI BibTeX RDF	Modula-2
16	Richard C. Waters	Program Translation via Abstraction and Reimplementation.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	abstract understanding, reimplementation, Programmer's Apprentice, Hibol, business data processing language, PDP-11 object code, Pascal programs, data structures, data structures, compilers, knowledge based system, expert systems, Pascal, translator, program compilers, Cobol, COBOL, program interpreters
16	Nachum Dershowitz	Program Abstraction and Instantiation.	ACM Trans. Program. Lang. Syst.	1985	DBLP DOI BibTeX RDF
16	Viswanathan Santhanam, John R. Potochnik	Data abstraction for Pascal programmers.	AFIPS National Computer Conference	1982	DBLP DOI BibTeX RDF
16	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
16	Nicolas Spyratos, François Bancilhon	Name Independence and Database Abstraction in the Relational Model.	MFCS	1978	DBLP DOI BibTeX RDF
14	Jeong-ho Ahn, Jong-Chul Yoon, In-Kwon Lee	Depth-based Anisotropic Kuwahara Filtering.	SIGGRAPH Posters	2010	DBLP DOI BibTeX RDF
14	Sourish Dasgupta	A Logic-based Formalism for Pervasive Workflow.	PerCom	2009	DBLP DOI BibTeX RDF
14	László Angyal, László Lengyel, Hassan Charaf	A Synchronizing Technique for Syntactic Model-Code Round-Trip Engineering.	ECBS	2008	DBLP DOI BibTeX RDF	Three-way AST Differencing, AST Merging, Model-Code Synchronization, Model-Driven Development, Domain-Specific Models
14	Tonglaga Bao, Michael D. Jones	Model Checking Abstract Components within Concrete Software Environments.	SPIN	2008	DBLP DOI BibTeX RDF
14	Shashidhar Mysore, Bita Mazloom, Banit Agrawal, Timothy Sherwood	Understanding and visualizing full systems with data flow tomography.	ASPLOS	2008	DBLP DOI BibTeX RDF	data flow tracking, virtual machine, tomography
14	Xuanhua Li, Donald Yeung	Application-Level Correctness and its Impact on Fault Tolerance.	HPCA	2007	DBLP DOI BibTeX RDF
14	Alexander Malkis, Andreas Podelski, Andrey Rybalchenko	Precise Thread-Modular Verification.	SAS	2007	DBLP DOI BibTeX RDF
14	Tobe Toben	Non-interference Properties for Data-Type Reduction of Communicating Systems.	IFM	2007	DBLP DOI BibTeX RDF
14	Xiaofeng Zhang 0002, William K. Cheung 0001	A Game Theoretic Approach to Active Distributed Data Mining.	IAT	2007	DBLP DOI BibTeX RDF	game theory, active learning, privacy preservation, Distributed data mining
14	Bendik Bygstad, Bjørn Erik Munkvold	The Significance of Member Validation in Qualitative Analysis: Experiences from a Longitudinal Case Study.	HICSS	2007	DBLP DOI BibTeX RDF
14	Bent Bruun Kristensen, Ole Lehrmann Madsen, Birger Møller-Pedersen	The when, why and why not of the BETA programming language.	HOPL	2007	DBLP DOI BibTeX RDF	history of programming, object-oriented programming, programming languages, object-oriented design, object-oriented modeling, object-oriented analysis
14	Björn Wachter, Bernd Westphal	The Spotlight Principle.	VMCAI	2007	DBLP DOI BibTeX RDF
14	Thomas Ball, Orna Kupferman	Better Under-Approximation of Programs by Hiding Variables.	VMCAI	2007	DBLP DOI BibTeX RDF
14	Harald Fecher, Michael Huth 0001	More Precise Partition Abstractions.	VMCAI	2007	DBLP DOI BibTeX RDF
14	C. Maria Keet	Enhancing Comprehension of Ontologies and Conceptual Models Through Abstractions.	AI*IA	2007	DBLP DOI BibTeX RDF
14	Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre	Modelling Remote Concurrency with Ada.	Ada-Europe	2007	DBLP DOI BibTeX RDF
14	Guang Yang 0004, Xi Chen 0024, Felice Balarin, Harry Hsieh, Alberto L. Sangiovanni-Vincentelli	Communication and co-simulation infrastructure for heterogeneous system integration.	DATE	2006	DBLP DOI BibTeX RDF
14	Roman Manevich, John Field, Thomas A. Henzinger, G. Ramalingam, Mooly Sagiv	Abstract Counterexample-Based Refinement for Powerset Domains.	Program Analysis and Compilation	2006	DBLP DOI BibTeX RDF
14	Rogério de Lemos	Architectural Fault Tolerance Using Exception Handling.	WADS	2006	DBLP DOI BibTeX RDF
14	Michael F. Spear, Tom Roeder, Orion Hodson, Galen C. Hunt, Steven Levi	Solving the starting problem: device drivers as self-describing artifacts.	EuroSys	2006	DBLP DOI BibTeX RDF	declarative configuration, dependable computing, experience with existing systems, programming language support, operating systems
14	Hai Huang 0011, Wei-Tek Tsai, Raymond A. Paul	Proof Slicing with Application to Model Checking Web Services.	ISORC	2005	DBLP DOI BibTeX RDF
14	Rajagopal Rajugan, Elizabeth Chang 0001, Tharam S. Dillon, Ling Feng	Engineering XML Solutions Using Views.	CIT	2005	DBLP DOI BibTeX RDF
14	Brian Hackett, Radu Rugina	Region-based shape analysis with tracked locations.	POPL	2005	DBLP DOI BibTeX RDF	static error detection, memory management, shape analysis, memory leaks
14	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar	The BLAST Software Verification System.	SPIN	2005	DBLP DOI BibTeX RDF
14	Francesco Ranzato, Francesco Tapparo	An Abstract Interpretation Perspective on Linear vs. Branching Time.	APLAS	2005	DBLP DOI BibTeX RDF
14	Steffen Helke, Florian Kammüller	Structure Preserving Data Abstractions for Statecharts.	FORTE	2005	DBLP DOI BibTeX RDF
14	Anthony C. J. Fox	An Algebraic Framework for Verifying the Correctness of Hardware with Input and Output: A Formalization in HOL.	CALCO	2005	DBLP DOI BibTeX RDF
14	Shuvendu K. Lahiri, Randal E. Bryant	Indexed Predicate Discovery for Unbounded System Verification.	CAV	2004	DBLP DOI BibTeX RDF
14	Quentin Limbourg, Jean Vanderdonckt, Benjamin Michotte, Laurent Bouillon, Víctor López-Jaquero	USIXML: A Language Supporting Multi-path Development of User Interfaces.	EHCI/DS-VIS	2004	DBLP DOI BibTeX RDF	context-sensitive user interface, modality independence, multi-path development, rendering independence, model-driven architecture, development processes, user interface description language, model-to-model transformation
14	Asit Dan, Catalin Dumitrescu, Matei Ripeanu	Connecting client objectives with resource capabilities: an essential component for grid service managent infrastructures.	ICSOC	2004	DBLP DOI BibTeX RDF	management of service-level agreents, grid computing, resource managements, service oriented computing
14	Arend Rensink	Canonical Graph Shapes.	ESOP	2004	DBLP DOI BibTeX RDF
14	Adam Donlin	Transaction level modeling: flows and use models.	CODES+ISSS	2004	DBLP DOI BibTeX RDF	design abstractions, use models, design flows, TLM
14	Fabiano Hessel, Vitor M. da Rosa, Igor M. Reis, Ricardo Planner, César A. M. Marcon, Altamiro Amadeu Susin	Abstract RTOS Modeling for Embedded Systems.	IEEE International Workshop on Rapid System Prototyping	2004	DBLP DOI BibTeX RDF
14	Rajesh K. Gupta 0001, Sandeep K. Shukla	Should the space of implementation possibilities be determined by the abilities of high-level synthesis and validation?	MEMOCODE	2003	DBLP DOI BibTeX RDF
14	Friedrich Steimann, Jens Gößner, Thomas A. Mück	On the Key Role of Compositioning Object-Oriented Modelling.	UML	2003	DBLP DOI BibTeX RDF
14	Trong Dung Nguyen, Saori Kawasaki, Tu Bao Ho	Discovery of Trends and States in Irregular Medical Temporal Data.	Discovery Science	2003	DBLP DOI BibTeX RDF
14	Alan Faulkner, Suchendra M. Bhandarkar	An Interactive Tool for Segmentation, Visualization, and Navigation of Magnetic Resonance Images.	CBMS	2003	DBLP DOI BibTeX RDF
14	Fabio Somenzi	The Charme of Abstract Entities.	CHARME	2003	DBLP DOI BibTeX RDF
14	Nadine Gergel, Shana Craft, John C. Lach	Modeling QCA for area minimization in logic synthesis.	ACM Great Lakes Symposium on VLSI	2003	DBLP DOI BibTeX RDF	CAD, interconnect, logic synthesis, nanotechnology, QCA
14	Kedar S. Namjoshi	Lifting Temporal Proofs through Abstractions.	VMCAI	2003	DBLP DOI BibTeX RDF
14	Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Bastian Pochon	Distributed Programming for Dummies: A Shifting Transformation Technique.	SRDS	2003	DBLP DOI BibTeX RDF
14	Masaaki Narita, Makoto Haraguchi, Yoshiaki Okubo	Data Abstractions for Numerical Attributes in Data Mining.	IDEAL	2002	DBLP DOI BibTeX RDF
14	Paulo Tabuada, George J. Pappas, Pedro U. Lima	Composing Abstractions of Hybrid Systems.	HSCC	2002	DBLP DOI BibTeX RDF
14	Guanling Chen, David Kotz	Context Aggregation and Dissemination in Ubiquitous Computing Systems.	WMCSA	2002	DBLP DOI BibTeX RDF
14	Dieter Gollmann, Catherine A. Meadows, Eiji Okamoto	Editorial.	Int. J. Inf. Sec.	2001	DBLP DOI BibTeX RDF
14	Kalyan Moy Gupta	Taxonomic Conversational Case-Based Reasoning.	ICCBR	2001	DBLP DOI BibTeX RDF
14	Rainer Schmidt 0002, Lothar Gierl	Temporal Abstractions and Case-Based Reasoning for Medical Course Data: Two Prognostic Applications.	MLDM	2001	DBLP DOI BibTeX RDF
14	Bernd Grobauer	Cost Recurrences for DML Programs.	ICFP	2001	DBLP DOI BibTeX RDF	ML
14	Alessandro Fin, Franco Fummi, Maurizio Martignano, Mirko Signoretto	SystemC: a homogenous environment to test embedded systems.	CODES	2001	DBLP DOI BibTeX RDF	C++ models, embedded systems verification, functional testing
14	Lorenza Saitta, Jean-Daniel Zucker	Perception-Based Granularity Levels in Concept Representation.	ISMIS	2000	DBLP DOI BibTeX RDF
14	Tetsuya Saito, Tatsuya Hagino	Commons: resource sharing and protection in mobile appliance OS.	ACM SIGOPS European Workshop	2000	DBLP DOI BibTeX RDF
14	Germano Caronni, Sandeep Kumar, Christoph L. Schuba, Glenn Scott	Virtual Enterprise Networks: The Next Generation of Secure Enterprise Networking.	ACSAC	2000	DBLP DOI BibTeX RDF
14	Hassen Saïdi, Natarajan Shankar	Abstract and Model Check While You Prove.	CAV	1999	DBLP DOI BibTeX RDF
14	Roland Olsson 0001	How to Invent Functions.	EuroGP	1999	DBLP DOI BibTeX RDF
14	Atef Bader, Tzilla Elrad	The Adaptive Arena: Language Constructs and Architectural Abstractions for Concurrent Object-Oriented Systems.	ICPADS	1998	DBLP DOI BibTeX RDF
14	Rajeev Alur, Thomas A. Henzinger, Sriram K. Rajamani	Symbolic Exploration of transition Hierarchies.	TACAS	1998	DBLP DOI BibTeX RDF
14	Maogang Wang, Prithviraj Banerjee, Majid Sarrafzadeh	Potential-NRG: Placement with Incomplete Data.	DAC	1998	DBLP DOI BibTeX RDF	congestion, global routing, quadratic placement, routing models, supply-demand, relaxed pins
14	Thomas Kunz, David J. Taylor, James P. Black	Poet: Target-System-Independent Visualizations of Complex Distributed Executions.	HICSS (1)	1997	DBLP DOI BibTeX RDF
14	Christoph M. Hoffmann, Jarek Rossignac	A Road Map To Solid Modeling.	IEEE Trans. Vis. Comput. Graph.	1996	DBLP DOI BibTeX RDF	solid representations, conversion between solid representations, constraint-based design, Solid modeling, feature-based design
14	Gerda Janssens, Maurice Bruynooghe, Vincent Englebert	Abstracting Numerical Values in CLP(H, N).	PLILP	1994	DBLP DOI BibTeX RDF
14	William R. Cook	Object-Oriented Programming Versus Abstract Data Types.	REX Workshop	1990	DBLP DOI BibTeX RDF	higher-order procedures, object-oriented programming, typing, extensibility, abstract data type, incremental programming
14	Raphael A. Finkel	Run-time Print Values.	ACM SIGPLAN Notices	1983	DBLP DOI BibTeX RDF
14	Manfred Jackel	Context Senitive Formatting.	ACM SIGPLAN Notices	1983	DBLP DOI BibTeX RDF
14	Arol Ambler, Robert Trawick	Chatin's Graph Coloring Algorithm as a Method for Assigning Positions to Diana Attributes.	ACM SIGPLAN Notices	1983	DBLP DOI BibTeX RDF
14	Stephen Magill, Ming-Hsien Tsai 0001, Peter Lee 0001, Yih-Kuen Tsay	Automatic numeric abstractions for heap-manipulating programs.	POPL	2010	DBLP DOI BibTeX RDF	abstraction, program verification, termination, shape analysis, separation logic
14	Matthias Heizmann, Jochen Hoenicke, Andreas Podelski	Nested interpolants.	POPL	2010	DBLP DOI BibTeX RDF	floyd-hoare logic, nested words, static analysis, interpolants, abstract interpretation, recursion, software model checking, abstraction refinement
14	Patrice Godefroid, Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali	Compositional may-must program analysis: unleashing the power of alternation.	POPL	2010	DBLP DOI BibTeX RDF	software model checking, abstraction refinement, directed testing
14	Neha Rungta, Eric Mercer	Slicing and dicing bugs in concurrent programs.	ICSE (2)	2010	DBLP DOI BibTeX RDF	underapproximation, concurrency, abstraction-refinement
14	Aditya V. Nori, Sriram K. Rajamani	An empirical study of optimizations in YOGI.	ICSE (1)	2010	DBLP DOI BibTeX RDF	testing, software model checking, abstraction refinement, directed testing
14	ByongChan Lim, Jaeha Kim, Mark A. Horowitz	An efficient test vector generation for checking analog/mixed-signal functional models.	DAC	2010	DBLP DOI BibTeX RDF	linear abstraction, validation, equivalence checking, verilog, functional model, test vector, mixed-signal circuits
14	Yingxu Wang 0001	Toward a Formal Knowledge System Theory and Its Cognitive Informatics Foundations.	Trans. Comput. Sci.	2009	DBLP DOI BibTeX RDF	knowledge science, properties of knowledge, generic information model, formal knowledge system, LRMB, HAM, OAR, modeling, knowledge engineering, manipulation, computational intelligence, Cognitive informatics, knowledge creation, abstraction levels, acquisition, cognitive computing
14	Oliver Witt, Morten Grandt, Heinz Küttelwesch	Direct Perception Displays for Military Radar-Based Air Surveillance.	HCI (17)	2009	DBLP DOI BibTeX RDF	polar diagram, military combat direction systems, user interface, Abstraction hierarchy
14	Tayfun Elmas, Shaz Qadeer, Serdar Tasiran	A calculus of atomic actions.	POPL	2009	DBLP DOI BibTeX RDF	abstraction, concurrent programs, reduction, atomicity
14	Xin Qi 0012, 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
14	Milos Blagojevic, Majid Nabi, Teun Hendriks, Twan Basten, Marc Geilen	Fast simulation methods to predict wireless sensor network performance.	PE-WASUN	2009	DBLP DOI BibTeX RDF	probabilistic abstraction, simulation, wireless sensor networks, performance evaluation, shortest path, monte carlo, system modeling
14	Jérôme Gallard, Adrien Lebre, Geoffroy Vallée, Christine Morin, Pascal Gallard, Stephen L. Scott	Refinement Proposal of the Goldberg's Theory.	ICA3PP	2009	DBLP DOI BibTeX RDF	Goldberg Virtualization Theory, Partionning, Abstraction, Emulation, Identity
14	Hai Dong, Farookh Khadeer Hussain, Elizabeth Chang 0001	State of the Art in Semantic Focused Crawlers.	ICCSA (2)	2009	DBLP DOI BibTeX RDF	semantic focused crawlers, ontology-based focused crawlers, metadata abstraction focused crawlers, semantic web, focused crawlers
14	Toshio Kodama, Tosiyasu L. Kunii, Yoichi Seki	WWW Business Applications Based on the Cellular Model.	J. Comput. Sci. Technol.	2008	DBLP DOI BibTeX RDF	incrementally modular abstraction hierarchy, formula expression, adjunction space, presentation level, topological space, cellular space, cyberworlds
14	Alex Spokoiny, Yuval Shahar	Incremental application of knowledge to continuously arriving time-oriented data.	J. Intell. Inf. Syst.	2008	DBLP DOI BibTeX RDF	Incremental temporal abstraction, Continuous monitoring, Complex events monitoring, Situation recognition, Temporal reasoning
14	Bowei Yang, Guanghua Song, Yao Zheng	ResourceDog: A Trusted Resource Discovery and Automatic Invocation P2P Framework.	NPC	2008	DBLP DOI BibTeX RDF	dual level DHT, resource abstraction, P2P, reputation system
14	Steven Crites, Francis Hsu, Hao Chen 0003	OMash: enabling secure web mashups via object abstractions.	CCS	2008	DBLP DOI BibTeX RDF	object abstraction, communication, web, mashup, protection, browser, security model, same origin policy
14	Boris Feigin, Alan Mycroft	Jones optimality and hardware virtualization: a report on work in progress.	PEPM	2008	DBLP DOI BibTeX RDF	Jones optimality, virtual machines, virtualization, full abstraction
14	Manfred Thaller, Volker Heydegger, Jan Schnasse, Sebastian Beyl, Elona Chudobkaite	Significant Characteristics to Abstract Content: Long Term Preservation of Information.	ECDL	2008	DBLP DOI BibTeX RDF	File characteristics, format definition languages, data abstraction, long term preservation
14	Yung Bok Kim, Marie Kim, Yong Joon Lee	COSMOS: a middleware platform for sensor networks and a u-healthcare service.	SAC	2008	DBLP DOI BibTeX RDF	u-healthcare, sensor network, middleware, abstraction, distributed application, platform
14	Sumit Mittal, Dipanjan Chakraborty 0001, Sunil Goyal, Sougata Mukherjea	Sewnet -: a framework for creating services utilizing telecom functionality.	WWW	2008	DBLP DOI BibTeX RDF	web 2.0, service composition, abstraction model, telecom
14	Richard M. Salter, John L. Donaldson	Using DLSim 3: a scalable, extensible, multi-level logic simulator.	ITiCSE	2008	DBLP DOI BibTeX RDF	logic circuit simulation, abstraction, computer architecture
14	Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala	Liquid types.	PLDI	2008	DBLP DOI BibTeX RDF	hindley-milner, type inference, dependent types, predicate abstraction
14	Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons	Proofs from tests.	ISSTA	2008	DBLP DOI BibTeX RDF	abstraction refinemen, software model checking, directed testing
14	Walter Dosch	Coordinating Almost Synchronous Communication Streams.	ICONS	2008	DBLP DOI BibTeX RDF	almost synchronous stream, input/output behaviour, history abstraction, Coordination, transformation, functional modeling, state transition machine
14	Christopher Scaffidi, Brad A. Myers, Mary Shaw	Topes: reusable abstractions for validating data.	ICSE	2008	DBLP DOI BibTeX RDF	validation, abstraction, data
14	Emanuele Danovaro, Tadas Remencius, Alberto Sillitti, Giancarlo Succi	PKM: knowledge management tool for environments centered on the concept of the experience factory.	ICSE Companion	2008	DBLP DOI BibTeX RDF	metric abstraction, pkm, prom, knowledge management, gqm, experience factory, dashboard, goal question metric
14	Hans P. van Ditmarsch, Andreas Herzig, Jérôme Lang, Pierre Marquis	Introspective Forgetting.	Australasian Conference on Artificial Intelligence	2008	DBLP DOI BibTeX RDF	action logic, abstraction, modal logic, belief change, forgetting
14	Roberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli	Refinement preserving approximations for the design and verification of heterogeneous systems.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	Conservative approximation, Verification, Approximation, Reuse, Refinement, Refinement, Abstraction, Abstract interpretation, Heterogeneous, Polymorphism, Preserving, Model of computation, Galois connection, Discrete time, Continuous time, Concretization