Search results for "validity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	Chris Scambler	THREE PAPERS ON RECENT WORK ON META-VALIDITY - David Ripley, One step is enough. Journal of Philosophical Logic, vol. 51 (2022), pp. 1233-1259. - Isabella McAllister, Classical logic is not uniquely characterizable. Journal of Philosophical Logic, vol. 51 (2022), pp. 1345-1365. - Rea Golan, There is no tenable notion of global metainferential validity. Analysis, vol. 81 (2021), no. 3, pp. 411-420.	Bull. Symb. Log.	2023	DBLP DOI BibTeX RDF
24	Yoshiki Nakamura 0001	Note on a Translation from First-Order Logic into the Calculus of Relations Preserving Validity and Finite Validity.	CoRR	2023	DBLP DOI BibTeX RDF
24	Daphne Geerse, Bert Coolen, Melvyn Roerdink	Quantifying Spatiotemporal Gait Parameters with HoloLens in Healthy Adults and People with Parkinson's Disease: Test-Retest Reliability, Concurrent Validity, and Face Validity.	Sensors	2020	DBLP DOI BibTeX RDF
24	Lucas Gren	Standards of Validity and the Validity of Standards in Behavioral Software Engineering Research: The Perspective of Psychological Test Theory.	CoRR	2018	DBLP BibTeX RDF
24	Lucas Gren	Standards of validity and the validity of standards in behavioral software engineering research: the perspective of psychological test theory.	ESEM	2018	DBLP DOI BibTeX RDF
24	Chaimae Ouchicha, Ouafae Ammor, Mohammed Meknassi	Cluster validity index: Comparative study and a new validity index with high performance.	LOPAL	2018	DBLP DOI BibTeX RDF
24	Eva S. V. Eijk, Marijke Wefers Bettink-Remeijer, Reinier Timman, Marion H. B. Heres, Jan J. V. Busschbach	Criterion validity of a computer-assisted instrument of self-triage (ca-ISET) compared to the validity of regular triage in an ophthalmic emergency department.	Int. J. Medical Informatics	2016	DBLP DOI BibTeX RDF
24	Smita Prava Mishra, Debahuti Mishra, Srikanta Patnaik	A new improved cluster validity indexing technique: harnessed from Goodman-Kruskal validity index.	Int. J. Inf. Commun. Technol.	2015	DBLP DOI BibTeX RDF
24	Peng Liu 0030, Zhizhong Li 0003	Corrigendum to "Comparison of task complexity measures for emergency operating procedures: Convergent validity and predictive validity" [Reliab. Eng. Syst. Saf. 121(2014) 289-293].	Reliab. Eng. Syst. Saf.	2014	DBLP DOI BibTeX RDF
24	Peng Liu 0030, Zhizhong Li 0003	Comparison of task complexity measures for emergency operating procedures: Convergent validity and predictive validity.	Reliab. Eng. Syst. Saf.	2014	DBLP DOI BibTeX RDF
24	Dimitar P. Guelev	Reducing Validity in Epistemic ATL to Validity in Epistemic CTL	SR	2013	DBLP DOI BibTeX RDF
24	Beth St. Jean	Participant reactivity in a longitudinal mixed-method study of the information behavior of people with type 2 diabetes: Research validity vs. "street validity".	ASIST	2013	DBLP DOI BibTeX RDF
24	Jeremiah D. Still	Experimental design: does external validity trump internal validity?	Interactions	2011	DBLP DOI BibTeX RDF
21	Paritosh K. Pandya, Shankara Narayanan Krishna, Kuntal Loya	On Sampling Abstraction of Continuous Time Logic with Durations.	TACAS	2007	DBLP DOI BibTeX RDF
21	Lenore D. Zuck, Amir Pnueli, Yonit Kesten	Automatic Verification of Probabilistic Free Choice.	VMCAI	2002	DBLP DOI BibTeX RDF
20	Steffen Heinzl, Dominik Seiler, Ernst Juhnke, Bernd Freisleben	Exposing validity periods of prices for resource consumption to web service users via temporal policies.	iiWAS	2009	DBLP DOI BibTeX RDF	temporal policies, web services, pricing, mashup, WS-Policies
20	Diego Ingaramo, David Pinto 0001, Paolo Rosso, Marcelo Errecalde	Evaluation of Internal Validity Measures in Short-Text Corpora.	CICLing	2008	DBLP DOI BibTeX RDF
20	Noha A. Yousri, Mohamed S. Kamel, Mohamed A. Ismail	A novel validity measure for clusters of arbitrary shapes and densities.	ICPR	2008	DBLP DOI BibTeX RDF
20	Jaroslav Sevcík, David Aspinall 0001	On Validity of Program Transformations in the Java Memory Model.	ECOOP	2008	DBLP DOI BibTeX RDF
20	Günter Krampen, Ralf Becker, Ute Wahner, Leo Montada	On the validity of citation counting in science evaluation: Content analyses of references and citations in psychological publications.	Scientometrics	2007	DBLP DOI BibTeX RDF
20	Sigal Trattner, Micha Feigin, Hayit Greenspan, Nir A. Sochen	Can Born Approximate the Unborn? A New Validity Criterion for the Born Approximation in Microscopic Imaging.	ICCV	2007	DBLP DOI BibTeX RDF
20	Moumen T. El-Melegy, Ennumeri A. Zanaty, Walaa M. Abd-Elhafiez, Aly A. Farag	On Cluster Validity Indexes in Fuzzy and Hard Clustering Algorithms for Image Segmentation.	ICIP (6)	2007	DBLP DOI BibTeX RDF
20	Mehdi Ghazizadeh, M. Hadi Zahedi, Mohsen Kahani, Behrouz Minaei-Bidgoli	Fuzzy Expert System In Determining Hadith1 Validity.	SCSS (1)	2007	DBLP DOI BibTeX RDF
20	Ionut Emil Iacob, Alex Dekhtyar, Michael I. Dekhtyar	On Potential Validity of Document-Centric XML Documents.	ICDE Workshops	2006	DBLP DOI BibTeX RDF
20	Claude Oestges	Validity of the Kronecker Model for MIMO Correlated Channels.	VTC Spring	2006	DBLP DOI BibTeX RDF
20	Yunwei Pu, Ming Zhu, Weidong Jin, Laizhao Hu	An Efficient Similarity-Based Validity Index for Kernel Clustering Algorithm.	ISNN (1)	2006	DBLP DOI BibTeX RDF
20	Eun Sung Jung, Phill-Kyu Rhee	Use of Cluster Validity in Designing Adaptive Gabor Wavelet Based Face Recognition.	KES (1)	2006	DBLP DOI BibTeX RDF
20	Márcio Leandro Gonçalves, Márcio Luiz De Andrade Netto, José Alfredo Ferreira Costa, Jurandir Zullo Jr.	Data Clustering using Self-Organizing Maps segmented by Mathematic Morphology and Simplified Cluster Validity Indexes: an application in remotely sensed images.	IJCNN	2006	DBLP DOI BibTeX RDF
20	Gary Wassermann, Zhendong Su 0001	Validity Checking for Finite Automata over Linear Arithmetic Constraints.	FSTTCS	2006	DBLP DOI BibTeX RDF
20	Weiguo Sheng, Stephen Swift, Leishi Zhang, Xiaohui Liu	A weighted sum validity function for clustering with a hybrid niching genetic algorithm.	IEEE Trans. Syst. Man Cybern. Part B	2005	DBLP DOI BibTeX RDF
20	Lutz Bornmann, Hans-Dieter Daniel	Selection of research fellowship recipients by committee peer review. Reliability, fairness and predictive validity of Board of Trustees' decisions.	Scientometrics	2005	DBLP DOI BibTeX RDF
20	Juanjuan Jiang, Tarja Systä	UML-Based Modeling and Validity Checking of Web Service Descriptions.	ICWS	2005	DBLP DOI BibTeX RDF
20	Nitin Gupta, Doug A. Edwards	Synthesis of Asynchronous Circuits Using Early Data Validity.	VLSI Design	2005	DBLP DOI BibTeX RDF
20	Greet Frederix, Eric J. Pauwels	Shape-Invariant Cluster Validity Indices.	ICDM	2004	DBLP DOI BibTeX RDF
20	Fuzhi Lu, Daniel Y. Kwok	The Validity of Static EDL Theory as Applied to Streaming Potential of Pressure-Driven Flow in Parallel-Plate Microchannels.	ICMENS	2004	DBLP DOI BibTeX RDF
20	Tom Hughes II, Evan Rolek	Human systems modeling: fidelity and validity: issues of human behavioral representation requirements development.	WSC	2003	DBLP DOI BibTeX RDF
20	Yufei Tao 0001, Nikos Mamoulis, Dimitris Papadias	Validity Information Retrieval for Spatio-Temporal Queries: Theoretical Performance Bounds.	SSTD	2003	DBLP DOI BibTeX RDF
20	Peter H. Deussen, Stephan Tobies	Formal Test Purposes and the Validity of Test Cases.	FORTE	2002	DBLP DOI BibTeX RDF
20	Miroslav N. Velev, Randal E. Bryant	EVC: A Validity Checker for the Logic of Equality with Uninterpreted Functions and Memories, Exploiting Positive Equality, and Conservative Transformations.	CAV	2001	DBLP DOI BibTeX RDF
20	Moshe Y. Vardi	Alternating Automata: Unifying Truth and Validity Checking for Temporal Logics.	CADE	1997	DBLP DOI BibTeX RDF
20	Robert Demolombe	Validity Queries and Completeness Queries.	ISMIS	1996	DBLP DOI BibTeX RDF	Uncertainty, Epistemic Logic, Intelligent Information Systems
20	Robert B. Jones, David L. Dill, Jerry R. Burch	Efficient validity checking for processor verification.	ICCAD	1995	DBLP DOI BibTeX RDF	formal verification, validation, decision procedure, uninterpreted functions, microprocessor architecture
20	Klaus Becker 0002	Proving Ground Confluence and Inductive Validity in Constructor Based Equational Specifications.	TAPSOFT	1993	DBLP DOI BibTeX RDF
20	Amihai Motro	Integrity = Validity + Completeness.	ACM Trans. Database Syst.	1989	DBLP DOI BibTeX RDF
19	Jan-Paul Leuteritz, Harald Widlroither, Michael Klüh	Multi-level Validation of the ISOmetrics Questionnaire Based on Qualitative and Quantitative Data Obtained from a Conventional Usability Test.	HCI (1)	2009	DBLP DOI BibTeX RDF	ISOmetrics, AttrakDiff, small display devices, shower control, Validity, questionnaire
19	Thomas D. Parsons, Christopher G. Courtney, Louise Cosand, Arvind Iyer, Albert A. Rizzo, Kelvin S. Oie	Assessment of Psychophysiological Differences of West Point Cadets and Civilian Controls Immersed within a Virtual Environment.	HCI (16)	2009	DBLP DOI BibTeX RDF	psychophysiological assessment, virtual environment, immersion, neuropsychology, ecological validity
19	Yosr Naïja, Kaouthar Blibech Sinaoui	A novel measure for validating clustering results applied to road traffic.	KDD Workshop on Knowledge Discovery from Sensor Data	2009	DBLP DOI BibTeX RDF	external criteria, supervised measure, clustering, validity
19	Yehuda Afek, Eli Gafni, Opher Lieber	Tight Group Renaming on Groups of Size g Is Equivalent to g-Consensus.	DISC	2009	DBLP DOI BibTeX RDF	set-consensus, group renaming, solo run, validity, consensus
19	Jeff King, Jennifer Stoll, Michael T. Hunter, Mustaque Ahamad	ALPACA: a lightweight platform for analyzing claim acceptability.	WICOW	2008	DBLP DOI BibTeX RDF	internet, trust, validity, data visualization, credibility
19	Ben Kirman, Duncan Rowland	Socially respectful enjoyment tracking for tabletop games.	CHI Extended Abstracts	2008	DBLP DOI BibTeX RDF	magic circle, entertainment, flow, fun, board games, ecological validity
19	Satu Jumisko-Pyykkö, Miska M. Hannuksela	Does context matter in quality evaluation of mobile television?	Mobile HCI	2008	DBLP DOI BibTeX RDF	mobile television, transmission quality, evaluation, context, mobile TV, subjective quality, ecological validity
19	Wei Lu 0018, Hengjian Tong, Issa Traoré	E-Means: An Evolutionary Clustering Algorithm.	ISICA	2008	DBLP DOI BibTeX RDF	Evolutionary Clustering, Evolutionary Computation, K-means, Gaussian Mixture Model, Clustering Validity
19	Sriparna Saha 0001, Sanghamitra Bandyopadhyay	A Fuzzy Genetic Clustering Technique Using a New Symmetry Based Distance for Automatic Evolution of Clusters.	ICCTA	2007	DBLP DOI BibTeX RDF	Cluster Validity Index, Point Symmetry, Variable String Length, Genetic Algorithm, Clustering, Kd-tree
19	Seema Swamy	How Should You Frame Questions to Measure User Attitudes Accurately? An Experimental Design Study.	HCI (11)	2007	DBLP DOI BibTeX RDF	Attitude measurement, questionnaire and Likert scale, reliability, validity, survey, experimental design
19	Aleksej Jerman Blazic	Long Term Trusted Archive Services.	ICDS	2007	DBLP DOI BibTeX RDF	Electronic archive, authenticity, trust, protocol, integrity, validity, authority, document, evidence, record, long-term
19	Albert Hung-Ren Ko, Robert Sabourin, Alceu de Souza Britto Jr.	A New HMM-Based Ensemble Generation Method for Numeral Recognition.	MCS	2007	DBLP DOI BibTeX RDF	Codebook Size, Clustering Validity Index, Pattern Recognition, Hidden Markov Models, Ensemble of Classifiers
19	Jianying Zhou 0001, Feng Bao 0001, Robert H. Deng	Minimizing TTP's involvement in signature validation.	Int. J. Inf. Sec.	2006	DBLP DOI BibTeX RDF	Validity of evidence, Digital signature, Non-repudiation
19	Dan Morris 0001, Christopher M. Sewell, Federico Barbagli, Kenneth Salisbury, Nikolas H. Blevins, Sabine Girod	Visuohaptic Simulation of Bone Surgery for Training and Evaluation.	IEEE Computer Graphics and Applications	2006	DBLP DOI BibTeX RDF	simulator evaluation, simulator validity, simulation, Virtual reality, haptics, input devices, volume visualization, surgery
19	Ludmila I. Kuncheva, Dmitry P. Vetrov	Evaluation of Stability of k-Means Cluster Ensembles with Respect to Random Initialization.	IEEE Trans. Pattern Anal. Mach. Intell.	2006	DBLP DOI BibTeX RDF	stability and diversity, Clustering, cluster validity, cluster ensembles
19	Jurgen Martens, Ferdi Put, Etienne E. Kerre	A fuzzy set theoretic approach to validate simulation models.	ACM Trans. Model. Comput. Simul.	2006	DBLP DOI BibTeX RDF	Nefprox, resemblance relations, validity grades
19	Frank Rehm, Frank Klawonn, Rudolf Kruse	Visualization of Single Clusters.	ICAISC	2006	DBLP DOI BibTeX RDF	Clustering, Visualization, Cluster Validity
19	Gisele Bennett, Gitte Lindgaard, Bruce Tsuji, Kay H. Connelly, Katie A. Siek	Reality testing: HCI challenges in non-traditional environments.	CHI Extended Abstracts	2006	DBLP DOI BibTeX RDF	non-traditional environments, performance, ubiquitous computing, usability testing, evaluation techniques, ecological validity
19	Sigurbjörg Gróa Vilbergsdóttir, Ebba Thora Hvannberg, Effie Lai-Chong Law	Classification of usability problems (CUP) scheme: augmentation and exploitation.	NordiCHI	2006	DBLP DOI BibTeX RDF	usability, reliability, validity, user test, acceptance, think-aloud, defect classification
19	Miin-Shen Yang, Kuo-Lung Wu	A modified mountain clustering algorithm.	Pattern Anal. Appl.	2005	DBLP DOI BibTeX RDF	Mountain method, Modified mountain algorithm, Parameter estimation, Unsupervised clustering, Validity index
19	Tansel Özyer, Reda Alhajj	Effective Clustering by Iterative Approach.	ISCIS	2005	DBLP DOI BibTeX RDF	validity analysis, alternative partitioning, data mining, clustering, multi-objective optimization
19	Michele Ceccarelli, Antonio Maratea	Semi-supervised Fuzzy c-Means Clustering of Biological Data.	WILF	2005	DBLP DOI BibTeX RDF	Adaptive Metric, Semi-Supervised Learning, Fuzzy Clustering, Validity Index
19	Will Marrero	Using BDDs to Decide CTL.	TACAS	2005	DBLP DOI BibTeX RDF	validity, satisfiability, BDDs, CTL, tableau
19	Shilpa Agarwal, Shweta Madasu, Madasu Hanmandlu, Shantaram Vasikarla	A Comparison of some Clustering Techniques via Color Segmentation.	ITCC (2)	2005	DBLP DOI BibTeX RDF	Modified mountain, Gath-Geva and Fuzzy C-Means clustering techniques, EM algorithm and cluster validity, Color segmentation, Probabilistic
19	Giuliano Antoniol, Michele Ceccarelli, Antonio Maratea, F. Russo	Classification of Digital Terrain Models Through Fuzzy Clustering: An Application.	WILF	2003	DBLP DOI BibTeX RDF	Fuzzy Clustering, Digital Terrain Model, Validity Index
19	Young Woo Sohn, Stephanie M. Doane	Evaluating Comprehension-Based User Models: Predicting Individual User Planning and Action.	User Model. User Adapt. Interact.	2002	DBLP DOI BibTeX RDF	evaluations of models, predictive validity, cognitive models, goodness of fit
19	Joseph Dunn, Sean Davey, Anne Descour, Richard T. Snodgrass	Sequenced Subset Operators: Definition and Implementation.	ICDE	2002	DBLP DOI BibTeX RDF	sequenced operator, anti-semi-join, validity period, . algebraic operator implementation, temporal query language
19	Seungjoo Kim, Jung Hee Cheon, Marc Joye, Seongan Lim, Masahiro Mambo, Dongho Won, Yuliang Zheng 0001	Strong Adaptive Chosen-Ciphertext Attacks with Memory Dump (or: The Importance of the Order of Decryption and Validation).	IMACC	2001	DBLP DOI BibTeX RDF	ciphertext validity, OAEP-RSA, Encryption, provable security, chosen-ciphertext security, ElGamal encryption
19	Yee Leung, Jiang-She Zhang 0001, Zongben Xu	Clustering by Scale-Space Filtering.	IEEE Trans. Pattern Anal. Mach. Intell.	2000	DBLP DOI BibTeX RDF	Hierarchical clustering, cluster validity, scale space theory
19	Dominique Colnet, Luigi Liquori	Match-O, A Dialect of Eiffel with Match-Types.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	Match-O, Eiffel dialect, covariant redefinition, system-level validity rules, match types, method specialization, anchored type, type unsoundness, smallEiffel source code, compiler, program compilers, object-oriented languages, abstract data types, subtyping, type safety, binary methods, Current
19	Michael J. Barnes	Process centered displays and cognitive models for command applications.	ECBS	1997	DBLP DOI BibTeX RDF	process centered displays, command applications, command and control environment, Army maneuver brigade, human knowledge, scientific validity, knowledge representation, knowledge representation, cognitive models, military applications
19	Sandro Morasca, Lionel C. Briand	Towards A Theoretical Framework For Measuring Software Attributes.	IEEE METRICS	1997	DBLP DOI BibTeX RDF	software attribute measurement, software product properties, construct validity, unambiguous definition, hierarchical axiomatic framework, measurement scales, software engineering, software metrics, theoretical foundations, theoretical framework, axiomatic approaches, consistent measures
19	Rose Sturm, Jutta A. Mülle, Peter C. Lockemann	Collision of Constrained Work Spaces: A Unifying Concept for Design Interactions.	CoopIS	1997	DBLP DOI BibTeX RDF	constrained work space collision, design interactions, design artifact representation, design object, design decision validity, decision effects detection, state retracing, work resumption, explicit notification, databases, groupware, time, corrections, conflicts
19	Iliano Cervesato, Massimo Franceschet, Angelo Montanari	Modal Event Calculi with Preconditions.	TIME	1997	DBLP DOI BibTeX RDF	modal event calculi, event occurrences, maximal validity intervals, semantic formalization, MVI validation, complexity, temporal logic, temporal logic, preconditions, event calculus
19	Khaled El Emam, Nazim H. Madhavji	Measuring the success of requirements engineering processes.	RE	1995	DBLP DOI BibTeX RDF	requirements engineering success, research study, requirements engineering products, requirements engineering service, psychometric properties, reliability, formal specification, validity, software reliability, program verification, systems analysis, program testing, requirements engineering processes
19	William E. Howden, Bruce Wieand	QDA-A Method for Systematic Informal Program Analysis.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	QDA, systematic informal program analysis, program properties, Quick Defect Analysis, comments analysis, abstract program model, hypothesis-driven method, operational flight program, formal specification, formal verification, specification, program verification, program verification, programming theory, program debugging, program diagnostics, program validity, code reading
19	Tsu-Wang Chen, Wei-Chung Lin	A Neural Network Approach to CSG-Based 3-D Object Recognition.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	neural network approach, precedence graphs, primitive volume, constraint satisfaction network, matching process, match validity, primitive similarity, geometric structure preservation, computer vision, graph theory, object recognition, neural nets, solid modelling, range images, constructive solid geometry, energy function, computer vision system, 3-D object recognition
19	Isaac Weiss	High-Order Differentiation Filters that Work.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	high-order differentiation filters, error source, validity domain, image processing, polynomials, polynomials, filtering and prediction theory, digital images, image smoothing, noise suppression, smooth functions
19	Yael Man, Isak Gath	Detection and Separation of Ring-Shaped Clusters Using Fuzzy Clustering.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	ring-shaped clusters, compact spherical clusters, FKR algorithm, automatic search, proper initial conditions, excentric, total fuzzy area, fuzzy density, MRI image, heart left ventricle, pattern recognition, image processing, fuzzy clustering, fuzzy set theory, concentric, validity criteria
19	Mehmet Sahinoglu	Compound-Poisson Software Reliability Model.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	compound-Poisson software reliability model, discrete compound Poisson prediction model, clumping, Poisson arrivals, predictive validity, Musa-Okumoto log-Poisson model, clustering, software reliability, software failures, random variable, probability density estimation
19	Isak Gath, Amir B. Geva	Unsupervised Optimal Fuzzy Clustering.	IEEE Trans. Pattern Anal. Mach. Intell.	1989	DBLP DOI BibTeX RDF	unsupervised optimal fuzzy clustering, fuzzy K-means algorithm, fuzzy maximum-likelihood estimation, unsupervised fuzzy partition-optimal number of classes algorithm, sleep EEG signal, pattern recognition, pattern recognition, fuzzy set theory, fuzzy set theory, cluster validity, electroencephalography, fuzzy classification
17	Pawan Lingras, Min Chen 0021, Duoqian Miao	Rough Cluster Quality Index Based on Decision Theory.	IEEE Trans. Knowl. Data Eng.	2009	DBLP DOI BibTeX RDF
17	Daniel Leivant	Reasoning in Dynamic Logic about Program Termination.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
17	Robert G. Sargent	Verification and validation of simulation models.	WSC	2008	DBLP DOI BibTeX RDF
17	Shih-Ming Pan, Kuo-Sheng Cheng	Evolution-Based Tabu Search Approach to Automatic Clustering.	IEEE Trans. Syst. Man Cybern. Part C	2007	DBLP DOI BibTeX RDF
17	Dung Xuan Thi Le, Eric Pardede	Towards Performance Efficiency in Safe XML Update.	WISE	2007	DBLP DOI BibTeX RDF	Schema Validation, Update Performance, XML Schema, XML Updates
17	Robert G. Sargent	Verification and validation of simulation models.	WSC	2007	DBLP DOI BibTeX RDF
17	Andrew Schumann	Non-Archimedean Valued Sequent Logic.	SYNASC	2006	DBLP DOI BibTeX RDF
17	Octavio Martín-Díaz, Antonio Ruiz Cortés, Amador Durán 0001, Carlos Müller	An Approach to Temporal-Aware Procurement of Web Services.	ICSOC	2005	DBLP DOI BibTeX RDF	services, quality, constraint programming, temporality, procurement
17	Robert G. Sargent	Verification and validation of simulation models.	WSC	2005	DBLP DOI BibTeX RDF
17	Shankara Narayanan Krishna, Paritosh K. Pandya	Modal Strength Reduction in Quantified Discrete Duration Calculus.	FSTTCS	2005	DBLP DOI BibTeX RDF
17	Daniel Leivant	Proving Termination Assertions in Dynamic Logics.	LICS	2004	DBLP DOI BibTeX RDF
17	Jun Zhang 0005, Manli Zhu, Dimitris Papadias, Yufei Tao 0001, Dik Lun Lee	Location-based Spatial Queries.	SIGMOD Conference	2003	DBLP DOI BibTeX RDF
17	Robert G. Sargent	Verification and validation: verification and validation of simulation models.	WSC	2003	DBLP DOI BibTeX RDF
17	Jianying Zhou 0001, Feng Bao 0001, Robert H. Deng	Validating Digital Signatures without TTP's Time-Stamping and Certificate Revocation.	ISC	2003	DBLP DOI BibTeX RDF
17	Michael P. Fourman	Propositional Reasoning.	TACAS	2001	DBLP DOI BibTeX RDF