|
|
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 |
26 | Beatrice Lazzerini, Lanfranco Lopriore |
Abstraction Mechanisms for Event Control in Program Debugging. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
event control, program entities, program statements, program debugginga, data structures, monitoring, program debugging, conditionals, abstraction mechanisms |
25 | Vadim Bulitko |
State Abstraction in Real-Time Heuristic Search. |
SARA |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Zina M. Ibrahim, Ahmed Y. Tawfik |
A Qualitative Spatio-temporal Abstraction of a Disaster Space. |
SARA |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Alberto Delgado, Jorge Andrés Pérez, Camilo Rueda |
Implementing an Abstraction Framework for Soft Constraints. |
SARA |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Maria Sorea |
Lazy Approximation for Dense Real-Time Systems. |
FORMATS/FTRTFT |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Patrick Cousot |
Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations. |
ICLP |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Víctor Valdés, José María Martínez Sanchez |
Binary tree based on-line video summarization. |
TVS |
2008 |
DBLP DOI BibTeX RDF |
bbc rushes summarization, on-line processing, trecvid 2008, video abstraction |
24 | Asif Qumer, Brian Henderson-Sellers |
An Agile Toolkit to Support Agent-Oriented and Service-Oriented Computing Mechanisms. |
PROFES |
2007 |
DBLP DOI BibTeX RDF |
M-abstraction, Agile methods, Service-Oriented, Method Engineering, Agent-oriented |
24 | Sagar Chaki, Edmund M. Clarke, Orna Grumberg, Joël Ouaknine, Natasha Sharygina, Tayssir Touili, Helmut Veith |
State/Event Software Verification for Branching-Time Specifications. |
IFM |
2005 |
DBLP DOI BibTeX RDF |
Concurrent Software Model Checking, State/Event-based Verification, Branching-time Temporal Logic, Automated Abstraction Refinement |
24 | María-del-Mar Gallardo, Jesús Martínez, Pedro Merino 0001, Ernesto Pimentel 0001 |
aSPIN: A tool for abstract model checking. |
Int. J. Softw. Tools Technol. Transf. |
2004 |
DBLP DOI BibTeX RDF |
Model checking, Verification, Temporal logic, Abstraction, Spin |
24 | Patrick Th. Eugster, Sébastien Baehni |
Abstracting remote object interaction in a peer-2-peer environment. |
Java Grande |
2002 |
DBLP DOI BibTeX RDF |
borrow/lend, Java, peer-to-peer, abstraction, type |
24 | G. Ramalingam, Alex Varshavsky, John Field, Deepak Goyal, Shmuel Sagiv |
Deriving Specialized Program Analyses for Certifying Component-Client Conformance. |
PLDI |
2002 |
DBLP DOI BibTeX RDF |
model checking, static analysis, abstract interpretation, software components, predicate abstraction |
24 | Stephen P. Linder, Zbigniew Korona, Mieczyslaw M. Kokar |
Q2 Symbolic Reasoning about Noisy Dynamic Systems. |
J. Intell. Robotic Syst. |
1999 |
DBLP DOI BibTeX RDF |
qualitative abstraction, maneuver detection, consistency, hybrid system |
24 | Francisco J. Ballesteros, Sergio Arévalo |
The Box: A Replacement for Files. |
Workshop on Hot Topics in Operating Systems |
1999 |
DBLP DOI BibTeX RDF |
Distributed Systems, Operating Systems, Abstraction, Files |
24 | Russell J. Abbott |
On interfaces. |
J. Syst. Integr. |
1991 |
DBLP DOI BibTeX RDF |
software engineering, standards, Interfaces, concurrent engineering, computer integrated manufacturing, CIM, levels of abstraction |
24 | Chia-Hung Yeh, Chih-Hung Kuo, Rung-Wen Liou |
Movie story intensity representation through audiovisual tempo analysis. |
Multim. Tools Appl. |
2009 |
DBLP DOI BibTeX RDF |
Movie analysis, Movie abstraction, Tempo analysis, Indexing, Summarization, Video abstraction, Skimming |
24 | Stephen H. Edwards |
Representation Inheritance: A Safe Form of "White Box'' Code Inheritance. |
IEEE Trans. Software Eng. |
1997 |
DBLP DOI BibTeX RDF |
Abstraction function, abstraction relation, representation invariant, object-oriented, reuse, inheritance, specialization, subclass, behavioral subtype, model-based specification |
23 | Joel Lehman, Kenneth O. Stanley |
Revising the evolutionary computation abstraction: minimal criteria novelty search. |
GECCO |
2010 |
DBLP DOI BibTeX RDF |
evolution of complexity, novelty search, artificial life, neat |
23 | Jun Sun 0001, Yang Liu 0003, Abhik Roychoudhury, Shanshan Liu, Jin Song Dong |
Fair Model Checking with Process Counter Abstraction. |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Grégoire Jacob, Hervé Debar, Eric Filiol |
Malware Behavioral Detection by Attribute-Automata Using Abstraction from Platform and Language. |
RAID |
2009 |
DBLP DOI BibTeX RDF |
Interpretation, Malware, Behaviors, Attribute-Grammars |
23 | Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio, Brian J. Cardiff, Juan P. Galeotti, Germán Regis |
Towards Abstraction for DynAlloy Specifications. |
ICFEM |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Xueqi Cheng, Michael S. Hsiao |
Ant Colony Optimization directed program abstraction for software bounded model checking. |
ICCD |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Danny Weyns, Andrea Omicini, James Odell |
Environment as a first class abstraction in multiagent systems. |
Auton. Agents Multi Agent Syst. |
2007 |
DBLP DOI BibTeX RDF |
Environment in multiagent systems - Definition, reference model of the environment, responsibilities |
23 | Pham Van Chung, Duong Tuan Anh |
Applying Temporal Abstraction in Clinical Databases. |
RIVF |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro Fujita |
Using Counterexample Analysis to Minimize the Number of Predicates for Predicate Abstraction. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Kenneth L. McMillan |
Toward Property-Driven Abstraction for Heap Manipulating Programs. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Michel A. Reniers, Muck van Weerdenburg |
Action Abstraction in Timed Process Algebra. |
FSEN |
2007 |
DBLP DOI BibTeX RDF |
|
23 | David Monniaux |
Optimal Abstraction on Real-Valued Programs. |
SAS |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Nina Amla, Kenneth L. McMillan |
Combining Abstraction Refinement and SAT-Based Model Checking. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Eung Nam Ko, Jong Hyuk Park, Deok-Gyu Lee, Kee Chun Bang, Soo Hong Kim |
A Centralized-Abstraction and Replicated-View Architecture Running on Ubiquitous Networks for Collaborative Multimedia Distance Education Services. |
MMM (2) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 |
Game-based Abstraction for Markov Decision Processes. |
QEST |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Raoul Praful Jetley, Yi Zhang 0051, S. Purushothaman Iyer |
Using Abstraction-driven Slicing for Postmortem Analysis of Software. |
ICPC |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Songtao Xia, Ben Di Vito, César A. Muñoz |
Predicate Abstraction of Programs with Non-linear Computation. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Xinyu Liu, Paul F. Reynolds Jr., David C. Brogan |
Using Abstraction in the Verification of Simulation Coercion. |
PADS |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Shujun Deng, Weimin Wu, Jinian Bian |
Bounded Model Checking Combining Symbolic Trajectory Evaluation Abstraction with Hybrid Three-Valued SAT Solving. |
CSCWD (Selected Papers) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Bing Li, Fabio Somenzi |
Efficient Abstraction Refinement in Interpolation-Based Unbounded Model Checking. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Edmund M. Clarke, Muralidhar Talupur, Helmut Veith |
Environment Abstraction for Parameterized Verification. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Joseph Polastre, Jonathan Hui, Philip Alexander Levis, Jerry Zhao, David E. Culler, Scott Shenker, Ion Stoica |
A unifying link abstraction for wireless sensor networks. |
SenSys |
2005 |
DBLP DOI BibTeX RDF |
link protocols, network abstractions, wireless sensor networks, network protocols, protocol architecture |
23 | Edmund M. Clarke, Anubhav Gupta 0001, Ofer Strichman |
SAT-based counterexample-guided abstraction refinement. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Daniel Kroening, Alex Groce, Edmund M. Clarke |
Counterexample Guided Abstraction Refinement Via Program Execution. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Eugene Asarin, Thao Dang 0001 |
Abstraction by Projection and Application to Multi-affine Systems. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Tomasz Madajczak |
An Optimal Abstraction Model for Hardware Multithreading in Modern Processor Architectures. |
PARELEC |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Shmuel Sagiv |
On the Expressive Power of Canonical Abstraction. |
VMCAI |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Peep Küngas |
Abstraction Within Partial Deduction for Linear Logic. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
|
23 | James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough |
Global abstraction-safe marshalling with hash types. |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
singleton kinds, programming languages, ML, distributed programming, modules, hashing, lambda calculus, type theory, abstract types, serialisation, marshalling |
23 | Ricardo Jota, Jorge Martins, António Rito Silva, João Pereira 0002 |
Experimenting with a Flexible Awareness Management Abstraction for Virtual Collaboration Spaces. |
SAINT |
2003 |
DBLP DOI BibTeX RDF |
awareness management, framework, Collaborative Virtual Environments |
23 | Sagar Chaki, Edmund M. Clarke, Alex Groce, Ofer Strichman |
Predicate Abstraction with Minimum Predicates. |
CHARME |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Yunja Choi, Mats Per Erik Heimdahl |
Model Checking Software Requirement Specifications using Domain Reduction Abstraction. |
ASE |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Dennis Dams, Kedar S. Namjoshi |
Shape Analysis through Predicate Abstraction and Model Checking. |
VMCAI |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Giuliano Armano, Giancarlo Cherchi, Eloisa Vargiu |
Planning by Abstraction Using HW[]. |
AI*IA |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Edmund M. Clarke, Anubhav Gupta 0001, James H. Kukula, Ofer Strichman |
SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Edmund M. Clarke |
SAT-Based Counterexample Guided Abstraction Refinement. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
23 | John Hatcliff, Matthew B. Dwyer, Corina S. Pasareanu, Robby |
Foundations of the Bandera Abstraction Tools. |
The Essence of Computation |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Natarajan Shankar |
Verification by Abstraction. |
10th Anniversary Colloquium of UNU/IIST |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Andreas Seyfang, Silvia Miksch, Werner Horn, Michael S. Urschitz, Christian Popow, Christian F. Poets |
Using Time-Oriented Data Abstraction Methods to Optimize Oxygen Supply for Neonates. |
AIME |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Mahmut T. Kandemir, J. Ramanujam |
Data Relation Vectors: A New Abstraction for Data Optimizations. |
IEEE PACT |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Yoshimitsu Kudoh, Makoto Haraguchi |
An Appropriate Abstraction for Construction a Compact Decision Tree. |
Discovery Science |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Yoshimitsu Kudoh, Makoto Haraguchi |
Detecting a Compact Decision Tree Based on an Appropriate Abstraction. |
IDEAL |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Yoshimitsu Kudoh, Makoto Haraguchi |
An Appropriate Abstraction for an Attribute-Oriented Induction. |
Discovery Science |
1999 |
DBLP DOI BibTeX RDF |
|
23 | Yee-Wing Hsieh, Steven P. Levitan |
Model Abstraction for Formal Verification. |
DATE |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Eyðun Eli Jacobsen, Bent Bruun Kristensen, Palle Nowack |
Models, Domains and Abstraction in Software Development. |
TOOLS (27) |
1998 |
DBLP DOI BibTeX RDF |
Modeling, Software Architecture, Software Development Methodologies, Object-Oriented Software Development |
23 | Alvin R. Lebeck, David A. Wood 0001 |
Active Memory: A New Abstraction for Memory-System Simulation. |
SIGMETRICS |
1995 |
DBLP DOI BibTeX RDF |
|
23 | Leonid A. Kalinichenko |
An Anatomy of the Information Resource Semantic Abstraction. |
SIGMOD Rec. |
1991 |
DBLP DOI BibTeX RDF |
|
23 | Robert A. Ballance, Jacob Butcher, Susan L. Graham |
Grammatical Abstraction and Incremental Syntax Analysis in a Language-Based Editor. |
PLDI |
1988 |
DBLP DOI BibTeX RDF |
Alvey Test Specifications and Quality Management Project |
23 | Adolfo Piperno |
A Compositive Abstraction Algorithm for Combinatory Logic. |
TAPSOFT, Vol.2 |
1987 |
DBLP DOI BibTeX RDF |
Functional programming, Compiler design, Evaluation techniques |
23 | Dines Bjørner |
Software Abstraction Principles: Tutorial Examples of: An Operating System Command Language Specification, and a PL/I-like On-Condition Language Definition. |
The Vienna Development Method: The Meta-Language |
1978 |
DBLP DOI BibTeX RDF |
|
23 | Shamkant B. Navathe, James P. Fry |
Restructuring for Large Data Bases: Three Levels of Abstraction. |
ACM Trans. Database Syst. |
1976 |
DBLP DOI BibTeX RDF |
logical restructuring, database, database management systems, data translation, data definition |
23 | Ramon Serna Oliver, Ivan Shcherbakov, Gerhard Fohler |
An operating system abstraction layer for portable applications in wireless sensor networks. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
OSAL, abstraction layer, WSN, wireless sensor networks, operating systems, API, portability, OS |
23 | Nico Bayer, Krzysztof Loziak, Andres Garcia-Saavedra, Cigdem Sengul, Pablo Serrano 0001 |
CARMEN: resource management and abstraction in wireless heterogeneous mesh networks. |
SIGCOMM |
2010 |
DBLP DOI BibTeX RDF |
resource abstraction, heterogeneous, wireless mesh |
23 | Teemu Kanstrén, Reijo Savola, Antti Evesti, Heimo Pentikäinen, Artur Hecker, Moussa Ouedraogo, Kimmo Hätönen, Perttu Halonen, Christophe Blad, Óscar López, Saioa Ros |
Towards an abstraction layer for security assurance measurements: (invited paper). |
ECSA Companion Volume |
2010 |
DBLP DOI BibTeX RDF |
measurement, abstraction, dynamicity, taxonomy |
23 | Chih-Fan Lai, Jie-Hong R. Jiang, Kuo-Hua Wang |
BooM: a decision procedure for boolean matching with abstraction and dynamic learning. |
DAC |
2010 |
DBLP DOI BibTeX RDF |
satisfiability solving, learning, abstraction, Boolean matching |
23 | Naoko Nitta, Yoshimasa Takahashi, Noboru Babaguchi |
Automatic personalized video abstraction for sports videos using metadata. |
Multim. Tools Appl. |
2009 |
DBLP DOI BibTeX RDF |
Dynamic video abstract, Static video abstract, Personalization, Metadata, Video abstraction |
23 | Bhaskaran Raman, Kameswari Chebrolu, Dattatraya Y. Gokhale, Sayandeep Sen |
On the feasibility of the link abstraction in wireless mesh networks. |
IEEE/ACM Trans. Netw. |
2009 |
DBLP DOI BibTeX RDF |
link abstraction, link-level measurements, rural networks, IEEE 802.11, wireless mesh networks, interference, IEEE 802.15.4, WiFi |
23 | Vasanth Rajamani, Sanem Kabadayi, Christine Julien 0001 |
An interrelational grouping abstraction for heterogeneous sensors. |
ACM Trans. Sens. Networks |
2009 |
DBLP DOI BibTeX RDF |
proximity functions, querying abstraction, clustering, energy-efficiency, Heterogeneous sensor networks |
23 | William S. Evans, Christopher W. Fraser, Fei Ma |
Clone detection via structural abstraction. |
Softw. Qual. J. |
2009 |
DBLP DOI BibTeX RDF |
Refactoring, Clone detection, Procedural abstraction |
23 | Chunying Zhao, Kang Zhang 0001, Yu Lei 0001 |
Abstraction of multiple executions of object-oriented programs. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
multiple executions, trace abstraction, reverse engineering |
23 | Hyunyoung Kil, Wonhong Nam, Dongwon Lee 0001 |
Automatic web service composition with abstraction and refinement. |
WWW |
2009 |
DBLP DOI BibTeX RDF |
refinement, abstraction, service composition |
23 | Saurabh Srivastava 0001, Sumit Gulwani |
Program verification using templates over predicate abstraction. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
constraint-based fixed-point, iterative fixed-point, quantified invariants, template invariants, predicate abstraction, weakest preconditions, smt solvers |
23 | Xiaofeng Mi, Douglas DeCarlo, Matthew Stone |
Abstraction of 2D shapes in terms of parts. |
NPAR |
2009 |
DBLP DOI BibTeX RDF |
abstraction, non-photorealistic rendering, symmetry |
23 | Kuntal Nanshi, Fabio Somenzi |
Constraints in one-to-many concretization for abstraction refinement. |
DAC |
2009 |
DBLP DOI BibTeX RDF |
simulation, model checking, abstraction refinement |
23 | Hanli Zhao, Xiaogang Jin 0001, Jianbing Shen, Li Shen, Ruifang Pan |
Fast Shape-Simplifying Image Abstraction Using Graphics Hardware. |
Edutainment |
2009 |
DBLP DOI BibTeX RDF |
flow-based filtering, GPU, Non-photorealistic rendering, image abstraction |
23 | Erika Ábrahám, Andreas Grüner, Martin Steffen |
Heap-abstraction for an object-oriented calculus with thread classes. |
Softw. Syst. Model. |
2008 |
DBLP DOI BibTeX RDF |
Class-based OO languages, Thread-based concurrency, Heap abstraction, Observable behavior, Open systems, Formal semantics |
23 | Gianpiero Cabodi, Marco Murciano, Sergio Nocco, Stefano Quer |
Boosting interpolation with dynamic localized abstraction and redundancy removal. |
ACM Trans. Design Autom. Electr. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Interpolant, abstraction, redundancy removal |
23 | David G. Mitchell, Eugenia Ternovska |
Expressive power and abstraction in Essence. |
Constraints An Int. J. |
2008 |
DBLP DOI BibTeX RDF |
Essence, Constraint modelling languages, Model expansion, Abstraction, Expressive power, Descriptive complexity |
23 | Li Li, Ming Gu 0001, Xiaoyu Song, Jianmin Wang 0001 |
Effective Predicate Abstraction for Program Verification. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
program verification, predicate abstraction |
23 | Andrew Gilpin, Tuomas Sandholm |
Lossless abstraction of imperfect information games. |
J. ACM |
2007 |
DBLP DOI BibTeX RDF |
Automated abstraction, computer poker, equilibrium finding, sequential games of imperfect information, game theory |
23 | Sandip Ray, Rob Sumners |
Combining Theorem Proving with Model Checking through Predicate Abstraction. |
IEEE Des. Test Comput. |
2007 |
DBLP DOI BibTeX RDF |
model checking, formal verification, theorem proving, predicate abstraction, ACL2 |
23 | Bodil Biering, Lars Birkedal, Noah Torp-Smith |
BI-hyperdoctrines, higher-order separation logic, and abstraction. |
ACM Trans. Program. Lang. Syst. |
2007 |
DBLP DOI BibTeX RDF |
hyperdoctrines, abstraction, Separation logic |
23 | Manoranjan Satpathy, S. Ramesh 0002 |
Test case generation from formal models through abstraction refinement and model checking. |
A-MOST |
2007 |
DBLP DOI BibTeX RDF |
counterexample guided abstraction refinement, model based testing, B-method |
23 | Marc Segelken |
Abstraction and Counterexample-Guided Construction of omega -Automata for Model Checking of Step-Discrete Linear Hybrid Models. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
automata construction, counterexample guidance, iterative abstraction refinement, step-discrete hybrid systems, model-checking |
23 | Ramzi Ben Salah, Marius Bozga, Oded Maler |
On timed components and their abstraction. |
SAVCBS |
2007 |
DBLP DOI BibTeX RDF |
components, abstraction, timed automata |
23 | Mengjun Li, Ti Zhou, Zhoujun Li 0001, Huowang Chen |
An Abstraction and Refinement Framework for Verifying Security Protocols Based on Logic Programming. |
ASIAN |
2007 |
DBLP DOI BibTeX RDF |
abstraction and refinement, security protocol |
23 | Fei He 0001, Xiaoyu Song, Ming Gu 0001, Jiaguang Sun 0001 |
Effective heuristics for counterexample-guided abstraction refinement. |
ACM Great Lakes Symposium on VLSI |
2007 |
DBLP DOI BibTeX RDF |
model checking, verification, heuristics, SoC, abstraction |
23 | Asaf Shabtai, Maor Atlas, Yuval Shahar, Yuval Elovici |
Evaluation of a temporal-abstraction knowledge acquisition tool in the network security domain. |
K-CAP |
2007 |
DBLP DOI BibTeX RDF |
knowledge-based temporal abstraction, knowledge acquisition, computer-network security, temporal patterns, malicious software |
23 | Tosiyasu L. Kunii, Kenji Ohmori |
Cyberworlds: architecture and modeling by an incrementally modular abstraction hierarchy. |
Vis. Comput. |
2006 |
DBLP DOI BibTeX RDF |
Incrementally modular abstraction hierarchy, Fiber bundles, Adjunction spaces, Homotopy, Cyberspaces, Cellular spaces, Cyberworlds, Algebraic topology |
23 | Jacob Perrenet, Eric Kaasenbrood |
Levels of abstraction in students' understanding of the concept of algorithm: the qualitative perspective. |
ITiCSE |
2006 |
DBLP DOI BibTeX RDF |
abstraction, computer science education, research methods |
23 | Xuemeng Zhang, Rongcai Zhao, Jianmin Pang |
Semantic Abstraction of IA-64 Multimedia Instructions. |
SKG |
2006 |
DBLP DOI BibTeX RDF |
multimedia instructions, semantic abstraction, binary translation, IA-64 |
23 | Greta Yorsh, Thomas Ball, Mooly Sagiv |
Testing, abstraction, theorem proving: better together! |
ISSTA |
2006 |
DBLP DOI BibTeX RDF |
fabricated states, state-based coverage, testing, abstraction, program analysis, abstract interpretation, coverage, theorem prover, software fault injection, adequacy criteria |
23 | Gursimran Singh Walia, Jeffrey C. Carver, Thomas Philip |
Requirement error abstraction and classification: an empirical study. |
ISESE |
2006 |
DBLP DOI BibTeX RDF |
error abstraction, empirical study, error, inspection, root cause analysis |
23 | Kenji Ohmori, Tosiyasu L. Kunii |
An Incrementally Modular Abstraction Hierarchy for Linear Software Development Methodology. |
CW |
2006 |
DBLP DOI BibTeX RDF |
incrementally modular abstraction hierarchy, fiber bundles, adjunction spaces, software development, homotopy, cellular spaces, Cyberworlds |
Displaying result #301 - #400 of 13114 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|