|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 21168 occurrences of 7577 keywords
|
|
|
Results
Found 30049 publication records. Showing 30049 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Jan Tretmans |
Test Generation with Inputs, Outputs and Repetitive Quiescence. |
Softw. Concepts Tools |
1996 |
DBLP BibTeX RDF |
|
17 | Rajeev Alur, Gerard J. Holzmann, Doron A. Peled |
An Analyzer for Message Sequence Charts. |
Softw. Concepts Tools |
1996 |
DBLP BibTeX RDF |
|
17 | Pavol Návrat, Mária Bieliková |
Knowledge-Controlled Version Selection in Software Configuration Management. |
Softw. Concepts Tools |
1996 |
DBLP BibTeX RDF |
|
17 | Ernst-Erich Doberkat |
A Language for Specifying Hyperdocuments. |
Softw. Concepts Tools |
1996 |
DBLP BibTeX RDF |
|
17 | Christopher David Turner, David J. Robson |
A State-Based Approach to the Testing of Class-Based Programs. |
Softw. Concepts Tools |
1995 |
DBLP BibTeX RDF |
|
17 | Ruth Breu, Michael Breu |
A Methodology of Inheritance. |
Softw. Concepts Tools |
1995 |
DBLP BibTeX RDF |
|
17 | Robert P. Cook, Richard G. McDaniel |
The StarLite Algorithm Animator. |
Softw. Concepts Tools |
1995 |
DBLP BibTeX RDF |
|
17 | Simon Moser |
Metamodels for Object Oriented Systems: A Proposition of Metamodels describing Object Oriented Systems at Consecutive Levels of Abstraction. |
Softw. Concepts Tools |
1995 |
DBLP BibTeX RDF |
|
17 | Dennis M. Volpano |
Type Checking Coherent Overloading. |
Softw. Concepts Tools |
1995 |
DBLP BibTeX RDF |
|
17 | Michael Franz |
Protocol Extension: A Technique for Structuring Large Extensible Software-Systems. |
Softw. Concepts Tools |
1995 |
DBLP BibTeX RDF |
|
17 | J. Adrian Zimmer |
Type Substitution in Compiled Code. |
Softw. Concepts Tools |
1995 |
DBLP BibTeX RDF |
|
17 | Chung-Kwong Yuen, Ming-Dong Feng |
Iterative Computation and Speculative Processing. |
Softw. Concepts Tools |
1995 |
DBLP BibTeX RDF |
|
17 | Wolfgang Pree, Gustav Pomberger, Albert Schappert, Peter Sommerlad |
Active Guidance of Framework Development. |
Softw. Concepts Tools |
1995 |
DBLP BibTeX RDF |
|
17 | Régis Crelier |
Extending Module Interfaces without Invalidating Clients. |
Softw. Concepts Tools |
1995 |
DBLP BibTeX RDF |
|
17 | Alberto O. Mendelzon, Johannes Sametinger |
Reverse Engineering by Visualizing and Querying. |
Softw. Concepts Tools |
1995 |
DBLP BibTeX RDF |
|
17 | Chung-Kwong Yuen, Ming-Dong Feng |
BaLinda Plus: Adding Objects to Parallel Languages. |
Softw. Concepts Tools |
1995 |
DBLP BibTeX RDF |
|
17 | Craig Gaskell, Roger Phillips |
Software Architecture of the Executable Graphical Specification Tool EGS1. |
Softw. Concepts Tools |
1995 |
DBLP BibTeX RDF |
|
17 | Ole I. Hougaard, Michael I. Schwartzbach, Hosein Askari |
Type Inference for Turbo Pascal. |
Softw. Concepts Tools |
1995 |
DBLP BibTeX RDF |
|
17 | Spyros Lalis, Beverly A. Sanders |
From Persistent Objects to Object Transmission in Distributed Systems Using Oberon. |
Softw. Concepts Tools |
1995 |
DBLP BibTeX RDF |
|
17 | Rudolf K. Keller, Xijin Shen, Richard Lajoie, Marianne Ozkan, Tao Tao |
Environment Support for Business Reengineering: The Macrotec Approach. |
Softw. Concepts Tools |
1995 |
DBLP BibTeX RDF |
|
17 | Andrew M. Gravell, Chris H. Pratten |
Formal Methods and Open Systems. |
Softw. Concepts Tools |
1995 |
DBLP BibTeX RDF |
|
17 | Paul McCartney, Kenneth J. Goldman, David E. Saff |
EUPHORIA: End-User Construction of Direct Manipulation User Interfaces for Distributed Applications. |
Softw. Concepts Tools |
1995 |
DBLP BibTeX RDF |
|
17 | Gustav Pomberger, Gerhard Rossbach |
Editorial. |
Softw. Concepts Tools |
1994 |
DBLP BibTeX RDF |
|
17 | Manuel I. Capel, José M. Troya |
An Object-Based Tool and Methodological Approach for Distributed Programming. |
Softw. Concepts Tools |
1994 |
DBLP BibTeX RDF |
|
17 | Jim Welsh, Yun Yang |
Integration of Semantic Tools into Document Editors. |
Softw. Concepts Tools |
1994 |
DBLP BibTeX RDF |
|
17 | Hélène Waeselynck, Dietmar Pfahl |
System Dynamics Applied to the Modelling of Software Projects. |
Softw. Concepts Tools |
1994 |
DBLP BibTeX RDF |
|
17 | Walter R. Bischofberger, Thomas Kofler, Bruno Schäffer |
Object-Oriented Programming Environments: Requirements and Approaches. |
Softw. Concepts Tools |
1994 |
DBLP BibTeX RDF |
|
17 | Jürg Gutknecht |
Oberon System 3: Vision of a Future Software Technology. |
Softw. Concepts Tools |
1994 |
DBLP BibTeX RDF |
|
17 | Takayuki Dan Kimura, Samudra Sengupta, Ajay Apte |
A Graphic Diagram Editor for Pen Computers. |
Softw. Concepts Tools |
1994 |
DBLP BibTeX RDF |
|
17 | John Yiannis Cotronis, Apostolos Nikolaos Refenes, Eugene Eberbach |
Language Support for Concurrent Symbolic and Numeric Systems. |
Softw. Concepts Tools |
1994 |
DBLP BibTeX RDF |
|
17 | Timothy B. Brown, Takayuki Dan Kimura |
Completeness of a Visual Computation Model. |
Softw. Concepts Tools |
1994 |
DBLP BibTeX RDF |
|
17 | Martin P. Ward |
Language-Oriented Programming. |
Softw. Concepts Tools |
1994 |
DBLP BibTeX RDF |
|
17 | Donald E. Knuth |
Mini-Indexes for Literate Programs. |
Softw. Concepts Tools |
1994 |
DBLP BibTeX RDF |
|
17 | Laura Giordano 0001, Alberto Martelli |
Structured Prolog: A Language for Structured Logic Programming. |
Softw. Concepts Tools |
1994 |
DBLP BibTeX RDF |
|
17 | Masahito Hirakawa, Tadao Ichikawa |
Visual Language Studies - A Perspective. |
Softw. Concepts Tools |
1994 |
DBLP BibTeX RDF |
|
17 | Linxiao Ma, John D. Ferguson, Marc Roper, Isla Ross, Murray Wood |
Improving the mental models held by novice programmers using cognitive conflict and jeliot visualisations. |
ITiCSE |
2009 |
DBLP DOI BibTeX RDF |
Jeliot, programming, CS1, mental models, novice |
17 | Hai-Tao Zheng 0002, Charles Borchert, Hong-Gee Kim |
A Concept-Driven Automatic Ontology Generation Approach for Conceptualization of Document Corpora. |
Web Intelligence |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Li Qin, Vijayalakshmi Atluri |
Concept-level access control for the Semantic Web. |
XML Security |
2003 |
DBLP DOI BibTeX RDF |
ontology, Semantic Web, access control, concept, propagation |
17 | Sabrina Tiun, Rosni Abdullah, Tang Enya Kong |
Automatic Topic Identification Using Ontology Hierarchy. |
CICLing |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Nicolas Anquetil |
A Comparison of Graphs of Concept for Reverse Engineering. |
IWPC |
2000 |
DBLP DOI BibTeX RDF |
Clustering, Reverse Engineering, Concept Analysis |
17 | Ulrich Frank, Don S. Batory, Jean Bézivin, Brian Henderson-Sellers, Houman Younessi |
High level Modelling Languages, Adaptable Process Models and Software Generation: Drivers for Quality and Productivity. |
TOOLS (30) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Catherine Faron, Jean-Gabriel Ganascia |
Representation of Defaults and Exceptions in Conceptual Graphs Formalism. |
ICCS |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Lionel C. Briand, Sandro Morasca, Victor R. Basili |
Property-Based Software Engineering Measurement. |
IEEE Trans. Software Eng. |
1996 |
DBLP DOI BibTeX RDF |
measure properties, complexity, coupling, Software measurement, cohesion, size, measurement theory |
16 | Jan Erik Moström, Jonas Boustedt, Anna Eckerdal, Robert McCartney, Kate Sanders 0001, Lynda Thomas, Carol Zander |
Computer science student transformations: changes and causes. |
ITiCSE |
2009 |
DBLP DOI BibTeX RDF |
student biographies, transformations, threshold concepts |
16 | Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge |
A logic of games and propositional control. |
AAMAS (2) |
2009 |
DBLP BibTeX RDF |
effectivity functions, game solvability, propositional control, modal logic, solution concepts, strategic games |
16 | Wen Zhang, Xijin Tang 0001 |
A Study on Web Clustering with Respect to XiangShan Science Conference. |
Communications and Discoveries from Multidisciplinary Data |
2008 |
DBLP DOI BibTeX RDF |
average co-occurrence, average difference, automatic concepts generation, Xiangshan Science Cinference, Web clustering |
16 | Valentin David |
Preparing for C++0x. |
OOPSLA Companion |
2008 |
DBLP DOI BibTeX RDF |
reusable parser, C++, program transformation, parsing, concepts, C++0x |
16 | Hai Dong, Farookh Khadeer Hussain, Elizabeth Chang 0001 |
A Semantic Crawler Based on an Extended CBR Algorithm. |
OTM Workshops |
2008 |
DBLP DOI BibTeX RDF |
semantic crawler, metadata abstraction, ontological concepts, extended CBR algorithm |
16 | Doina Cajvaneanu |
Virtual worlds: a political incubator. |
Data Base |
2007 |
DBLP DOI BibTeX RDF |
political innovation, virtual worlds, concepts, political |
16 | Leif Skiftenes Flak, Maung Kyaw Sein, Øystein Sæbø |
Towards a Cumulative Tradition in E-Government Research: Going Beyond the Gs and Cs. |
EGOV |
2007 |
DBLP DOI BibTeX RDF |
e-Government concepts, cumulative tradition, government, citizen |
16 | Martin Karsten, Srinivasan Keshav, Sanjiva Prasad, Mirza Omer Beg |
An axiomatic basis for communication. |
SIGCOMM |
2007 |
DBLP DOI BibTeX RDF |
routing, protocols, concepts, definitions, naming, addressing |
16 | Ruedi Arnold |
Introducing propositional logic and queueing theory with the infotraffic interactive learning environments. |
ITiCSE |
2007 |
DBLP DOI BibTeX RDF |
abstract concepts, fundamental topics, queueing theory, learning environment, propositional logic |
16 | Robert McCartney, Anna Eckerdal, Jan Erik Moström, Kate Sanders 0001, Carol Zander |
Successful students' strategies for getting unstuck. |
ITiCSE |
2007 |
DBLP DOI BibTeX RDF |
stuck places, learning strategies, threshold concepts |
16 | Carsten Keßler |
Similarity Measurement in Context. |
CONTEXT |
2007 |
DBLP DOI BibTeX RDF |
geospatial concepts, context, Similarity measurement |
16 | Lynne E. Hall, Sarah Woods, Marc Hall, Dieter Wolke |
Children's Emotional Interpretation of Synthetic Character Interactions. |
ACII |
2007 |
DBLP DOI BibTeX RDF |
Theory of Mind concepts, social and emotional learning, emotional interpretation, personal, virtual learning environments, Synthetic characters |
16 | Shih-Ming Bai, Shyi-Ming Chen |
A New Approach for Automatically Constructing Concept Maps Based on Fuzzy Rules. |
IEA/AIE |
2007 |
DBLP DOI BibTeX RDF |
question-relationship graphs, concepts-relationship graphs, testing records, concept maps, Adaptive learning |
16 | Rossitza Setchi, Nikolaos Lagos, Danny Froud |
Computational Imagination: Research Agenda. |
Australian Conference on Artificial Intelligence |
2007 |
DBLP DOI BibTeX RDF |
Computational imagination, descriptionalism, pictorialism, AI, semantics, emotion, cognition, concepts, imagery |
16 | William W. Gaver |
Designing for our (sur)real lives. |
OZCHI |
2006 |
DBLP DOI BibTeX RDF |
interaction design, prototypes, methods, concepts |
16 | Khin Mi Mi Aung, Kiejin Park, Jong Sou Park |
A Model of ITS Using Cold Standby Cluster. |
ICADL |
2005 |
DBLP DOI BibTeX RDF |
Concepts and Models, Intrusion Tolerant System, Security, Cluster System, Rejuvenation |
16 | Raymond Flood, Bob Lockhart |
Teaching programming collaboratively. |
ITiCSE |
2005 |
DBLP DOI BibTeX RDF |
classroom dialogue, teaching programming concepts, collaborative learning, problem-based learning, meta-languages |
16 | Ken Sutton, Andrew Heathcote, Miles Bore |
Implementing a web-based measurement of 3d understanding. |
OZCHI |
2005 |
DBLP BibTeX RDF |
3D concepts, web-based research, spatial cognition, 3D measurement |
16 | Václav Rajlich, Prashant Gosavi |
Incremental Change in Object-Oriented Programming. |
IEEE Softw. |
2004 |
DBLP DOI BibTeX RDF |
incremental change, programming concepts, role splitting, software maintenance, refactoring, software evolution, agile development, impact analysis, incremental development, change propagation, concept location |
16 | Peter Tabeling |
Architectural Description with Integrated Data Consistency Models. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
Fundamental Modeling Concepts, Software Architecture, Transaction, Data Consistency, Snapshot, STAGE, FMC |
16 | Hua Wenjian, Liu Zuoliang |
An Extended Rough Sets Approach to Analysis of CUDT. |
Intelligent Information Processing |
2004 |
DBLP DOI BibTeX RDF |
continuous uncertain decision system, extended Rough Sets Approach, Approximation of concepts |
16 | Mika Rautiainen, Timo Ojala, Tapio Seppänen |
Analysing the performance of visual, concept and text features in content-based video retrieval. |
Multimedia Information Retrieval |
2004 |
DBLP DOI BibTeX RDF |
Borda count, content-based video retrieval, feature fusion, semantic concepts |
16 | Myungsook Klassen |
Another approach to teaching programming concept course with object first. |
SIGITE Conference |
2004 |
DBLP DOI BibTeX RDF |
attrition rate, innovative teaching, programming concepts, object oriented programming, problem solving, Alice, 3D animation, logical reasoning |
16 | Berry Eggen, Gerard Hollemans, Richard van de Sluis |
Exploring and enhancing the home experience. |
Cogn. Technol. Work. |
2003 |
DBLP DOI BibTeX RDF |
Ambient intelligence Home experience Smart home User-centered design User interface concepts |
16 | Hicham Hajji, Mohand-Said Hacid, Farouk Toumani |
Discovering Structures in Video Databases. |
ISMIS |
2003 |
DBLP DOI BibTeX RDF |
Mining Multimedia Data, Concepts Classification, Reasoning |
16 | Joe Heike Steinhauer, Tom Wiese, Christian Freksa, Thomas Barkowsky |
Recognition of Abstract Regions in Cartographic Maps. |
COSIT |
2001 |
DBLP DOI BibTeX RDF |
map interpretation, region abstraction, spatial concepts, formal methods, cognitive modeling, map generalization |
16 | Didier Demigny, Lounis Kessal, R. Bourguiba, N. Boudouani |
How to Use High Speed Reconfigurable FPGA for Real Time Image Processing? |
CAMP |
2000 |
DBLP DOI BibTeX RDF |
high speed reconfigurable FPGA, ARDOISE, video frame duration, architectural concepts, partitioning methodology, image segmentation, image segmentation, hardware architecture, real time image processing |
16 | Arjen Wassenaar |
E-Governmental Value Chain Models. |
DEXA Workshops |
2000 |
DBLP DOI BibTeX RDF |
E-governmental value chain models, business modelling perspective, electronic governmental activities, governmental value chain model, information system innovations, juridical function, legislative governance, governmental service delivery management, strategic-constitutional, tactical-intermediation, operational-retail level, business concepts, governmental activities, trading partners, administrative agencies, constitutional institutions, E-government, electronic government, value chain, public sector, government data processing, citizens, practitioners |
16 | Dilza Szwarcman, Bruno Feijó, Mónica Costa |
A Framework for Networked Reactive Character. |
SIBGRAPI |
2000 |
DBLP DOI BibTeX RDF |
networked reactive characters, distributed reactive characters, innovative concepts, shared state management, behavioral accuracy, visual soundness, open architecture toolkit, Bamboo, reactive environments, smooth animations, virtual reality, computer network, autonomy, clones, dead reckoning |
16 | Helmut Thiele |
On the Concept of Qualitative Fuzzy Set. |
ISMVL |
1999 |
DBLP DOI BibTeX RDF |
vague concepts, qualitative fuzzy sets, multi-fuzzy sets, Fuzzy sets |
16 | H. Mayr |
Using software sensors for migrating from classical simulation systems towards virtual worlds. |
ECBS |
1997 |
DBLP DOI BibTeX RDF |
classical simulation systems, distributed simulation environment, intelligent simulation environment, collision checking algorithms, graphic simulation model, virtual factory concepts, virtual reality, virtual reality, design, implementation, virtual worlds, simulation environment, object motion, software sensors |
16 | Xavier Crégut, Bernard Coulette |
Filling the gap between CASE tools and PSEEs. |
ECBS |
1997 |
DBLP DOI BibTeX RDF |
RHODES, process description language, PBOOL, formal approach concepts, real development requirements, computer aided software engineering, CASE tools, PSEEs, object-oriented techniques |
16 | Xiaohua Hu 0001, Nick Cercone |
Learning Maximal Generalized Decision Rules via Discretization, Generalization, and Rough Set Feature Selection. |
ICTAI |
1997 |
DBLP DOI BibTeX RDF |
maximal generalized decision rule learning, rough set feature selection, maximal generalized decision rule mining, primitive values, symbolic attributes, high level concepts, identical tuples, predefined concept hierarchy, context sensitive feature merit measure, redundant condition values, maximal generalized decision rules, UCI data sets, market database, learning accuracy, generalization, deductive databases, rough sets theory, discretization, feature space, numeric attributes, attribute value |
16 | Carol Diane Klingler, Richard Creps |
Integrating and applying processes and methods for product line management. |
ISPW |
1996 |
DBLP DOI BibTeX RDF |
software product line management, software concepts, ReuseWorks, Army STARS Demonstration Project, software tools, software reuse, software processes, software reusability, software development methods |
16 | Kurt Schneider |
Prototypes as Assets, not Toys: Why and How to Extract Knowledge from Prototypes. |
ICSE |
1996 |
DBLP BibTeX RDF |
executable knowledge representations, explanation monitoring, hyperstructured information base, implementation tricks, personal prototyping environments, experiences, knowledge, concepts, software prototypes, software prototyping, computer applications, system monitoring |
16 | Steven Salzberg, Arthur L. Delcher, David G. Heath, Simon Kasif |
Best-Case Results for Nearest-Neighbor Learning. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1995 |
DBLP DOI BibTeX RDF |
geometric concepts, Machine learning, nearest-neighbor |
16 | L. Rodney Long, Lewis E. Berman, George R. Thoma |
Client/Server Design for Fast Retrieval of Large Images on the Internet. |
CBMS |
1995 |
DBLP DOI BibTeX RDF |
client/server design, fast image retrieval, large images, application-level technique, transmission rate improvement, cervical X-ray image files, FTP transmission, high-level design concepts, Internet, Internet, information retrieval, statistics, statistics, medical image processing, portable, PACS, client-server systems, visual databases, performance tests, channel capacity, robust technique |
16 | Steven Venglar, Thomas Urbanik, Jyh-Charn Liu |
Real-time optimization at diamond interchanges. |
IEEE Real Time Technology and Applications Symposium |
1995 |
DBLP DOI BibTeX RDF |
automated highways, real-time optimization, diamond interchanges, road traffic movements, urban interchanges, closely spaced traffic signals, high volume turning traffic, complex control scenario, innovative technologies, traffic adaptive interchange control system, Intelligent Vehicle Highway System, traffic performance, IVHS concepts, advanced traffic management systems, video imaging equipment, traffic information processing, real time optimization, road users, real-time systems, optimisation |
16 | Edeltraud Egger, Gerhard Hanappi |
Modelling creative contradictions for organizational change. |
HICSS (4) |
1995 |
DBLP DOI BibTeX RDF |
creative contradiction modelling, dynamic designs, information sphere, game-theoretic concepts, game theory, information technology, innovation, business data processing, organizational change, management of change, communication technologies |
16 | Otto Petrovic |
On the necessity of an iterative design of business strategy, business organization and information technology. |
HICSS (4) |
1995 |
DBLP DOI BibTeX RDF |
business organization, productivity paradox, organization concepts, demand oriented, technology driven, MIASOI, iterative design model, information technology, information technology, business data processing, iterative design, strategic planning, business strategy, investment, investments, management of change, economy |
16 | Horst Lichter, Matthias Schneider-Hufschmidt, Heinz Züllighoven |
Prototyping in Industrial Software Projects-Bridging the Gap Between Theory and Practice. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
industrial software projects, industrial software production, central prototyping concepts, development strategy, end user involvement, pilot system, horizontal prototyping, vertical prototyping, presentation prototype, software engineering, human factors, project management, software development management, software prototyping, software prototyping |
16 | Odd Ivar Lindland, Guttorm Sindre, Arne Sølvberg |
Understanding Quality in Conceptual Modeling. |
IEEE Softw. |
1994 |
DBLP DOI BibTeX RDF |
systematic approach, quality-improvement goals, linguistic concepts, modelling, software quality, software quality, conceptual modeling, systems analysis, systems analysis, feasibility |
16 | Bernd J. Krämer, Luqi, Valdis Berzins |
Compositional Semantics of a Real-Time Prototyping Language. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
real-time prototyping language, PSDL, data flow notation, application-orientation timing, control constraints, algebraic high-level Petri nets, concurrency concepts, real-time systems, formal specification, Petri nets, synchronization, specification languages, abstract data types, abstract data types, formal semantics, algebraic specifications, software prototyping, hard real-time systems, compositional semantics, timing behavior |
16 | Pavel Brazdil, Stephen H. Muggleton |
Learning to Relate Terms in a Multiple Agent Environment. |
EWSL |
1991 |
DBLP DOI BibTeX RDF |
language differences, learning concept definitions, learning unknown concepts, predicate vocabulary, learning in distributed systems, knowledge integration |
16 | Min-You Wu, Daniel Gajski |
Hypertool: A Programming Aid for Message-Passing Systems. |
IEEE Trans. Parallel Distributed Syst. |
1990 |
DBLP DOI BibTeX RDF |
Hypertool, programming aid, automation concepts, communication primitive insertion, synchronization errors, program quality measures, scheduling, scheduling, software tools, performance estimates, message-passing systems, electronic messaging, critical-path method |
16 | Barton P. Miller, Morgan Clark, Jeffrey K. Hollingsworth, Steven Kierstead, Sek-See Lim, Timothy Torzewski |
IPS-2: The Second Generation of a Parallel Program Measurement System. |
IEEE Trans. Parallel Distributed Syst. |
1990 |
DBLP DOI BibTeX RDF |
IPS-2, parallel program measurement system, performance measurement system, performance analysis techniques, program bottlenecks, interactive program analysis, automatic guidance techniques, Charlotte distributed operating system, 4.3BSD UNIX systems, DECstation, Sun 4, Sequent Symmetry multiprocessor, performance evaluation, parallel programs, parallel programming, semantics, graphical user interface, software tools, Unix, shared-memory systems, distributed programs, network operating systems, program diagnostics, VAX, design concepts, message systems, CPA |
16 | Wen-Pai Lu, Malur K. Sundareshan |
A Model for Multilevel Security in Computer Networks. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
multilevel secure network, security classes, security clearances, nondiscretionary access control, trusted network base, set-theoretic concepts, computer networks, computer networks, security policy, security of data, information flow control, computer systems, multilevel security, subjects, entities, network devices |
16 | Valeria De Antonellis, Bruna Zonta |
A Disciplined Approach to Office Analysis. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
office requirements, disciplined language, conventionality, concrete concepts, minimum formalism, computer-based office support system, designer, formal specification, programming languages, formal languages, morphology, computational linguistics, syntax, office automation |
16 | Stephen P. Hufnagel, James C. Browne |
Performance Properties of Vertically Partitioned Object-Oriented Systems. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
object-oriented system design, object-oriented system implementation, vertically partitioned structure, application-independent overheads, conventionally organized systems, layered structures, extended type managers, object semantics, state management functions, object type, type manager boundaries, recovery points, distributed real-time system application, performance evaluation, performance evaluation, software engineering, object-oriented programming, atomicity, object-oriented systems, performance improvement, design concepts, vertical partitioning |
16 | Farokh B. Bastani, I-Ling Yen, Ing-Ray Chen |
A Class of Inherently Fault Tolerant Distributed Programs. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
fault tolerant distributed programs, decentralized control concepts, robot, fault tolerant computing, distributed processing, program verification, correctness, programming theory, industrial robots, robot programming, self-stabilizing systems, industrial process-control |
15 | Tingquan Deng, Binghan Long, Weihua Xu 0003, Yiyu Yao |
Adjunctive three-way concepts from positive and negative concepts in lattice-valued formal contexts. |
Int. J. Approx. Reason. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Nancy A. Lynch, Frederik Mallmann-Trenn |
Learning Hierarchically-Structured Concepts II: Overlapping Concepts, and Networks With Feedback. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Jae Hee Lee 0001, Sergio Lanza, Stefan Wermter |
From Neural Activations to Concepts: A Survey on Explaining Concepts in Neural Networks. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Zhaolin Lyu, Jussi Holopainen, Staffan Björk |
Goal Playable Concepts Coupling Gameplay Design Patterns with Playable Concepts. |
MindTrek |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Yo Ehara |
Measuring Similarity between Manual Course Concepts and ChatGPT-generated Course Concepts. |
EDM |
2023 |
DBLP BibTeX RDF |
|
15 | Guilherme Sousa, Rinaldo Lima, Renata Vieira, Cássia Trojahn |
Using BERT Models to Automatically Classify Domain Concepts into DOLCE Top-Level Concepts: A Study of the OAEI Ontologies. |
JOWO |
2023 |
DBLP BibTeX RDF |
|
15 | Nancy A. Lynch, Frederik Mallmann-Trenn |
Learning Hierarchically-Structured Concepts II: Overlapping Concepts, and Networks with Feedback. |
SIROCCO |
2023 |
DBLP DOI BibTeX RDF |
|
|
|