|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10432 occurrences of 4161 keywords
|
|
|
Results
Found 13114 publication records. Showing 13114 according to the selection in the facets
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 |
Displaying result #601 - #700 of 13114 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|