|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10374 occurrences of 5078 keywords
|
|
|
Results
Found 20731 publication records. Showing 20731 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Yong Shi 0001, Yingjie Tian 0001, Xiaojun Chen 0001, Peng Zhang 0001 |
A Regularized Multiple Criteria Linear Program for Classification. |
ICDM Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Jose Romero-Mariona, Hadar Ziv, Debra J. Richardson |
CCARCH: Architecting Common Criteria Security Requirements. |
IAS |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng |
Formal verification of security specifications with common criteria. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
ISO/IEC 15408, theorem-proving, Z notation |
20 | Jing He 0004, Yanchun Zhang, Yong Shi 0001 |
A Multi-criteria Decision Support System of Water Resource Allocation Scenarios. |
KSEM |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Roberto Santana Tapia, Maya Daneva, Pascal van Eck |
Validating Adequacy and Suitability of Business-IT Alignment Criteria in an Inter-Enterprise Maturity Model 202. |
EDOC |
2007 |
DBLP DOI BibTeX RDF |
|
20 | João W. Cangussu, Kendra M. L. Cooper, W. Eric Wong |
Multi Criteria Selection of Components Using the Analytic Hierarchy Process. |
CBSE |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Robert Bartlett |
Interest Operators: Facilitating Attribute Interest Criteria for Formula-Based Interest Management in Distributed Virtual Environments. |
PADS |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Karel Sladký |
Risk-Sensitive Optimality Criteria in Markov Decision Processes. |
OR |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Michel Plantié, Jacky Montmain, Gérard Dray |
Movies Recommenders Systems: Automation of the Information and Evaluation Phases in a Multi-criteria Decision-Making Process. |
DEXA |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Eric Angel, Evripidis Bampis, Laurent Gourvès, Jérôme Monnot |
(Non)-Approximability for the Multi-criteria TSP(1, 2). |
FCT |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Dalessandro Soares Vianna, José Elias Claudio Arroyo, Pedro Sampaio Vieira, Thiago Ribeiro de Azeredo |
Parallel strategies for a multi-criteria GRASP algorithm. |
SCCC |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Glenn S. Semmel, Steven R. Davis, Kurt W. Leucht, Daniel A. Rowe, Andrew O. Kelly, Ladislau Bölöni |
Launch commit criteria monitoring agent. |
AAMAS Industrial Applications |
2005 |
DBLP DOI BibTeX RDF |
agent, expert system, rule-based programming |
20 | Laura Elena Raileanu, Kilian Stoffel |
Theoretical Comparison between the Gini Index and Information Gain Criteria. |
Ann. Math. Artif. Intell. |
2004 |
DBLP DOI BibTeX RDF |
Gini Index, theoretical comparison, classification, decision trees, Information Gain |
20 | Behnam Malakooti, Ziyong Yang |
Clustering and group selection of multiple criteria alternatives with application to space-based networks. |
IEEE Trans. Syst. Man Cybern. Part B |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Bojan Kverh, Ales Leonardis |
A generalisation of model selection criteria. |
Pattern Anal. Appl. |
2004 |
DBLP DOI BibTeX RDF |
Segmentation, Reverse engineering, Model selection, Range images, Minimum description length, Parametric models |
20 | Petra Povalej, Gregor Stiglic, Peter Kokol, Bruno Stiglic, Irene Litvan, Dusan Flisar |
Verifying Clinical Criteria for Parkinsonian Disorders with CART Decision Trees. |
KES |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Peerasit Patanakul, Dragan Z. Milosevic, Timothy R. Anderson 0002 |
Criteria for Project Assignments in Multiple-Project Environments. |
HICSS |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Jennifer Black, Emanuel Melachrinoudis, David R. Kaeli |
Bi-Criteria Models for All-Uses Test Suite Reduction. |
ICSE |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Robert M. Hierons |
Comparing test sets and criteria in the presence of test hypotheses and fault domains. |
ACM Trans. Softw. Eng. Methodol. |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Sandra Zilles |
On the Comparison of Inductive Inference Criteria for Uniform Learning of Finite Classes. |
ALT |
2001 |
DBLP DOI BibTeX RDF |
|
20 | David B. Lowe |
A Framework for Defining Acceptance Criteria for Web Development Projects. |
Web Engineering |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Victor Maojo, Luis M. Laita, Eugenio Roanes-Lozano, José Crespo, Juan Rodríguez-Pedrosa |
A New Computerized Method to Verify and Disseminate Medical Appropriateness Criteria. |
ISMDA |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Ivo Vollrath |
Handling Vague and Qualitative Criteria in Case-Based Reasoning Applications. |
EWCBR |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Salimeh Behnia, Hélène Waeselynck |
Test Criteria Definition for B Models. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Pei Hsia, Xiaolin Li 0007, David Chenho Kung |
Augmenting data flow criteria for class testing. |
CASCON |
1997 |
DBLP BibTeX RDF |
|
20 | Honghua Dai 0001, James N. K. Liu, Victor Ciesielski |
An analysis of criteria for the evaluation of learning performance. |
ANZIIS |
1996 |
DBLP DOI BibTeX RDF |
|
20 | Hanne Sørum, Rony Medaglia, Kim Normann Andersen |
Assessment of Website Quality: Scandinavian Web Awards Right on Track?. |
EGOV |
2009 |
DBLP DOI BibTeX RDF |
Web awards, DeLone and McLean Model, information quality, service quality, system quality, website evaluation |
20 | Hady Wirawan Lauw, Ee-Peng Lim, Ke Wang 0001 |
On Mining Rating Dependencies in Online Collaborative Rating Networks. |
PAKDD |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Dan Meng, Yang Xu 0001 |
Credit Rating Method with Heterogeneous Information. |
RSKT |
2008 |
DBLP DOI BibTeX RDF |
Credit Rating, Numerical Information, Linguistic Information, Heterogeneous Information |
20 | Remco M. Dijkman, Teduh Dirgahayu, Dick A. C. Quartel |
The adequacy of languages for representing interaction mechanisms. |
Inf. Syst. Frontiers |
2007 |
DBLP DOI BibTeX RDF |
Middleware, Communication patterns, Design concept, Design language |
20 | Shuangwen Sheng, Robert X. Gao |
Optimization of ANFIS with Applications in Machine Defect Severity Classification. |
IJCNN |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Sihem Amer-Yahia, Sophie Cluet |
A declarative approach to optimize bulk loading into databases. |
ACM Trans. Database Syst. |
2004 |
DBLP DOI BibTeX RDF |
Declarative bulk loading, recovery, algebra, side-effects |
20 | Laurent Perrussel, Pierre-Jean Charrel |
Inconsistent Requirements: An Argumentation View. |
ICTAI |
2001 |
DBLP DOI BibTeX RDF |
> Collaborative Software Agents, Search, Distributed AI, Distributed Constraint Satisfaction |
20 | Jörn Guy Süß, Michael Mewes |
An Architecture Proposal for Enterprise Message Brokers. |
EDO |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Mads Nygård, Sintef Delab |
Article-Acquisition: A Scenario for Non-Serializability in a Distributed Database. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
18 | Jing He 0004, Yanchun Zhang, Yong Shi 0001, Guangyan Huang |
Domain-Driven Classification Based on Multiple Criteria and Multiple Constraint-Level Programming for Intelligent Credit Scoring. |
IEEE Trans. Knowl. Data Eng. |
2010 |
DBLP DOI BibTeX RDF |
domain-driven classification, multiple criteria and multiple constraint-level programming, satisfying solution, mathematical programming, Credit scoring, fuzzy programming |
18 | Yagiz Onat Yazir, Chris Matthews, Roozbeh Farahbod, Stephen W. Neville, Adel Guitouni, Sudhakar Ganti, Yvonne Coady |
Dynamic Resource Allocation in Computing Clouds Using Distributed Multiple Criteria Decision Analysis. |
IEEE CLOUD |
2010 |
DBLP DOI BibTeX RDF |
MCDA, Dynamic Resource Allocation, Multiple Criteria Decision Analysis |
18 | Ranieri Baraglia, Patrizio Dazzi, Gabriele Capannini, Giancarlo Pagano |
A Multi-criteria Job Scheduling Framework for Large Computing Farms. |
CIT |
2010 |
DBLP DOI BibTeX RDF |
multi-criteria job scheduling, stream of batch jobs, computing farms, QoS, heuristics |
18 | Stephan Weißleder |
Simulated Satisfaction of Coverage Criteria on UML State Machines. |
ICST |
2010 |
DBLP DOI BibTeX RDF |
UML State Machines, Testing, Model Transformations, Coverage Criteria |
18 | Kenji Taguchi 0001, Nobukazu Yoshioka, Takayuki Tobita, Hiroyuki Kaneko |
Aligning Security Requirements and Security Assurance Using the Common Criteria. |
SSIRI |
2010 |
DBLP DOI BibTeX RDF |
security, requirements, assurance, Common Criteria |
18 | Waldemar Villamayor-Venialbo, Horacio Andrés Legal-Ayala, Edson J. R. Justino, Jacques Facon |
Partial Matching Using Set Exclusion Criteria: Applied to Livestock Brand Retrieval. |
SIBGRAPI |
2010 |
DBLP DOI BibTeX RDF |
set exclusion criteria, exclusion measure function, livestock brands, handwritten symbols, pattern recognition, image retrieval, partial matching, invariant features |
18 | Ernesto G. Birgin, Marcos Raydan |
Dykstra's Algorithm and Robust Stopping Criteria. |
Encyclopedia of Optimization |
2009 |
DBLP DOI BibTeX RDF |
Alternating projection methods, Dykstra's algorithm, Convex optimization, Stopping criteria |
18 | Martin Josef Geiger |
Multi-criteria Curriculum-Based Course Timetabling-A Comparison of a Weighted Sum and a Reference Point Based Approach. |
EMO |
2009 |
DBLP DOI BibTeX RDF |
Multi-criteria timetabling, reference point approach, iterated local search, threshold accepting |
18 | Jian-qiang Wang, Yu-zhi Qin |
Multi-Criteria Decision-Making Method Based on Vague Number Similarity with Incomplete Certain Information. |
PACIIA (2) |
2008 |
DBLP DOI BibTeX RDF |
trapezoidal vague numbers, vague number similarity, TOPSIS method, incomplete information, multi-criteria decision making |
18 | Xuanxia Yao, Xuefeng Zheng, Tao Wu |
A Secure Routing Scheme Based on Multiple Criteria Decision Making in Wireless Sensor Networks. |
PACIIA (2) |
2008 |
DBLP DOI BibTeX RDF |
Trust Value, Wireless Sensor Networks, Secure Routing, Multiple Criteria Decision Making, Residual Energy |
18 | Yi Peng 0001, Gang Kou |
A Domain Knowledge-Driven Framework for Multi-Criteria Optimization-Based Data Mining Methods. |
NCM (2) |
2008 |
DBLP DOI BibTeX RDF |
knowledge-driven, data mining, domain knowledge, multi-criteria optimization |
18 | Tihomir Calic, Sergiu Dascalu, Dwight D. Egbert |
Tools for MDA Software Development: Evaluation Criteria and Set of Desirable Features. |
ITNG |
2008 |
DBLP DOI BibTeX RDF |
MDA, tools, evaluation criteria |
18 | Jaime R. S. Fonseca |
Mixture Modeling and Information Criteria for Discovering Patterns in Continuous Data. |
HIS |
2008 |
DBLP DOI BibTeX RDF |
Patterns in Continuous Data, Theoretical Information Criteria, Continuous Clustering Base Variables, Model Selection, Simulation experiments, Finite Mixture Models, Quantitative Methods |
18 | Ali Azadeh, S. F. Ghaderi, A. Dabbaghi, M. Dehghanbaghi |
Application of a multi-criteria simulation optimization based DSS. |
SCSC |
2007 |
DBLP BibTeX RDF |
qualitative and quantitative factors, optimization, metamodel, multi-criteria decision making, goal programming |
18 | Ali Azadeh, S. F. Ghaderi, A. Dabbaghi, M. Dehghanbaghi |
Application of a multi-criteria simulation optimization based DSS. |
SpringSim (3) |
2007 |
DBLP BibTeX RDF |
qualitative and quantitative factors, optimization, metamodel, multi-criteria decision making, goal programming |
18 | Roel J. Wieringa, Neil A. M. Maiden, Nancy R. Mead, Colette Rolland |
Requirements engineering paper classification and evaluation criteria: a proposal and a discussion. |
Requir. Eng. |
2006 |
DBLP DOI BibTeX RDF |
Requirements engineering research, Paper classification, Paper evaluation criteria, Research methods |
18 | Paolo Giacomazzi, Luigi Musumeci, Giacomo Verticale |
An analytical model based on the ETSI criteria for the evaluation of user satisfaction in UMTS. |
Wirel. Networks |
2006 |
DBLP DOI BibTeX RDF |
UMTS-FDD access, ETSI performance criteria, WCDMA analytical model |
18 | Xiaojun Yuan 0001, Nicholas J. Belkin, Ja-Young Kim |
The relationship between ASK and relevance criteria. |
SIGIR |
2002 |
DBLP DOI BibTeX RDF |
anomalous state of knowledge, relevance judgments, relevance criteria |
18 | Amjad Hajjar, Tom Chen 0001 |
Improving the Efficiency and Quality of Simulation-Based Behavioral Model Verification Using Dynamic Bayesian Criteria. |
ISQED |
2002 |
DBLP DOI BibTeX RDF |
Behavioral Model Verification, VHDL, Stopping Criteria |
18 | Alioune Ngom, Corina Reischer, Dan A. Simovici, Ivan Stojmenovic |
Completeness Criteria in Set-Valued Logic Under Compositions with Union and Intersection. |
ISMVL |
1997 |
DBLP DOI BibTeX RDF |
completeness criteria, set-valued logic, Boolean completeness problems, r-valued set logic, logic of functions, n-tuples, set logic circuits, S-complete, U-maximal sets, completeness criterion, U functions, compositions, Boolean functions, Boolean functions, intersection, union |
18 | Kenneth P. Smith, Barbara T. Blaustein, Sushil Jajodia, LouAnna Notargiacomo |
Correctness Criteria for Multilevel Secure Transactions. |
IEEE Trans. Knowl. Data Eng. |
1996 |
DBLP DOI BibTeX RDF |
multilevel secure transactions, transaction execution correctness criteria, distributed databases, concurrency control, Atomicity, database security, locking protocols |
18 | Boris A. Romov |
Polynomial Completeness Criteria in Finite Boolean Algebras. |
ISMVL |
1996 |
DBLP DOI BibTeX RDF |
completeness criteria, finite Boolean algebras, arity-calibrated product, two-valued logic algebras, maximal subalgebras, Sheffer criterion, Slupecki type criterion, multiple base relation, logic algebras, process algebra, polynomials, algebra, Boolean algebra |
18 | Stefano Barbagallo, Monica Lobetti Bodoni, Davide Medina, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda |
Scan insertion criteria for low design impact. |
VTS |
1996 |
DBLP DOI BibTeX RDF |
scan insertion criteria, design impact, flip-flop ordering, capacitance constraints, layout information, Italtel Design Environment, logic testing, integrated circuit testing, sequential circuits, automatic testing, application specific integrated circuits, logic CAD, flip-flops, integrated circuit design, power dissipation, partial scan, design flow, boundary scan testing, scan chain, capacitance, full scan |
18 | Earl C. Van Horn |
Three criteria for designing computing systems to facilitate debugging. |
Commun. ACM |
1968 |
DBLP DOI BibTeX RDF |
computer design criteria, computer systems design, computing reliability, deterministic computers, input equipment, input equipment design, multiprogrammed system design, multiprogrammed systems, parallel processing, parallel programming, parallel, debugging, operating systems, programming, programming languages, information security, program testing, determinism, program debugging, protection, multiprogramming, multiprocessing, repeatability, computer systems, memory protection, reproducibility, programming language semantics, programming language design, virtual computers, computer design, information privacy, program semantics, operating systems design, multi processing |
17 | Dongling Zhang, Yong Shi 0001, Yingjie Tian 0001, Meihong Zhu |
A class of classification and regression methods by multiobjective programming. |
Frontiers Comput. Sci. China |
2009 |
DBLP DOI BibTeX RDF |
multiple criteria linear programming, data mining, classification, regression |
17 | Andreia Rodrigues, Plácido Rogério Pinheiro, Maikol Magalhães Rodrigues, Adriano Bessa Albuquerque, Francisca Márcia G. S. Gonçalves |
Towards the Selection of Testable Use Cases and a Real Experience. |
WSKS (2) |
2009 |
DBLP DOI BibTeX RDF |
Decision and Analysis Resolution, Tests, Multiple Criteria Decision Analysis |
17 | Kirsten Schlüter, Torsten Brinda |
The attributes of task difficulty in informatics in secondary education: first results of an empirical study. |
ITiCSE |
2009 |
DBLP DOI BibTeX RDF |
criteria of task difficulty, secondary computer science education, taxonomy, competence model, didactics of informatics |
17 | Irina Verenikina, Jan Herrington |
Computer game design and the imaginative play of young children. |
IDC |
2009 |
DBLP DOI BibTeX RDF |
imaginative play, computer games, design criteria, young children, child development |
17 | Ning Wang 0002, Xianyao Meng, Meng Joo Er, Xinjie Han, Song Meng, Qingyang Xu |
An Online Self-constructing Fuzzy Neural Network with Restrictive Growth. |
ISNN (2) |
2009 |
DBLP DOI BibTeX RDF |
Online Self-constructing, Extended Kalman filter (EKF), Growth criteria, Fuzzy neural network |
17 | Stephan Weißleder |
Influencing Factors in Model-Based Testing with UML State Machines: Report on an Industrial Cooperation. |
MoDELS |
2009 |
DBLP DOI BibTeX RDF |
Industrial Cooperation, Model-Based Testing, State Machines, Mutation Analysis, Coverage Criteria |
17 | Ignacio Contreras, Miguel A. Hinojosa, Amparo M. Mármol |
Stable Rankings in Collective Decision Making with Imprecise Information. |
ADT |
2009 |
DBLP DOI BibTeX RDF |
decision analysis with multiple criteria, Group decision making, imprecise information |
17 | Raymond Bisdorff, Patrick Meyer, Thomas Veneziano |
Inverse Analysis from a Condorcet Robustness Denotation of Valued Outranking Relations. |
ADT |
2009 |
DBLP DOI BibTeX RDF |
inverse Multiple Criteria Decision Analysis, significance weights ellicitation, robustness, uncertainty |
17 | David C. Toll, Paul A. Karger, Elaine R. Palmer, Suzanne McIntosh, Sam Weber |
The Caernarvon secure embedded operating system. |
ACM SIGOPS Oper. Syst. Rev. |
2008 |
DBLP DOI BibTeX RDF |
common criteria evaluation, embedded systems, mobile phones, operating systems, PDAs, smart cards, mandatory access controls |
17 | Quan Zhang, Yahong Li, Jing Huang |
An Entropy-based Approach for Supplier Selection with Interval Information. |
ISECS |
2008 |
DBLP DOI BibTeX RDF |
Interval Information, Entropy, Multiple Criteria Decision Making, Supplier Selection |
17 | Felipe S. Sarmanho, Paulo Sergio Lopes de Souza, Simone do Rócio Senger de Souza, Adenilso da Silva Simão |
Structural Testing for Semaphore-Based Multithread Programs. |
ICCS (1) |
2008 |
DBLP DOI BibTeX RDF |
software testing, testing criteria, multithread programs |
17 | Hissam Tawfik, Atulya Nagar, Obinna Anya |
A Context-Driven Approach to Route Planning. |
ICCS (2) |
2008 |
DBLP DOI BibTeX RDF |
simulation, context-awareness, road networks, route planning, multi-criteria |
17 | Saar Drimer, Steven J. Murdoch, Ross J. Anderson |
Thinking Inside the Box: System-Level Failures of Tamper Proofing. |
SP |
2008 |
DBLP DOI BibTeX RDF |
Chip and PIN, PIN entry devices, certification, incentives, smartcard, banking, tamper resistance, common criteria, EMV |
17 | Trung T. Dinh-Trong, Birgit Geppert, J. Jenny Li, Frank Rößler |
Looking for More Confidence in Refactoring? How to Assess Adequacy of Your Refactoring Tests. |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
testing, refactoring, dominator, control flow graph, code coverage, test adequacy criteria |
17 | Zeshan Kurd, Tim Kelly, Jim Austin |
Developing artificial neural networks for safety critical systems. |
Neural Comput. Appl. |
2007 |
DBLP DOI BibTeX RDF |
Symbolic knowledge, Neural network, Faults, Safety critical, Lifecycle, Hazards, Criteria |
17 | Andrew Schwarz, Manjari Mehta, Norman A. Johnson, Wynne W. Chin |
Understanding frameworks and reviews: a commentary to assist us in moving our field forward by analyzing our past. |
Data Base |
2007 |
DBLP DOI BibTeX RDF |
assessment criteria, framework articles, research purpose, review articles, survey reviews, frameworks, triangulation, literature review |
17 | Alessandro G. Di Nuovo, Vincenzo Catania |
On External Measures for Validation of Fuzzy Partitions. |
IFSA (1) |
2007 |
DBLP DOI BibTeX RDF |
Fuzzy validity index, External Validity Criteria, Fuzzy Rand Index, Partition Assessment, DNC index, Data mining, Fuzzy Clustering |
17 | Matthias Müller-Hannemann, Karsten Weihe |
On the cardinality of the Pareto set in bicriteria shortest path problems. |
Ann. Oper. Res. |
2006 |
DBLP DOI BibTeX RDF |
Pareto search, Railway networks, Shortest paths, Multi-criteria optimization |
17 | Christophe Gaston, Pascale Le Gall, Nicolas Rapin, Assia Touil |
Symbolic Execution Techniques for Test Purpose Definition. |
TestCom |
2006 |
DBLP DOI BibTeX RDF |
Input/Output Symbolic Transition Systems, Conformance testing, Symbolic Execution, Coverage Criteria, Test Purposes |
17 | Gang Kou, Yi Peng 0001, Yong Shi 0001, Zhengxin Chen |
Multiclass Credit Cardholders' Behaviors Classification Methods. |
International Conference on Computational Science (4) |
2006 |
DBLP DOI BibTeX RDF |
multi-group classification, See5, Multiple criteria mathematical programming (MCMP), one-against-all SVM, decision tree |
17 | Almira Karabeg, Dino Karabeg |
Polyscopy - A New Paradigm in Design for the Web. |
IV |
2005 |
DBLP DOI BibTeX RDF |
visual intelligence, information visualization, Information design, design criteria |
17 | Marc Aiguier, Agnès Arnould, Clément Boin, Pascale Le Gall, Bruno Marre |
Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms. |
FATES |
2005 |
DBLP DOI BibTeX RDF |
proof tree normalization, conditional rewriting, algebraic specifications, Specification-based testing, unfolding, selection criteria |
17 | Zhiwei Chen, Yunjie Xu |
User-Oriented Relevance Judgment: A Conceptual Model. |
HICSS |
2005 |
DBLP DOI BibTeX RDF |
Grice's theory, psychometric analysis, relevance, relevance criteria |
17 | Carmine Ciavarella, Fabio Paternò |
The design of a handheld, location-aware guide for indoor environments. |
Pers. Ubiquitous Comput. |
2004 |
DBLP DOI BibTeX RDF |
Location-aware guide, Indoor intelligent ambient, Handheld interactive systems, Design criteria |
17 | Solomon Atnafu, Richard Chbeir, David Coquil, Lionel Brunie |
Integrating similarity-based queries in image DBMSs. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
image DBMS, multi-criteria retrieval, multimedia algebra |
17 | Samira Si-Said Cherfi, Nicolas Prat |
Multidimensional Schemas Quality: Assessing and Balancing Analyzability and Simplicity. |
ER (Workshops) |
2003 |
DBLP DOI BibTeX RDF |
Multidimensional schema design, simplicity, quality metrics, analyzability, quality criteria |
17 | Kie Sung Oh, Nam Yong Lee, Sung Yul Rhew |
A Selection Process of COTS Components Based on the Quality of Software in a Special Attention to Internet. |
Human.Society@Internet 2003 |
2003 |
DBLP DOI BibTeX RDF |
Internet Software, Selection Process, Software Metrics, Evaluation Criteria, MCDM |
17 | Gang Kou, Yi Peng 0001, Yong Shi 0001, Weixuan Xu |
A Set of Data Mining Models to Classify Credit Cardholder Behavior. |
International Conference on Computational Science |
2003 |
DBLP DOI BibTeX RDF |
Multi-criteria Linear Programming, SAS and Linux platforms, Data Mining, Classification, Algorithm |
17 | V. Javier Traver, Filiberto Pla |
Designing the Lattice for Log-Polar Images. |
DGCI |
2003 |
DBLP DOI BibTeX RDF |
Log-polar transform, receptive fields, design criteria |
17 | Matthias Müller-Hannemann, Karsten Weihe |
Pareto Shortest Paths is Often Feasible in Practice. |
WAE |
2001 |
DBLP DOI BibTeX RDF |
railway networks, shortest paths, Multi-criteria optimization, Pareto set |
17 | Letícia M. Peres, Silvia Regina Vergilio, Mário Jino, José Carlos Maldonado |
Path Selection in the Structural Testing: Proposition, Implementation and Application of Strategies. |
SCCC |
2001 |
DBLP DOI BibTeX RDF |
Structural Criteria, Selection of Test Paths, Software Testing, Software Metrics |
17 | David Polock, Dieter Zöbel |
Conformance testing of priority inheritance protocols. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
priority inheritance protocols, priority inversion problem, protocol interfaces, predictability criteria, scheduling, real-time systems, real time systems, protocols, operating systems, conformance testing, conformance testing, run-time systems, test suites, application programmer |
17 | Keiko Aoki, Kazunori Matsumoto, Keiichiro Hoashi, Kazuo Hashimoto |
A Study of Bayesian Clustering of a Document Set Based on GA. |
SEAL |
1998 |
DBLP DOI BibTeX RDF |
Beysian Clustering, Minimum Description Length Criteria, Genetic Algorithm, Document Retrieval |
17 | Hareton K. N. Leung, Peter W. L. Wong |
A study of user acceptance tests. |
Softw. Qual. J. |
1997 |
DBLP DOI BibTeX RDF |
operation-based, reliability, testing, user acceptance, acceptance criteria |
17 | K. J. Cleetus, George Almási 0001 |
GDS-a group decision system for teams. |
WETICE |
1996 |
DBLP DOI BibTeX RDF |
GDS, group decision system, problem resolution, tradeoff negotiation, discussion leader, customer criteria, contra argument, supporting arguments, multimedia attachments, voting procedure, DSS, teams, evidence, group decision support systems, software package, graphical interface |
17 | Gerhard A. Schloss, Michael J. Wynblatt |
Using a layered paradigm to model multimedia. |
HICSS (4) |
1995 |
DBLP DOI BibTeX RDF |
layered paradigm, layered multimedia data model, effectiveness assessment, data structures, database theory, multimedia database, multimedia computing, application development, evaluation criteria |
17 | Jelica Protic, Milo Tomasevic, Veljko M. Milutinovic |
A survey of distributed shared memory systems. |
HICSS (1) |
1995 |
DBLP DOI BibTeX RDF |
shared memory programming paradigm, physically distributed memories, classification taxonomy, classification criteria, DSM mechanism, hybrid DSM implementations, distributed systems, parallel programming, shared memory multiprocessors, shared memory systems, distributed memory systems, distributed shared memory systems, DSM systems |
17 | Jingbo Gao, Long Tang, Liu Wenyin, Zesheng Tang |
Segmentation and recognition of dimension texts in engineering drawings. |
ICDAR |
1995 |
DBLP DOI BibTeX RDF |
dimension texts, connected area detection, character candidates, collinear criteria, image segmentation, segmentation, recognition, document image processing, engineering drawings, engineering graphics, text strings |
17 | Arun K. Somani, Kishor S. Trivedi |
Phased-Mission System Analysis Using Boolean Algebraic Methods. |
SIGMETRICS |
1994 |
DBLP DOI BibTeX RDF |
Boolean algebraic methods, phased-mission systems, random phase duration, ultra-reliable computer system, variable success criteria, reconfiguration, reliability analysis, fault trees |
17 | Phyllis G. Frankl, Elaine J. Weyuker |
A Formal Analysis of the Fault-Detecting Ability of Testing Methods. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
software testing criteria, subdomains, subsumption relation, program testing, system recovery, formal analysis, multisets, fault-detecting ability, probabilistic measures |
17 | Richard N. Taylor, David L. Levine, Cheryl D. Kelly |
Structural Testing of Concurrent Programs. |
IEEE Trans. Software Eng. |
1992 |
DBLP DOI BibTeX RDF |
structural testing techniques, structural testing criteria, concurrency state coverage, state transition coverage, synchronization coverage, static concurrency analyzer, program transformation system, powerful run-time monitor, controllable run-time scheduler, CSP-like languages, static naming, tasking objects, scheduling, parallel programming, Ada, concurrency control, software metrics, program testing, concurrent programs, support tools, sequential programs |
Displaying result #301 - #400 of 20731 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|