Search results for "Refusal"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
134	Joachim Biskup, Piero A. Bonatti	Controlled Query Evaluation for Known Policies by Combining Lying and Refusal.	FoIKS	2002	DBLP DOI BibTeX RDF	Potential secret, Reliability, Inference control, Secrecy, User log, Lying, Refusal, Controlled query evaluation
118	Joachim Biskup, Piero A. Bonatti	Confidentiality Policies and Their Enforcement for Controlled Query Evaluation.	ESORICS	2002	DBLP DOI BibTeX RDF	Potential secret, Combined refusal and lying, Policy, Confidentiality, Inference control, Secrecy, Lying, Refusal, Controlled query evaluation
75	Romina Fraboni, Alessandro Rosina, Sante Orsini, Barbara Baldazzi	A micro analysis of the macro differences in refusal risk among metropolitan areas. The case of the Italian multipurpose survey.	Stat. Methods Appl.	2005	DBLP DOI BibTeX RDF	Non-response rate, multilevel modelling, interviewer's effect
59	Joachim Biskup, Piero A. Bonatti	Controlled Query Evaluation with Open Queries for a Decidable Relational Submodel.	FoIKS	2006	DBLP DOI BibTeX RDF	Complete information system, Open query, Safe query, Domain-independent query, Bernays-Schönfinkel class, Completeness test, Relational database, Confidentiality, First-order logic, Finite model theory, Guarded fragment, Lying, Refusal, Implication problem, Controlled query evaluation
58	Irek Ulidowski	Refusal Simulation and Interactive Games.	AMAST	2002	DBLP DOI BibTeX RDF
49	Joachim Biskup, Torben Weibert	Keeping secrets in incomplete databases.	Int. J. Inf. Sec.	2008	DBLP DOI BibTeX RDF	Incomplete databases, Information systems, Inference control, Controlled query evaluation
42	Joachim Biskup, Piero A. Bonatti	Controlled query evaluation for enforcing confidentiality in complete information systems.	Int. J. Inf. Sec.	2004	DBLP DOI BibTeX RDF	Complete information system, Confidentiality, Inference control, Lying, Refusal
42	Xuejun Zhao, Xinyu Liu, Shengling Zheng, Baochang Pan, Yuan Yan Tang	On-line recognition handwritten mathematical symbol.	ICDAR	1997	DBLP DOI BibTeX RDF	online handwritten mathematical symbol recognition, basic element ordering, standard symbols, basic element vector, basic element length vector, dynamic programming method, unmatching value, matching value, geometric restraints, improved Kohn-Munkres algorithm, correctness rate, incorrectness rate, refusal rate, handwriting recognition, relative positions
42	Tino Pyssysalo, Leo Ojala	Causal Modeling of a Video-on-Demand System Using Predicate/Transition Net Formalism.	EUROMICRO	1996	DBLP DOI BibTeX RDF	high-level net model, bunching property, resource allocation mechanism, request service, refusal by choice feature, predicate/transition net formalism, stochastic net theoretical methods, time formalisms, performance analysis, reachability analysis, interactive television, parallel machine scheduling, causal modeling, FIFO queues, video-on-demand system
42	Enda Howley, Colm O'Riordan	The effects of viscosity in choice and refusal IPD environments.	Artif. Intell. Rev.	2006	DBLP DOI BibTeX RDF	Prisoner’s dilemma, Implicit trust, Explicit trust, Multi-agent systems, Trust, Cooperation
42	Iain Phillips 0001	Refusal Testing.	ICALP	1986	DBLP DOI BibTeX RDF
42	William G. Golson	Denotational Models Based on Synchronously Communicating Processes: Refusal, Acceptance, Safety.	Seminar on Concurrency	1984	DBLP DOI BibTeX RDF
33	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
33	Zhongjie Li, Jianping Wu, Xia Yin	Testing Multi Input/Output Transition System with All-Observer.	TestCom	2004	DBLP DOI BibTeX RDF
33	Olli-Matti Penttinen, Tino Pyssysalo, Leo Ojala	Performance Analysis of Adaptive Video on Demand Using Stochastic Petri Nets.	HICSS (5)	1997	DBLP DOI BibTeX RDF
33	Zhongping Tao, Gregor von Bochmann, Rachida Dssouli	Verification and diagnosis of testing equivalence and reduction relation.	ICNP	1995	DBLP DOI BibTeX RDF
26	George L. Sicherman, Wiebren de Jonge, Reind P. van de Riet	Answering Queries Without Revealing Secrets.	ACM Trans. Database Syst.	1983	DBLP DOI BibTeX RDF	keeping secrets, refusal to answer, strategy
26	Chia-Wen Tsai, Lan-Yu Lee, Yih-Ping Cheng, Chih-Hsien Lin, Min-Ling Hung, Jian-Wei Lin	Integrating online meta-cognitive learning strategy and team regulation to develop students' programming skills, academic motivation, and refusal self-efficacy of Internet use in a cloud classroom.	Univers. Access Inf. Soc.	2024	DBLP DOI BibTeX RDF
26	Mantas Mazeika, Long Phan, Xuwang Yin, Andy Zou, Zifan Wang, Norman Mu, Elham Sakhaee, Nathaniel Li, Steven Basart, Bo Li, David A. Forsyth, Dan Hendrycks	HarmBench: A Standardized Evaluation Framework for Automated Red Teaming and Robust Refusal.	CoRR	2024	DBLP DOI BibTeX RDF
26	Xiaomeng Hu, Pin-Yu Chen, Tsung-Yi Ho	Gradient Cuff: Detecting Jailbreak Attacks on Large Language Models by Exploring Refusal Loss Landscapes.	CoRR	2024	DBLP DOI BibTeX RDF
26	Alexandra James, Danielle Hynes, Andrew Whelan, Tanja Dreher, Justine Humphry	From access and transparency to refusal: Three responses to algorithmic governance.	Internet Policy Rev.	2023	DBLP DOI BibTeX RDF
26	Max Reuter, William Schulze	I'm Afraid I Can't Do That: Predicting Prompt Refusal in Black-Box Generative Language Models.	CoRR	2023	DBLP DOI BibTeX RDF
26	Lang Cao	Learn to Refuse: Making Large Language Models More Controllable and Reliable through Knowledge Scope Limitation and Refusal Mechanism.	CoRR	2023	DBLP DOI BibTeX RDF
26	Anna Smout, Dharshani Tharanga Chandrasekara, Ling Wu, Glenn Melvin, Joshua Paolo Seguin, Patrick Olivier, Mairead Claire Cardamone-Breen, Tom Bartindale, Roisin McNaney, Marie B. H. Yap	Enabling Digital Parenting Interventions to Promote Empathic Partnerships among Parents, Educators, and Adolescents Targeting School Refusal.	CHI	2023	DBLP DOI BibTeX RDF
26	Princess Sampson, Ro Encarnacion, Danaë Metaxa	Representation, Self-Determination, and Refusal: Queer People's Experiences with Targeted Advertising.	FAccT	2023	DBLP DOI BibTeX RDF
26	Xun Duan, Yuxin Hao	A Study of Refusal Language Socialization.	IALP	2023	DBLP DOI BibTeX RDF
26	Patricia Garcia, Tonia Sutherland, Niloufar Salehi, Marika Cifor, Anubha Singh	No! Re-imagining Data Practices Through the Lens of Critical Refusal.	Proc. ACM Hum. Comput. Interact.	2022	DBLP DOI BibTeX RDF
26	Marikken Høiseth, Ole Andreas Alsos, Sindre Holme, Sondre Ek, Charlotte Tendenes Gabrielsen	Serious Game Design to Support Children Struggling with School Refusal.	Int. J. Serious Games	2021	DBLP DOI BibTeX RDF
26	Jonathan Zong	From individual consent to collective refusal: changing attitudes toward (mis)use of personal data.	XRDS	2020	DBLP DOI BibTeX RDF
26	Patricia Garcia, Tonia Sutherland, Marika Cifor, Anita Say Chan, Lauren F. Klein, Catherine D'Ignazio, Niloufar Salehi	No: Critical Refusal as Feminist Data Practice.	CSCW Companion	2020	DBLP DOI BibTeX RDF
26	Marikken Høiseth, Sindre Holme, Sondre Ek, Charlotte Tendenes Gabrielsen, Ole Andreas Alsos	Teen evaluations of a game targeting school refusal.	IDC (Extended Abstracts)	2020	DBLP DOI BibTeX RDF
26	Rikuto Ishikura, Masahiro Takeda 0004, Shino Iwashita	Classification of Worries and Consultations with School Refusal Students Using Machine Learning.	SCIS/ISIS	2020	DBLP DOI BibTeX RDF
26	José Antonio Gouvêa Galhardo	Passive Transparency Really Matters? A Multiple Case Study about the Refusal of Access to Public Information from Brazilian Customs Area.	ECIS	2019	DBLP BibTeX RDF
26	Nicolas W. Hengartner, Leticia Cuellar, Xiao-Cheng Wu, Georgia D. Tourassi, John X. Qiu, James Blair Christian, Tanmoy Bhattacharya 0001	CAT: computer aided triage improving upon the Bayes risk through ε-refusal triage rules.	BMC Bioinform.	2018	DBLP DOI BibTeX RDF
26	Otávio Azevedo, Felipe de Morais, Patrícia Augustin Jaques	Exploring Gamification to Prevent Gaming the System and Help Refusal in Tutoring Systems.	EC-TEL	2018	DBLP DOI BibTeX RDF
26	Kristina Stamatis	Acceptance and Refusal: Examining conflicting goals within co-design.	ICLS	2018	DBLP BibTeX RDF
26	Joel J. Martin, Nathaniel S. Ring, Andrea A. Kelley, Jon Duke	Identifying Treatment Refusal Through Natural Language Processing.	AMIA	2016	DBLP BibTeX RDF
26	Masaki Kyoso	Biometric identification with high frequency electrocardiogram: Unregistered user refusal method and performance evaluation.	EMBC	2015	DBLP DOI BibTeX RDF
26	Kyoko Yanagihori, Kazuhiko Tsuda	Verification of Patent Document Similarity of Using Dictionary Data Extracted from Notification of Reasons for Refusal.	COMPSAC Workshops	2015	DBLP DOI BibTeX RDF
26	Li Jin, Ming Han, Gang-Li Liu, Ling Feng	Detecting Cruising Flagged Taxis' Passenger-Refusal Behaviors Using Traffic Data and Crowdsourcing.	UIC/ATC/ScalCom	2014	DBLP DOI BibTeX RDF
26	Laura Portwood-Stacer	Media refusal and conspicuous non-consumption: The performative and political dimensions of Facebook abstention.	New Media Soc.	2013	DBLP DOI BibTeX RDF
26	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
26	Thomas Neumayr, Mirjam Augstein	Recommender Systems: Between Acceptance and Refusal.	MuC (Workshopband)	2012	DBLP BibTeX RDF
26	Sreekumar R. Bhaskaran, Karthik Ramachandran, John Semple	A Dynamic Inventory Model with the Right of Refusal.	Manag. Sci.	2010	DBLP DOI BibTeX RDF
26	Manfred Broy	Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
26	Brit Grosskopf, Alvin E. Roth	If you are offered the Right of First Refusal, should you accept? An investigation of contract design.	Games Econ. Behav.	2009	DBLP DOI BibTeX RDF
26	Dawei Du, Dan Simon, Mehmet Ergezer	Biogeography-Based Optimization Combined with Evolutionary Strategy and Immigration Refusal.	SMC	2009	DBLP DOI BibTeX RDF
26	Boris Kovalerchuk	Modeling ATR processes to predict their performance by using invariance, robustness and self-refusal approach.	FUSION	2009	DBLP BibTeX RDF
26	Min-Pei Lin, Huei-Chen Ko, Jo Yung-Wei Wu	The Role of Positive/Negative Outcome Expectancy and Refusal Self-Efficacy of Internet Use on Internet Addiction among College Students in Taiwan.	Cyberpsychology Behav. Soc. Netw.	2008	DBLP DOI BibTeX RDF
26	Azucena García-Palacios, Cristina Botella, Hunter G. Hoffman, Sonia Fabregat	Comparing Acceptance and Refusal Rates of Virtual Reality Exposure vs. In Vivo Exposure by Patients with Specific Phobias.	Cyberpsychology Behav. Soc. Netw.	2007	DBLP DOI BibTeX RDF
26	David Chavalarias	Modeling Endogenous Social Networks: the Example of Emergence and Stability of Cooperation without Refusal	CoRR	2005	DBLP BibTeX RDF
26	Joachim Biskup, Piero A. Bonatti	Controlled Query Evaluation for Known Policies by Combining Lying and Refusal.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF
26	Joachim Biskup, Torben Weibert	Refusal in Incomplete Databases.	DBSec	2004	DBLP DOI BibTeX RDF
26	Joachim Biskup, Piero A. Bonatti	Lying versus refusal for known potential secrets.	Data Knowl. Eng.	2001	DBLP DOI BibTeX RDF
26	Joachim Biskup	For unknown secrecies refusal is better than lying.	Data Knowl. Eng.	2000	DBLP DOI BibTeX RDF
26	Joachim Biskup	For Unknown Secrecies Refusal is Better than Lying.	DBSec	1999	DBLP BibTeX RDF
26	Carlos Gregorio-Rodríguez, Manuel Núñez 0001	Denotational Semantics for Probabilistic Refusal Testing.	PROBMIV	1998	DBLP DOI BibTeX RDF
26	Lex Heerink	Ins and Outs in Refusal Testing.		1998	RDF
26	Lex Heerink, Jan Tretmans	Refusal Testing for Classes of Transition Systems with Inputs and Outputs.	FORTE	1997	DBLP BibTeX RDF
26	Martyn Wild	Technology refusal: Rationalising the failure of student and beginning teachers to use computers.	Br. J. Educ. Technol.	1996	DBLP DOI BibTeX RDF
26	Steven Hodas	Technology Refusal and the Organizational Culture of Schools.	Computerization and Controversy, 2nd Ed.	1996	DBLP DOI BibTeX RDF
26	E. Ann Stanley, Dan Ashlock, Mark D. Smucker	Iterated Prisoner's Dilemma with Choice and Refusal of Partners: Evolutionary Results.	ECAL	1995	DBLP DOI BibTeX RDF
26	Khalil Drira	The Refusal Graph: a Tradeoff between Verification and Test.	Protocol Test Systems	1993	DBLP BibTeX RDF
26	Khalil Drira, Pierre Azéma, François Vernadat 0001	Refusal Graphs for Conformance Tester Generation and Simplification: A Computational Framework.	PSTV	1993	DBLP BibTeX RDF
26	Iain Phillips 0001	Refusal Testing.	Theor. Comput. Sci.	1987	DBLP DOI BibTeX RDF
16	Raimondas Sasnauskas, Olaf Landsiedel, Muhammad Hamad Alizai, Carsten Weise, Stefan Kowalewski, Klaus Wehrle	KleeNet: discovering insidious interaction bugs in wireless sensor networks before deployment.	IPSN	2010	DBLP DOI BibTeX RDF	automated protocol testing, wireless sensor networks, experimentation, failure detection
16	Md. Asaduzzaman, Thierry J. Chaussalet	Modelling and Performance Measure of a Perinatal Network Centre in the United Kingdom.	CBMS	2008	DBLP DOI BibTeX RDF
16	Jan Tretmans	Model Based Testing with Labelled Transition Systems.	Formal Methods and Testing	2008	DBLP DOI BibTeX RDF
16	Joachim Biskup, Piero A. Bonatti	Controlled query evaluation with open queries for a decidable relational submodel.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68P15, 68P99, 11U05, 03B70
16	Kjell Jørgen Hole, Vebjørn Moen, André N. Klingsheim, Knut M. Tande	Lessons from the Norwegian ATM System.	IEEE Secur. Priv.	2007	DBLP DOI BibTeX RDF
16	Yu Wu, Ling Xue, Chao Li 0001, Zhang Xiong 0001	TDARS, a Fusion Based AR System for Machine Readable Travel Documents.	HCI (9)	2007	DBLP DOI BibTeX RDF	face recognition, character recognition, information fusion, fuzzy integration
16	Kook-Hee Han, Yiwen Liu, Young-Jik Kwon, Byeongdo Kang, Roger Y. Lee	The SAFE Management System Model Based on Context Automatic Awareness.	SERA	2007	DBLP DOI BibTeX RDF	Safe119 system, RFID, Ubiquitous
16	Young-Min Jang, Sang-Woo Ban, Minho Lee 0001	Stereo Saliency Map Considering Affective Factors in a Dynamic Environment.	ICONIP (2)	2007	DBLP DOI BibTeX RDF	Integrated saliency map, stereo saliency map, affective attention, bottom-up selective attention
16	Mauro Andreolini, Sara Casolari, Michele Colajanni	A Distributed Architecture for Gracefully Degradable Web-Based Services.	NCA	2006	DBLP DOI BibTeX RDF
16	Yossi Azar, Yoel Chaiutin	Optimal Node Routing.	STACS	2006	DBLP DOI BibTeX RDF
16	C. M. Sperberg-McQueen	XML .	ACM Queue	2005	DBLP DOI BibTeX RDF	XML
16	John K. Slaney	Relevant Logic and Paraconsistency.	Inconsistency Tolerance	2005	DBLP DOI BibTeX RDF
16	Yinfeng Xu, Chunlin Xin, Fanglei Yi	New Results on Online Replacement Problem.	WINE	2005	DBLP DOI BibTeX RDF
16	Ching-Tsorng Tsai, Chishyan Liaw, Cherng-yue Huang, Jiann-Shu Lee	Synthesizing the Artistic Effects of Ink Painting.	SCIA	2005	DBLP DOI BibTeX RDF
16	Mohamed Ahmed 0001, Daniele Quercia, Stephen Hailes	A Statistical Matching Approach to Detect Privacy Violation for Trust-Based Collaborations.	WOWMOM	2005	DBLP DOI BibTeX RDF
16	Robert Carruthers, Ioanis Nikolaidis	Certain limitations of reputation--based schemes in mobile environments.	MSWiM	2005	DBLP DOI BibTeX RDF	mobile ad-hoc networks, trust, cooperation, reputation
16	John J. Cunningham	Costs of Compliance: Agile in an Inelastic Organization.	AGILE	2005	DBLP DOI BibTeX RDF
16	Carlo Alberto Magni, Giovanni Mastroleo, Marina Vignola, Gisella Facchinetti	Strategic options and expert systems: a fruitful marriage.	Soft Comput.	2004	DBLP DOI BibTeX RDF	Strategic, Sensitivity analysis, Real options, Fuzzy expert system
16	Barry Smyth, Evelyn Balfe, Jill Freyne, Peter Briggs, Maurice Coyle, Oisín Boydell	Exploiting Query Repetition and Regularity in an Adaptive Community-Based Web Search Engine.	User Model. User Adapt. Interact.	2004	DBLP DOI BibTeX RDF	personalization, Web search, social search, Meta search
16	Cédric Fournet, C. A. R. Hoare, Sriram K. Rajamani, Jakob Rehof	Stuck-Free Conformance.	CAV	2004	DBLP DOI BibTeX RDF
16	Elmar Bihler, Walter Vogler	Timed Petri Nets: Efficiency of Asynchronous Systems.	SFM	2004	DBLP DOI BibTeX RDF
16	Choong Seon Hong, Joon Heo	A Policy-Based Security Management Architecture Using XML Encryption Mechanism for Improving SNMPv3.	ICCSA (1)	2004	DBLP DOI BibTeX RDF
16	Zhongjie Li, Xia Yin, Jianping Wu	Distributed Testing of Multi Input/Output Transition System.	SEFM	2004	DBLP DOI BibTeX RDF
16	Flavio Corradini, Walter Vogler, Lars Jenner	Comparing the worst-case efficiency of asynchronous systems with PAFAS.	Acta Informatica	2002	DBLP DOI BibTeX RDF
16	Markus Jakobsson, David Pointcheval, Adam L. Young	Secure Mobile Gambling.	CT-RSA	2001	DBLP DOI BibTeX RDF	Merkle, publicly verifiable, robust, Fair, lightweight, gambling
16	Voon-Li Chung	Student participation in computer science tutorials: why are their shoes so interesting?	ACSE	2000	DBLP DOI BibTeX RDF	student interactivity, student surveys, tutorials participation
16	Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko	Ready-Simulation Is Not Ready to Express a Modular Refinement Relation.	FASE	2000	DBLP DOI BibTeX RDF
16	Lars Jenner, Walter Vogler	Comparing the Efficiency of Asynchronous Systems.	ARTS	1999	DBLP DOI BibTeX RDF
16	Lars Jenner, Walter Vogler	Fast Asynchronous Systems in Dense Time.	ICALP	1996	DBLP DOI BibTeX RDF
16	Sudhanshu Aggarwal, Juan A. Garay, Amir Herzberg	Adaptive Video on Demand.	ESA	1995	DBLP DOI BibTeX RDF
16	Walter Vogler	Faster Asynchronous Systems.	CONCUR	1995	DBLP DOI BibTeX RDF
16	Irek Ulidowski	Axiomatisations of Weak Equivalences for De Simone Languages.	CONCUR	1995	DBLP DOI BibTeX RDF
16	Khalil Drira, Pierre Azéma, B. Soulas, A. M. Chemali	Testability of a Communicating System Through an Environment.	TAPSOFT	1993	DBLP DOI BibTeX RDF
16	Walter Vogler	Timed Testing of Concurrent Systems.	ICALP	1993	DBLP DOI BibTeX RDF
16	Luca Aceto, Uffe Engberg	Failures Semantics for a Simple Process Language with Refinement.	FSTTCS	1991	DBLP DOI BibTeX RDF