Search results for "Refusals"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
67	Gavin Lowe	Specification of communicating processes: temporal logic versus refusals-based refinement.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Refinement testing, Specification, Temporal logic, CSP, Refusals
30	Maciej Gazda, Robert M. Hierons	Removing redundant refusals: Minimal complete test suites for failure trace semantics.	Inf. Comput.	2023	DBLP DOI BibTeX RDF
30	Peiran Dong, Song Guo, Junxiao Wang, Bingjie Wang, Jiewei Zhang, Ziming Liu	Towards Test-Time Refusals via Concept Negation.	NeurIPS	2023	DBLP BibTeX RDF
30	Rachel S. Chang, Jaimie Z. Shing, Jennifer C. Erves, Liping Du, Tatsuki Koyama, Stephen Deppen, Alyssa B. Rentuza, Caree McAfee, Christine Stroebel, Janet Cates, Lora Harnack, David Andrews, Robert Bramblett, Pamela C. Hull	Measurement of provider fidelity to immunization guidelines: a mixed-methods study on the feasibility of documenting patient refusals of the human papillomavirus vaccine.	BMC Medical Informatics Decis. Mak.	2022	DBLP DOI BibTeX RDF
30	Mustafa Anil Koçak, David Ramírez, Elza Erkip, Dennis E. Shasha	SafePredict: A Meta-Algorithm for Machine Learning That Uses Refusals to Guarantee Correctness.	IEEE Trans. Pattern Anal. Mach. Intell.	2021	DBLP DOI BibTeX RDF
30	Maciej Gazda, Robert M. Hierons	Removing Redundant Refusals: Minimal Complete Test Suites for Failure Trace Semantics.	LICS	2021	DBLP DOI BibTeX RDF
30	Raluca Lefticaru, Robert M. Hierons, Manuel Núñez 0001	Implementation relations and testing for cyclic systems with refusals and discrete time.	J. Syst. Softw.	2020	DBLP DOI BibTeX RDF
30	Raluca Lefticaru, Robert M. Hierons, Manuel Núñez 0001	An Implementation Relation for Cyclic Systems with Refusals and Discrete Time.	SEFM	2019	DBLP DOI BibTeX RDF
30	Tetsuo Wada	The choice of examiner patent citations for refusals: evidence from the trilateral offices.	Scientometrics	2018	DBLP DOI BibTeX RDF
30	Mustafa Anil Koçak, David Ramírez, Elza Erkip, Dennis E. Shasha	SafePredict: A Meta-Algorithm for Machine Learning That Uses Refusals to Guarantee Correctness.	CoRR	2017	DBLP BibTeX RDF
30	Alex Scott 0003, Chris Parker, Christopher W. Craighead	Service Refusals in Supply Chains: Drivers and Deterrents of Freight Rejection.	Transp. Sci.	2017	DBLP DOI BibTeX RDF
30	Tetsuo Wada	The choice of examiner citations for refusals: Evidence from the trilateral offices.	ISSI	2017	DBLP BibTeX RDF
30	Kenza Bouaroudj, Ilham Kitouni, Hiba Hachichi, Djamel-Eddine Saïdouni	Extending Refusal Testing by Stochastic Refusals for Testing Non-deterministic Systems	CoRR	2012	DBLP BibTeX RDF
30	Igor B. Burdonov, Alexander S. Kosachev	Safe simulation testing of systems with refusals and destructions.	Autom. Control. Comput. Sci.	2011	DBLP DOI BibTeX RDF
30	Joachim Biskup, Cornelia Tadros	Inference-Proof View Update Transactions with Minimal Refusals.	DPM/SETOP	2011	DBLP DOI BibTeX RDF
30	Igor B. Bourdonov, Alexander S. Kossatchev	Interaction semantics with refusals, divergence, and destruction.	Program. Comput. Softw.	2010	DBLP DOI BibTeX RDF
30	Richard H. Stern	IP-Related Refusals to Deal. Part 1: Updating the Intel-Intergraph Controversy.	IEEE Micro	2000	DBLP DOI BibTeX RDF
30	Richard H. Stern	IP-Related Refusals to Deal-Part 2: Pretext and Misconduct as Standards.	IEEE Micro	2000	DBLP DOI BibTeX RDF
30	Richard H. Stern	IP-related Refusals to Deal: Part 2 1/2: A Postscript.	IEEE Micro	2000	DBLP DOI BibTeX RDF
30	William C. Rounds, Stephen D. Brookes	Possible Futures, Acceptances, Refusals, and Communicating Processes	FOCS	1981	DBLP DOI BibTeX RDF
25	Cristiano P. Costa, Vanessa Soares, Jussara M. Almeida, Virgílio A. F. Almeida	Fighting pollution dissemination in peer-to-peer networks.	SAC	2007	DBLP DOI BibTeX RDF	content pollution, reputation, peer-to-peer systems
25	Jifeng He 0001, C. A. R. Hoare	CSP Is a Retract of CCS.	UTP	2006	DBLP DOI BibTeX RDF
25	Jifeng He 0001	Linking Theories of Concurrency by Retraction.	ICDCIT	2005	DBLP DOI BibTeX RDF
25	Jong Ho Park, Sung Chil Jung, Changlei Zhang, Kil To Chong 0001	Neural Network Hot Spot Prediction Algorithm for Shared Web Caching System.	APWeb	2005	DBLP DOI BibTeX RDF
25	Ralph Miarka, Eerke A. Boiten, John Derrick	Guards, Preconditions, and Refinement in Z.	ZB	2000	DBLP DOI BibTeX RDF