Search results for "abstraction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Kevin Lano, Shekoufeh Kolahdouz Rahimi	Program abstraction by transformation: Abstraction of Visual Basic to UML.	Agile MDE/MeSS/TTC@STAF	2023	DBLP BibTeX RDF
18	Alexandre C. Moreaux	Visual content tracking, IPR management, & blockchain : from process abstraction to functional interoperability. (Traçage du contenu visuel, droits de propriété intellectuelle & blockchain : de l'abstraction des processus à l'interopérabilité fonctionnelle).		2023	RDF
18	Jonathan Raiman	DeepType: compréhension du langage naturel par l'abstraction. (DeepType: Natural Language Understanding by Abstraction).		2023	RDF
18	Lisa Blum Moyse	Computational neuroscience models at different levels of abstraction for synaptic plasticity, astrocyte modulation of synchronization and systems memory consolidation. (Modèles en neurosciences computationnelles à différents niveaux d'abstraction pour la plasticité synaptique, la modulation de synchronisation par les astrocytes et la consolidation de la mémoire des systèmes).		2023	RDF
18	Eunice Akani, Benoît Favre, Frédéric Béchet	Abstraction ou hallucination ? État des lieux et évaluation du risque pour les modèles de génération de résumés automatiques de type séquence-à-séquence (Abstraction or Hallucination ? Status and Risk assessment for sequence-to-sequence Automatic).	TALN-RECITAL	2022	DBLP BibTeX RDF
18	Chiao-Yun Li, Sebastiaan J. van Zelst, Wil M. P. van der Aalst	A Framework for Automated Abstraction Class Detection for Event Abstraction.	ISDA (2)	2022	DBLP DOI BibTeX RDF
18	Sacha Brisset	Towards Understanding Web Applications: Automated Abstraction Inference and its Applications. (Vers une comprehension des applications web: inference non-supervisée d'abstraction et ses applications).		2022	RDF
18	Bibek Kabi	Synthesizing invariants : a constraint programming approach based on zonotopic abstraction. (Synthèse d'invariants : une approche programmation par contraintes basée sur l'abstraction zonotopique).		2020	RDF
18	Sarkis Halladjian	Spatially Integrated Abstraction of Genetic Molecules. (Abstraction spatiale intégrée de molécules génétiques).		2020	RDF
18	Gaëlle Richer	Passage à l'échelle pour la visualisation interactive exploratoire de données: approches par abstraction et par déformation spatiale. (Addressing scaling challenges in interactive exploratory visualization with abstraction and spatial distortion).		2019	RDF
18	Dennis Dams, Orna Grumberg	Abstraction and Abstraction Refinement.	Handbook of Model Checking	2018	DBLP DOI BibTeX RDF
18	Jane Lisa Waite, Paul Curzon, William Marsh 0001, Sue Sentance, Alex Hadwen-Bennett	Abstraction in action: K-5 teachers' uses of levels of abstraction, particularly the design level, in teaching programming.	Int. J. Comput. Sci. Educ. Sch.	2018	DBLP DOI BibTeX RDF
18	Naoyasu Ubayashi, Yasutaka Kamei, Ryosuke Sato 0001	Can Abstraction Be Taught? Refactoring-based Abstraction Learning.	MODELSWARD	2018	DBLP DOI BibTeX RDF
18	Felix Mannhardt, Niek Tax	Unsupervised Event Abstraction using Pattern Abstraction and Local Process Models.	CoRR	2017	DBLP BibTeX RDF
18	Jihyeok Park, Xavier Rival, Sukyoung Ryu	Revisiting recency abstraction for JavaScript: towards an intuitive, compositional, and efficient heap abstraction.	SOAP@PLDI	2017	DBLP DOI BibTeX RDF
18	Sacha Beniamine	Une approche universelle pour l'abstraction automatique d'alternances morphophonologiques (A universal algorithm for the automatical abstraction of morphophonological alternations).	TALN (2)	2017	DBLP BibTeX RDF
18	Felix Mannhardt, Niek Tax	Unsupervised Event Abstraction using Pattern Abstraction and Local Process Models.	RADAR+EMISA@CAiSE	2017	DBLP BibTeX RDF
18	Joris Sansen	La visualisation d'information pour les données massives : une approche par l'abstraction de données. (Information visualization for big data : a data abstraction approach).		2017	RDF
18	Victor Allombert	Functional abstraction for programming multi-level architectures : formalisation and implementation. (Abstraction fonctionnelle pour la programmation d'architecture multi-niveaux : formalisation et implantation).		2017	RDF
18	Liang Huang, Yucong Duan, Zhangbing Zhou, Lixu Shao, Xiaobing Sun 0001, Patrick C. K. Hung	Enhancing UML Class Diagram Abstraction with Page Rank Algorithm and Relationship Abstraction Rules.	ICSOC Workshops	2016	DBLP DOI BibTeX RDF
18	Jean-Gabriel Ganascia	Abstraction of levels of abstraction.	J. Exp. Theor. Artif. Intell.	2015	DBLP DOI BibTeX RDF
18	André Luckow, Pradeep Kumar Mantha, Shantenu Jha	Pilot-Abstraction: A Valid Abstraction for Data-Intensive Applications on HPC, Hadoop and Cloud Infrastructures?	CoRR	2015	DBLP BibTeX RDF
18	Hua Zhu, Jinjiang Xing, Xuemei Zou, Jian Li	Abstraction of abstraction - an outline of general scheduling platform for space missions, part II.	ICIA	2015	DBLP DOI BibTeX RDF
18	Hanen Ochi	Abstraction and modular verification of inter-enterprise business processes. (Abstraction et vérification modulaire des processus métier inter-entreprise).		2015	RDF
18	Léon Constantin Fopa	Mise en contexte des traces pour une analyse en niveaux d'abstraction. (Exploiting context for an structuration of execution traces in abstraction layers).		2015	RDF
18	Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer 0001, Bernd Becker 0001, Holger Hermanns	MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata.	QAPL	2014	DBLP DOI BibTeX RDF
18	Christiane Kamdem Kengne	Abstraction and comparison of execution traces for analysis of embedded multimedia applications. (Abstraction et comparaison de traces d'exécution pour l'analyse d'applications multimédias embarquées).		2014	RDF
18	Erwan Daubert	Adaptation et cloud computing : un besoin d'abstraction pour une gestion transverse. (Cloud computing : a need for abstraction to manage adaptation as an orthogonal concern).		2013	RDF
18	Robert C. Holte	Korf's Conjecture and the Future of Abstraction-Based Heuristics.	SARA	2013	DBLP BibTeX RDF
18	Harm van Seijen, Shimon Whiteson, Leon J. H. M. Kester	Efficient Abstraction Selection in Reinforcement Learning (Extended Abstract).	SARA	2013	DBLP BibTeX RDF
18	Lorenza Saitta	Abstraction: A Historical and Interdisciplinary Perspective.	SARA	2013	DBLP BibTeX RDF
18	Philippe Beaucamps	Analyse de Programmes Malveillants par Abstraction de Comportements. (Analysis of Malware by Behavior Abstraction).		2011	RDF
18	Lina Ye	Optimized diagnosability of distributed discrete event systems through abstraction. (Diagnosticabilité Optimisée des Systèmes Distribués à Evénements Discrets par Abstraction).		2011	RDF
18	Alban Grastien, Gianluca Torta	A Theory of Abstraction for Diagnosis of Discrete-Event Systems.	SARA	2011	DBLP BibTeX RDF
18	Wendy Wang, Drew Hwang	Abstraction Assistant: An automatic text abstraction system.	J. Assoc. Inf. Sci. Technol.	2010	DBLP DOI BibTeX RDF
18	Takeshi Nagaoka, Kozo Okano, Shinji Kusumoto	An Abstraction Refinement Technique for Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop.	IEICE Trans. Inf. Syst.	2010	DBLP DOI BibTeX RDF
18	Abdul Malik Khan	Communication abstraction for data synchronization in distributed virtual environments : application to multiplayer games on mobile phones. (Abstraction de communication pour la synchronisation de données dans les systèmes virtuels et répartis : application aux jeux multijoueurs sur téléphone portable).		2010	RDF
18	Roberto Giacobazzi, Francesco Ranzato	Abstraction-Guided Abstraction Simplification	CoRR	2009	DBLP BibTeX RDF
18	Vitaly Kozyura	Abstraction and abstraction refinement in the verification of graph transformation systems. (PDF / PS)		2009	RDF
18	Ariel Felner, Nathan R. Sturtevant	Abstraction-Based Heuristics with True Distance Computations.	SARA	2009	DBLP BibTeX RDF
18	Juan Ye, Susan McKeever, Lorcan Coyle, Steve Neely, Simon Dobson	Resolving uncertainty in context integration and abstraction: context integration and abstraction.	ICPS	2008	DBLP DOI BibTeX RDF
18	Constantin Enea	Abstraction techniques for verification of concurrent systems. (Techniques d'abstraction dans la verification des systèmes concurrents).		2008	RDF
18	Russ Abbott, Chengyu Sun	Abstraction abstracted.	ROA@ICSE	2008	DBLP DOI BibTeX RDF
18	Jonathan H. Hill, Bernice J. Houle, Susan M. Merritt, Allen Stix	Applying abstraction to master complexity.	ROA@ICSE	2008	DBLP DOI BibTeX RDF
18	Yingxu Wang 0001	A hierarchical abstraction model for software engineering.	ROA@ICSE	2008	DBLP DOI BibTeX RDF
18	Judith Bishop	Language features meet design patterns: raising the abstraction bar.	ROA@ICSE	2008	DBLP DOI BibTeX RDF
18	David C. Haley	Rule-Based Reasoning Via Abstraction.	SARA	2007	DBLP DOI BibTeX RDF
18	Alan M. Frisch	Abstraction and Reformulation in the Generation of Constraint Models.	SARA	2007	DBLP DOI BibTeX RDF
18	Henning Dierks	Time, abstraction and heuristics - automatic verification and planning of timed systems using abstraction and heuristics.		2006	RDF
18	Leah Goldin, Anthony Finkelstein	Abstraction-based requirements management.	ROA@ICSE	2006	DBLP DOI BibTeX RDF
18	Jeff Kramer, Orit Hazzan	The role of abstraction in software engineering.	ROA@ICSE	2006	DBLP DOI BibTeX RDF
18	Christopher van der Westhuizen, Ping H. Chen, André van der Hoek	Emerging design: new roles and uses for abstraction.	ROA@ICSE	2006	DBLP DOI BibTeX RDF
18	Selma Matougui	Proposition d'un processus de réification d'abstraction de communication comme un connecteur associé à des générateurs. (Proposal of a reification process for communication abstraction as a connector associated to generators).		2005	RDF
18	Xavier Rival	Abstraction de traces en analyse statique et transformation de programmes. (Traces abstraction in static analysis and program transformation).		2005	RDF
18	Pierre Bontron	Les schémas de test : une abstraction pour la génération de tests de conformité et pour la mesure de couverture. (Test schemas : an abstraction for generation of conformance tests and coverage measure).		2005	RDF
18	Dae-Ki Kang, Jun Zhang 0002, Adrian Silvescu, Vasant G. Honavar	Multinomial Event Model Based Abstraction for Sequence and Text Classification.	SARA	2005	DBLP DOI BibTeX RDF
18	Kairong Qian, Albert Nymeyer, Steven Susanto	Experiments with Multiple Abstraction Heuristics in Symbolic Verification.	SARA	2005	DBLP DOI BibTeX RDF
18	Irit Askira Gelman	Research Summary: Abstraction Techniques, and Their Value.	SARA	2002	DBLP DOI BibTeX RDF
18	Robert P. Kurshan	Model Checking and Abstraction.	SARA	2002	DBLP DOI BibTeX RDF
18	T. K. Satish Kumar	An Information-Theoretic Characterization of Abstraction in Diagnosis and Hypothesis Selection.	SARA	2002	DBLP DOI BibTeX RDF
18	David Furcy	Using and Learning Abstraction Hierarchies for Planning.	SARA	2000	DBLP DOI BibTeX RDF
18	Lorenza Saitta, Jean-Daniel Zucker	Abstraction and Phase Transitions in Relational Learning.	SARA	2000	DBLP DOI BibTeX RDF
18	Christophe Lecoutre, Sylvain Merchez, Frédéric Boussemart, Éric Grégoire	A CSP Abstraction Framework.	SARA	2000	DBLP DOI BibTeX RDF
18	Philip Machanick	The abstraction-first approach to data abstraction and algorithms.	Comput. Educ.	1998	DBLP DOI BibTeX RDF
18	Bei-Tseng Bill Chu, James A. Reggia	Modeling diagnosis at multiple levels of abstraction. II. Diagnostic reasoning at multiple levels of abstraction.	Int. J. Intell. Syst.	1991	DBLP DOI BibTeX RDF
18	Bei-Tseng Bill Chu, James A. Reggia	Modeling diagnosis at multiple levels of abstraction. I. Representing causal relations at multiple levels of abstraction.	Int. J. Intell. Syst.	1991	DBLP DOI BibTeX RDF
18	Mark E. Stickel	A Comparison of the Variable-Abstraction and Constant-Abstraction Methods for Associative-Commutative Unification.	J. Autom. Reason.	1987	DBLP DOI BibTeX RDF
18	Ricardo Caferra	Abstraction, partage de structure et retour arrière non aveugle dans la méthode de réduction matricielle en démonstration automatique de théorèmes. (Abstraction, sharing of structure, and non-blind back to acking in the matrix reduction method in the automatic demonstration of theorems).		1982	RDF
18	Albrecht Schmidt 0001	Engineering interactive ubiquitous computing systems.	EICS	2011	DBLP DOI BibTeX RDF
18	Rachid Guerraoui, Nikola Knezevic, Vivien Quéma, Marko Vukolic	The next 700 BFT protocols.	EuroSys	2010	DBLP DOI BibTeX RDF	performance, modularity, byzantine failures
18	Jim Chow, Dominic G. Lucchetti, Tal Garfinkel, Geoffrey Lefebvre, Ryan Gardner, Joshua Mason, Sam Small, Peter M. Chen	Multi-stage replay with crosscut.	VEE	2010	DBLP DOI BibTeX RDF	security, performance, design, virtual machines, experimentation, replay
18	Alarico Campetelli, Alexander Gruler, Martin Leucker, Daniel Thoma	Don't Know for Multi-valued Systems.	ATVA	2009	DBLP DOI BibTeX RDF
18	Insik Shin, Insup Lee 0001	Compositional real-time scheduling framework with periodic model.	ACM Trans. Embed. Comput. Syst.	2008	DBLP DOI BibTeX RDF	scheduling, real-time, component, interface, composition, abstract, Hierarchical
18	Olga Grinchtein, Martin Leucker	Network invariants for real-time systems.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Real-time systems, Parameterized systems, Network invariants
18	Zaher S. Andraus, Mark H. Liffiton, Karem A. Sakallah	Reveal: A Formal Verification Tool for Verilog Designs.	LPAR	2008	DBLP DOI BibTeX RDF
18	Jörg Kienzle	On exceptions and the software development life cycle.	Workshop on Exception Handling	2008	DBLP DOI BibTeX RDF	design, software architecture, requirements, implementation, exception handling, exceptions, software development life cycle
18	Jan Smans, Bart Jacobs 0002, Frank Piessens, Wolfram Schulte	An Automatic Verifier for Java-Like Programs Based on Dynamic Frames.	FASE	2008	DBLP DOI BibTeX RDF
18	Corina S. Pasareanu, Radek Pelánek, Willem Visser	Concrete Model Checking with Abstract Matching and Refinement.	CAV	2005	DBLP DOI BibTeX RDF
18	Ivan Petkov, Paul Amblard, Marin Hristov	Systematic Design Flow for Fast Hardware/Software Prototype Generation from Bus Functional Model for MPSoC.	IEEE International Workshop on Rapid System Prototyping	2005	DBLP DOI BibTeX RDF
18	Anubhav Gupta 0001, Edmund M. Clarke	Reconsidering CEGAR: Learning Good Abstractions without Refinement.	ICCD	2005	DBLP DOI BibTeX RDF
18	Shlomi Dolev, Seth Gilbert, Elad Schiller, Alexander A. Shvartsman, Jennifer L. Welch	Autonomous virtual mobile nodes.	DIALM-POMC	2005	DBLP DOI BibTeX RDF	fault-tolerance, ad hoc networks, distributed algorithms, mobile networks, location-aware, virtual infrastructure
18	Thomas A. Henzinger	Model Checking: From Hardware to Software.	APLAS	2003	DBLP DOI BibTeX RDF
18	Makoto Haraguchi, Yoshimitsu Kudoh	Some Criterions for Selecting the Best Data Abstractions.	Progress in Discovery Science	2002	DBLP DOI BibTeX RDF
18	Jiri Baum, Ann E. Nicholson	Dynamic Non-uniform Abstractions for Approximate Planning in Large Structured Stochastic Domains.	PRICAI	1998	DBLP DOI BibTeX RDF
18	Kasilingam Periyasamy, Ciby Mathew	Paradigm shift in software re-engineering: an experience report.	CASCON	1996	DBLP BibTeX RDF
18	William E. Howden, Bruce Wieand	QDA-A Method for Systematic Informal Program Analysis.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	QDA, systematic informal program analysis, program properties, Quick Defect Analysis, comments analysis, abstract program model, hypothesis-driven method, operational flight program, formal specification, formal verification, specification, program verification, program verification, programming theory, program debugging, program diagnostics, program validity, code reading
18	Ed Brinksma	On the Uniqueness of Fixpoints Modulo Observation Congruence.	CONCUR	1992	DBLP DOI BibTeX RDF
17	David Ginat	The baffling CS notions of "as-if" and "don't-care".	SIGCSE	2010	DBLP DOI BibTeX RDF	task reformulation, abstraction, non-determinism
17	Paolo A. G. Sivilotti, Matthew Lang	Interfaces first (and foremost) with Java.	SIGCSE	2010	DBLP DOI BibTeX RDF	concrete state, abstraction, behavioral specification
17	Paul L. Rosin, Yu-Kun Lai	Towards artistic minimal rendering.	NPAR	2010	DBLP DOI BibTeX RDF	non-photorealistic rendering, line drawing, image abstraction
17	Ramzi Ben Salah, Marius Bozga, Oded Maler	Compositional timing analysis.	EMSOFT	2009	DBLP DOI BibTeX RDF	compositional generation, abstraction, timed automata, reachability analysis
17	Saeed Hassanpour, Martin J. O'Connor, Amar K. Das	Exploration of SWRL Rule Bases through Visualization, Paraphrasing, and Categorization of Rules.	RuleML	2009	DBLP DOI BibTeX RDF	Rule Abstraction, Rule Patterns, Rule Visualization, Rule Paraphrasing, Rule Categorization, Knowledge Representation, OWL, SWRL, Rule Management
17	Ashish Tiwari 0001	Abstractions for hybrid systems.	Formal Methods Syst. Des.	2008	DBLP DOI BibTeX RDF	Hybrid systems, Predicate abstraction, Qualitative simulation
17	Ritu Arora, Marjan Mernik, Purushotham V. Bangalore, Suman Roychoudhury, Saraswathi Mukkai	A Domain-Specific Language for Application-Level Checkpointing.	ICDCIT	2008	DBLP DOI BibTeX RDF	Reliability, Program Transformation, Abstraction, Domain-Specific Languages, Checkpointing, Restart
17	Li Li, Xiaoyu Song, Ming Gu 0001, Jianmin Wang 0001	A Maximum Weight Heuristic Method for Abstract State Computation.	COMPSAC	2008	DBLP DOI BibTeX RDF	model checking, program verification, weight, predicate abstraction
17	Brian S. White, Sally A. McKee, Daniel J. Quinlan	A projection-based optimization framework for abstractions with application to the unstructured mesh domain.	ICS	2008	DBLP DOI BibTeX RDF	high-level abstraction semantics, rose, unstructured mesh
17	Miguel Sicart	How I Learned to Love the Bomb: Defconand the Ethics of Computer Games.	ICEC	2008	DBLP DOI BibTeX RDF	Information Ethics, Computer Game Ethics, Method of Abstraction
17	Arjan J. H. Peddemors, Henk Eertink, Mortaza S. Bargh, Ignas G. Niemegeers	Network Resource Awareness and Control in Mobile Applications.	IEEE Internet Comput.	2007	DBLP DOI BibTeX RDF	network resource model, metwork abstraction layer, mobile computing, roaming
17	Uma S. Jha	Object Oriented HW Functions Accelerate Communication, Computing, and Multimedia Convergence.	Int. J. Wirel. Inf. Networks	2007	DBLP DOI BibTeX RDF	Application convergence, Multi-domain applications, Applications profiling & correlation, Object oriented programming, Abstraction, Software Defined Radio (SDR), Multimode applications
17	Diomidis Spinellis	The Tools We Use.	IEEE Softw.	2007	DBLP DOI BibTeX RDF	build-process, abstraction, programming language, domain-specific language, declarative language, executable UML