|
|
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 |
20 | Annabelle McIver, Carroll Morgan |
Abstraction and refinement in probabilistic systems. |
SIGMETRICS Perform. Evaluation Rev. |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Stefan Gossens, Fevzi Belli, Sami Beydeda, Mario Dal Cin |
View Graphs for Analysis and Testing of Programs at Different Abstraction Levels. |
HASE |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya |
Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification. |
VSTTE |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Shuvendu K. Lahiri, Thomas Ball, Byron Cook |
Predicate Abstraction via Symbolic Decision Procedures. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Anubhav Gupta 0001, Ofer Strichman |
Abstraction Refinement for Bounded Model Checking. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Liang Zhang 0012, Mukul R. Prasad, Michael S. Hsiao |
Interleaved Invariant Checking with Dynamic Abstraction. |
CHARME |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Jian-quan Ouyang, Jin-Tao Li 0001, Yong-Dong Zhang 0001 |
Replay Scene Based Sports Video Abstraction. |
FSKD (2) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Stefano Ferilli, Teresa Maria Altomare Basile, Nicola Di Mauro, Floriana Esposito |
On the LearnAbility of Abstraction Theories from Observations for Relational Learning. |
ECML |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Dilian Gurov, Marieke Huisman |
Interface Abstraction for Compositional Verificatio. |
SEFM |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Robert Zimmer |
Abstract Representation in Painting and Computing. |
SARA |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Ugo Galassi, Attilio Giordana |
Learning Regular Expressions from Noisy Sequences. |
SARA |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Elvira Albert, Germán Puebla, Manuel V. Hermenegildo |
Abstraction-Carrying Code. |
LPAR |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Thomas Ball, Byron Cook, Shuvendu K. Lahiri, Lintao Zhang |
Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Michael Huth 0001 |
An Abstraction Framework for Mixed Non-deterministic and Probabilistic Systems. |
Validation of Stochastic Systems |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Per Bjesse, James H. Kukula |
Using Counter Example Guided Abstraction Refinement to Find Complex Bugs. |
DATE |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Nachum Dershowitz |
Termination by Abstraction. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Roman Manevich, Shmuel Sagiv, Ganesan Ramalingam, John Field |
Partially Disjunctive Heap Abstraction. |
SAS |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Kairong Qian, Albert Nymeyer |
Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Jan Verelst |
The Influence of the Level of Abstraction on the Evolvability of Conceptual Models of Information Systems. |
ISESE |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Edmund M. Clarke, Orna Grumberg, Muralidhar Talupur, Dong Wang |
High Level Verification of Control Intensive Systems Using Predicate Abstraction. |
MEMOCODE |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Nicolas Bredèche, Zhongzhi Shi, Jean-Daniel Zucker |
Perceptual Learning and Abstraction in Machine Learning. |
IEEE ICCI |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Alexander Egyed |
Compositional and Relational Reasoning during Class Abstraction. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Calin Belta, Guilherme A. S. Pereira, Vijay Kumar 0001 |
Abstraction and Control for Swarms of Robots. |
ISRR |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Rajeev Alur, Thao Dang 0001, Franjo Ivancic |
Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Miroslav N. Velev |
Automatic Abstraction of Equations in a Logic of Equality. |
TABLEAUX |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Olaf Stursberg, Michael Theobald |
Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Kenneth L. McMillan, Nina Amla |
Automatic Abstraction without Counterexamples. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre |
Lazy abstraction. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Jongho Nang, Jinguk Jeong, Sungyong Park, Hojung Cha |
An Abstraction of Low Level Video Features for Automatic Retrievals of Explosion Scenes. |
IEEE Pacific Rim Conference on Multimedia |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Ilya Levner, Vadim Bulitko, Omid Madani, Russell Greiner |
Performance of Lookahead Control Policies in the Face of Abstractions and Approximations. |
SARA |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Miguel Antunes, António Rito Silva, Jorge Martins |
An abstraction for awareness management in collaborative virtual environments. |
VRST |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Doheon Lee, Mina Jeong, Yong-Kwan Won |
Decision Trees for Multiple Abstraction Levels of Data. |
CIA |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Håkon Wium Lie |
Abstraction Levels in Web Document Formats. |
DDEP/PODDP |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Sébastien Mustière, Lorenza Saitta, Jean-Daniel Zucker |
Abstraction in Cartographic Generalization. |
ISMIS |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Renate Motschnig-Pitrik |
The Viewpoint Abstraction in Object-Oriented Modeling and the UML. |
ER |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Aaron J. Quigley, Peter Eades |
FADE: Graph Drawing, Clustering, and Visual Abstraction. |
GD |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Young Francis Day, Ashfaq A. Khokhar, Serhan Dagtas, Arif Ghafoor |
A Multi-Level Abstraction and Modeling in Video Databases. |
Multim. Syst. |
1999 |
DBLP DOI BibTeX RDF |
Spatio-temporal logic, Content-based retrieval, Object-oriented modeling, Video databases, Semantic modeling |
20 | Jason Baumgartner, Tamir Heyman, Vigyan Singhal, Adnan Aziz |
Model Checking the IBM Gigahertz Processor: An Abstraction Algorithm for High-Performance Netlists. |
CAV |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Satyaki Das, David L. Dill, Seungjoon Park |
Experience with Predicate Abstraction. |
CAV |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Steve A. Schneider |
Abstraction and Testing. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Amy P. Felty, Douglas J. Howe, Abhik Roychoudhury |
Formal Metatheory using Implicit Syntax, and an Application to Data Abstraction for Asynchronous Systems. |
CADE |
1999 |
DBLP DOI BibTeX RDF |
|
20 | E. K. Park, Suk-Chung Yoon |
An Approach to Intensional Query Answering at Multiple Abstraction Levels using Data Mining Approaches. |
HICSS |
1999 |
DBLP DOI BibTeX RDF |
Extensional Answer, Intensional Answer, Data Mining, Attribute-Oriented Induction |
20 | Andrew U. Frank |
One Step up the Abstraction Ladder: Combining Algebras - From Functional Pieces to a Whole. |
COSIT |
1999 |
DBLP DOI BibTeX RDF |
Spatial Algebras, Parameterization of Algebras, Category Theory, Spatial Data Models |
20 | Polly Huang, Deborah Estrin, John S. Heidemann |
Enabling Large-Scale Simulations: Selective Abstraction Approach to the Study of Multicast Protocols. |
MASCOTS |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Adolfo Villafiorita |
Abstraction as a Form of Elaboration Tolerance. |
AIMSA |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Abelardo Pardo, Gary D. Hachtel |
Automatic Abstraction Techniques for Propositional µ-calculus Model Checking. |
CAV |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Hongwei Xi |
Evaluation Under Lambda Abstraction. |
PLILP |
1997 |
DBLP DOI BibTeX RDF |
partial evaluation, lambda-calculus, run-time code generation |
20 | Clênio F. Salviano, Mario A. Nascimento, Murat M. Tanik |
A Simple Approach to Improve the Abstraction Level of Object Representation. |
CAST |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Ralph D. Hill |
The abstraction-link-view paradigm: using constraints to connect user interfaces to applications. |
CHI |
1992 |
DBLP DOI BibTeX RDF |
dialog independence, constraints |
20 | Igor Mozetic, Christian Holzbaur |
Extending Explanation-Based Generalization by Abstraction Operators. |
EWSL |
1991 |
DBLP DOI BibTeX RDF |
|
20 | Kurt Sieber |
Relating Full Abstraction Results for Different Programming Languages. |
FSTTCS |
1990 |
DBLP DOI BibTeX RDF |
|
20 | Philip Wadler |
Views: A Way for Pattern Matching to Cohabit with Data Abstraction. |
POPL |
1987 |
DBLP DOI BibTeX RDF |
|
20 | Jos C. M. Baeten, Rob J. van Glabbeek |
Another Look at Abstraction in Process Algebra (Extended Abstract). |
ICALP |
1987 |
DBLP DOI BibTeX RDF |
|
20 | Larry Soulé, R. Blank |
Statistics for Parallelism and Abstraction Level in Digital Simulation. |
DAC |
1987 |
DBLP DOI BibTeX RDF |
|
20 | Bent Bruun Kristensen, Ole Lehrmann Madsen, Birger Møller-Pedersen, Kristen Nygaard |
Abstraction Mechanisms in the Beta Programming Language. |
POPL |
1983 |
DBLP DOI BibTeX RDF |
|
19 | Ernst Moritz Hahn, Gethin Norman, David Parker 0001, Björn Wachter, Lijun Zhang 0001 |
Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems. |
QEST |
2011 |
DBLP DOI BibTeX RDF |
probabilistic hybrid systems, probabilistic reachability, long-run average, abstraction refinement, stochastic games, controller synthesis |
19 | Nicola Bombieri, Franco Fummi, Valerio Guarnieri |
Accelerating RTL Fault Simulation through RTL-to-TLM Abstraction. |
ETS |
2011 |
DBLP DOI BibTeX RDF |
RTL fault simulation, fault simulation acceleration, RTL-to-TLM abstraction |
19 | Z. Cliffe Schreuders, Christian Payne, Tanya Jane McGill |
A Policy Language for Abstraction and Automation in Application-Oriented Access Controls: The Functionality-Based Application Confinement Policy Language. |
POLICY |
2011 |
DBLP DOI BibTeX RDF |
application-oriented access control, policy abstraction, a priori policy specification, functionality-based application confinement, policy usability |
19 | Monika Weidmann, Falko Koetter, Thomas Renner, David Schumm, Frank Leymann, Daniel Schleicher |
Synchronization of Adaptive Process Models Using Levels of Abstraction. |
EDOCW |
2011 |
DBLP DOI BibTeX RDF |
Adaptive Business Processes, Sychronization, Business Process Management, Abstraction Levels |
19 | Hao Zheng 0001, Haiqiong Yao, Tomohiro Yoneda |
Modular Model Checking of Large Asynchronous Designs with Efficient Abstraction Refinement. |
IEEE Trans. Computers |
2010 |
DBLP DOI BibTeX RDF |
circuit verification, model checking, Formal methods, refinement, abstraction, modular verification, logic verification |
19 | Isabelle Perseil, Laurent Pautet |
High-Level Abstraction Modeling for Detailed Analysis of Avionic Real-Time Systems. |
ECBS |
2010 |
DBLP DOI BibTeX RDF |
Real-time systems, Abstraction, Analysis, MARTE |
19 | Alex Landau, David Hadas, Muli Ben-Yehuda |
Plugging the hypervisor abstraction leaks caused by virtual networking. |
SYSTOR |
2010 |
DBLP DOI BibTeX RDF |
I/O virtualization, network abstraction, network virtualization |
19 | Paolo Buono, Adalberto Lafcadio Simeone |
Video abstraction and detection of anomalies by tracking movements. |
AVI |
2010 |
DBLP DOI BibTeX RDF |
video analysis, visual analytics, video abstraction |
19 | Tayfun Elmas |
QED: a proof system based on reduction and abstraction for the static verification of concurrent software. |
ICSE (2) |
2010 |
DBLP DOI BibTeX RDF |
abstraction, concurrent programs, reduction, atomicity |
19 | Richard Mordinyi, Eva Kühn, Alexander Schatten |
Space-Based Architectures as Abstraction Layer for Distributed Business Applications. |
CISIS |
2010 |
DBLP DOI BibTeX RDF |
Agile Business Requirements, Abstraction, Architectural Styles, Space-based Computing |
19 | Michael Huth 0001, Orna Grumberg |
Special section on advances in reachability analysis and decision procedures: contributions to abstraction-based system verification. |
Int. J. Softw. Tools Technol. Transf. |
2009 |
DBLP DOI BibTeX RDF |
Bounded reachability, Bit-vector arithmetic, Abstraction, Asynchronous systems, Decision diagrams, Memory models, Decision problems |
19 | Daniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen |
Time-Bounded Reachability in Tree-Structured QBDs by Abstraction. |
QEST |
2009 |
DBLP DOI BibTeX RDF |
Applications, Abstraction, Probabilistic model checking, Infinite-state systems |
19 | Stefan Schäckeler, Weijia Shang |
Procedural Abstraction with Reverse Prefix Trees. |
CGO |
2009 |
DBLP DOI BibTeX RDF |
post-pass optimization, reverse prefix tree, embedded systems, suffix tree, program visualization, code size reduction, code compaction, procedural abstraction |
19 | Jacques Calmet |
Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning. |
Calculemus/MKM |
2009 |
DBLP DOI BibTeX RDF |
mechanized reasoning, agent, abstraction, computational modeling, knowledge |
19 | Paul Maier, Martin Sachenbacher |
Constraint Optimization and Abstraction for Embedded Intelligent Systems. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
automated abstraction, embedded systems, decomposition, heuristic search, Constraint optimization |
19 | Woei-Kae Chen, Zheng-Wen Shen, Che-Ming Chang |
GUI Test Script Organization with Component Abstraction. |
SSIRI |
2008 |
DBLP DOI BibTeX RDF |
component abstraction, GUI Testing, test script, object-based |
19 | Haksoo Choi, Chanmin Yoon, Hojung Cha |
Device Driver Abstraction for Multithreaded Sensor Network Operating Systems. |
EWSN |
2008 |
DBLP DOI BibTeX RDF |
Multithreaded sensor network operating systems, device driver abstraction |
19 | Yang-Suk Kee, Carl Kesselman |
Grid Resource Abstraction, Virtualization, and Provisioning for Time-Targeted Applications. |
CCGRID |
2008 |
DBLP DOI BibTeX RDF |
resource abstraction, resource provisioning, resource virtualization, high performance distributed computing |
19 | Ba Tu Truong, Svetha Venkatesh |
Video abstraction: A systematic review and classification. |
ACM Trans. Multim. Comput. Commun. Appl. |
2007 |
DBLP DOI BibTeX RDF |
survey, Video summarization, video skimming, video abstraction, keyframe |
19 | Sharon Shoham, Orna Grumberg |
A game-based framework for CTL counterexamples and 3-valued abstraction-refinement. |
ACM Trans. Comput. Log. |
2007 |
DBLP DOI BibTeX RDF |
3-valued semantics, Model checking games, Temporal logic, CTL, Counterexamples, Abstraction-Refinement |
19 | Alex Spokoiny, Yuval Shahar |
An active database architecture for knowledge-based incremental abstraction of complex concepts from continuously arriving time-oriented raw data. |
J. Intell. Inf. Syst. |
2007 |
DBLP DOI BibTeX RDF |
Continuous monitoring, Incremental temporal abstraction, Temporal mediation, Temporal reasoning, Active databases |
19 | Linda Rising |
Understanding the Power of Abstraction in Patterns. |
IEEE Softw. |
2007 |
DBLP DOI BibTeX RDF |
pattern writing, abstraction, patterns, pattern language, pattern languages |
19 | Issam Chebbi, Samir Tata |
Workflow Abstraction for Privacy Preservation. |
WISE Workshops |
2007 |
DBLP DOI BibTeX RDF |
inter-organizational worklows, abstraction, cooperation, visibility |
19 | Andreas Thomsen, Martin Breunig |
Some Remarks on Topological Abstraction in Multi Representation Databases. |
IF&GIS |
2007 |
DBLP DOI BibTeX RDF |
geoinformation, MRDB, data integration, abstraction, Topology, LOD |
19 | Bernhard Hengst |
Safe State Abstraction and Reusable Continuing Subtasks in Hierarchical Reinforcement Learning. |
Australian Conference on Artificial Intelligence |
2007 |
DBLP DOI BibTeX RDF |
state abstraction, task hierarchies, decomposition, hierarchical reinforcement learning |
19 | Jiaying Shen, Victor R. Lesser |
Communication management using abstraction in distributed bayesian networks. |
AAMAS |
2005 |
DBLP DOI BibTeX RDF |
decentralized MDP, communication, abstraction |
19 | Michael R. Wick, Daniel E. Stevenson, Andrew T. Phillips |
Seven design rules for teaching students sound encapsulation and abstraction of object properties and member data. |
SIGCSE |
2004 |
DBLP DOI BibTeX RDF |
accessors, abstraction, mutators, encapsulation |
19 | Ian F. Alexander |
On Abstraction in Scenarios. |
Requir. Eng. |
2002 |
DBLP DOI BibTeX RDF |
Vivid scenarios, Abstraction, Scenarios, Use cases, Requirements elicitation |
19 | María-del-Mar Gallardo, Jesús Martínez, Pedro Merino 0001, Estefanía Rosales |
Using XML to implement abstraction for Model Checking. |
SAC |
2002 |
DBLP DOI BibTeX RDF |
XML, XML, model checking, abstraction, SPIN |
19 | Scott S. Snibbe, Golan Levin |
Interactive dynamic abstraction. |
NPAR |
2000 |
DBLP DOI BibTeX RDF |
philosophical considerations, animation, computer graphics, human factors, abstraction, art, cognitive science, visual communication |
19 | Michael Marz, Alexander Rohr, Thomas Streicher |
Full Abstraction and Universality via Realisability. |
LICS |
1999 |
DBLP DOI BibTeX RDF |
realisability models, full abstraction, domain theory, categorical models |
19 | Filippo Lanubile, Forrest Shull, Victor R. Basili |
Experimenting with Error Abstraction in Requirements Documents. |
IEEE METRICS |
1998 |
DBLP DOI BibTeX RDF |
error abstraction, software requirements, Defect detection, perspective-based reading |
19 | Charles Lakos |
On the Abstraction of Coloured Petri Nets. |
ICATPN |
1997 |
DBLP DOI BibTeX RDF |
Theory of High-Level Petri Nets, Abstraction, Duality |
19 | Daniel E. Cooke |
Abstraction, concurrency, and communal computing in SequenceL. |
COMPSAC |
1997 |
DBLP DOI BibTeX RDF |
SequenceL, declarative constructs, nonscalar processing, problem solver, metastructure, data products, data structures, concurrency, abstraction, computer language, language constructs, communal computing |
19 | Yossi Cohen, Yishai A. Feldman |
Automatic High-Quality Reengineering of Database Programs by Temporal Abstraction. |
ASE |
1997 |
DBLP DOI BibTeX RDF |
automatic high-quality reengineering, legacy database programs, legacy software conversion, database access operations, target database query language, network data traffic, relational databases, indexes, query optimization, filtering, joins, readability, expressive power, aggregative operations, temporal abstraction, relational database model, MIDAS |
19 | Rob J. van Glabbeek, W. P. Weijland |
Branching Time and Abstraction in Bisimulation Semantics. |
J. ACM |
1996 |
DBLP DOI BibTeX RDF |
process algebra semantic equivalence, concurrency, abstraction, bisimulation, action refinement, branching time |
19 | Stephan Murer, Stephen M. Omohundro, David Stoutamire, Clemens A. Szyperski |
Iteration Abstraction in Sather. |
ACM Trans. Program. Lang. Syst. |
1996 |
DBLP DOI BibTeX RDF |
Sather, general control structures, iteration abstraction |
19 | Woohyuk Lee, Abelardo Pardo, Jae-Young Jang, Gary D. Hachtel, Fabio Somenzi |
Tearing based automatic abstraction for CTL model checking. |
ICCAD |
1996 |
DBLP DOI BibTeX RDF |
ACTL model checking, CTL model checking, conservative ECTL, lattice set, lower bound approximations, pseudo-optimal shortest path, resolution methods, tearing based automatic abstraction, upper bound approximations, formal verification, reactive system, bipartition |
19 | Gérard Boudol, Carolina Lavatelli |
Full Abstraction for Lambda Calculus with Resources and Convergence Testing. |
CAAP |
1996 |
DBLP DOI BibTeX RDF |
intersection type systems, calculus, full abstraction |
19 | Jonas Gomes, Luiz Velho 0001 |
Abstraction paradigms for computer graphics. |
Vis. Comput. |
1995 |
DBLP DOI BibTeX RDF |
Color theory, Modeling, User interface, Graphics, Abstraction Levels, Signal theory |
19 | Yih-Farn Chen, Michael Y. Nishimoto, C. V. Ramamoorthy |
The C Information Abstraction System. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
C information abstraction system, relational information, software tasks, graphical views, subsystem extraction, program layering, binding analysis, data structures, relational databases, conceptual model, programming, C language, program structures, C programs, dead code elimination, relational views |
19 | Judy M. Bishop |
The Effect of Data Abstraction on Loop Programming Techniques. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
loop programming techniques, loop algorithms, generic sorting routine, generic data types, software engineering, data structures, Ada, generators, abstract data types, iterator, data abstraction |
19 | James R. Russell |
Full Abstraction for Nondeterministic Dataflow Networks |
FOCS |
1989 |
DBLP DOI BibTeX RDF |
input-output relation, nondeterministic dataflow networks, bounded choice, semantic models, full abstraction |
19 | Jan J. M. M. Rutten |
Correctness and full abstraction of metric semantics for concurrency. |
REX Workshop |
1988 |
DBLP DOI BibTeX RDF |
complete metric spaces, concurrency, contractions, correctness, operational semantics, compositionality, denotational semantics, full abstraction |
19 | Mary Shaw, Gary Feldman, Robert Fitzgerald, Paul N. Hilfinger, Izumi Kimura, Ralph L. London, Jonathan Rosenberg, William A. Wulf |
Validating The Utility Of Abstraction Techniques. |
ACM Annual Conference (1) |
1978 |
DBLP DOI BibTeX RDF |
Abstraction and representation, Verification, Formal specification, Validation, Programming languages, Correctness, Types, Abstract data types, Encapsulation, Programming methodology, Proofs of correctness, Modular decomposition |
Displaying result #501 - #600 of 13114 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|