Search results for "obligations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Agata Ciabattoni, Francesca Gulisano, Björn Lellmann	Resolving Conflicting Obligations in M={I}M={A}S={A}: a Sequent-based Approach.	DEON	2018	DBLP BibTeX RDF
18	Devon L. Greyson, Nicole A. Cooke, Amelia N. Gibson, Heidi Julien	Online targeting of researchers/academics: Ethical obligations and best practices.	ASIST	2018	DBLP DOI BibTeX RDF
18	Javier Cabello, Paola Mairota, Domingo Alcaraz-Segura, Salvador Arenas-Castro, Paula Escribano, Pedro J. Leitão, Javier Martínez-López, Adrián Regos, Juan M. Requena-Mullor	Satellite Remote Sensing of Ecosystem Functions: Opportunities and Challenges for Reporting Obligations of the EU Habitat Directive.	IGARSS	2018	DBLP DOI BibTeX RDF
18	Fabio Marfia, Nicoletta Fornara, Truc-Vien T. Nguyen	A framework for managing data provider and data consumer semantic obligations for access control.	AI Commun.	2017	DBLP DOI BibTeX RDF
18	Judy Bowen, Steve Reeves	Generating Obligations, Assertions and Tests from UI Models.	Proc. ACM Hum. Comput. Interact.	2017	DBLP DOI BibTeX RDF
18	Bjørn Kjos-Hanssen	A Conflict Between Some Semantic Conditions of Carmo and Jones for Contrary-to-Duty Obligations.	Stud Logica	2017	DBLP DOI BibTeX RDF
18	Vincent C. Müller	Legal vs. ethical obligations - a comment on the EPSRC's principles for robotics.	Connect. Sci.	2017	DBLP DOI BibTeX RDF
18	Daniel G. Bachrach, Elliot Bendoly, Danielle Beu Ammeter, Richard Blackburn, Kenneth G. Brown, Gerry Burke, Ty Callahan, Kay-Yut Chen, Vikki Haag Day, Alan E. Ellstrand, O. Homer Erekson, Jaime Alonso Gomez, Tim Greenlee, Rob Handfield, Martha L. Loudder, Manoj K. Malhotra, Kathy Ruby Petroni, Alex Sevilla, Scott M. Shafer, Margaret Shih, Doug Voss	On Academic Rankings, Unacceptable Methods, and the Social Obligations of Business Schools.	Decis. Sci.	2017	DBLP DOI BibTeX RDF
18	Natasha Alechina, Wiebe van der Hoek, Brian Logan 0001	Fair decomposition of group obligations.	J. Log. Comput.	2017	DBLP DOI BibTeX RDF
18	Hsin-Hung Lin, Bow-Yaw Wang	Releasing VDM proof obligations with SMT solvers.	MEMOCODE	2017	DBLP DOI BibTeX RDF
18	Mortaza S. Bargh, Marco Vink, Sunil Choenni	On Usage Control in Relational Database Management Systems - Obligations and Their Enforcement in Joining Datasets.	ICISSP	2017	DBLP DOI BibTeX RDF
18	Mortaza S. Bargh, Marco Vink, Sunil Choenni	On Using Obligations for Usage Control in Joining of Datasets.	ICISSP (Revised Selected Papers)	2017	DBLP DOI BibTeX RDF
18	Hassan Sharghi, Ramiro Liscano	Integrating Access Control Obligations in the Session Initiation Protocol for Pervasive Computing Environments.	MCETECH	2017	DBLP DOI BibTeX RDF
18	Marco Alberti 0001, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese	Dischargeable Obligations in Abductive Logic Programming.	RuleML+RR	2017	DBLP DOI BibTeX RDF
18	Nicoletta Fornara, Marco Colombetti	Operational Semantics of an Extension of ODRL Able to Express Obligations.	EUMAS/AT	2017	DBLP DOI BibTeX RDF
18	Elizabeth A. Corley, Youngjae Kim, Dietram A. Scheufele	Scientists' Ethical Obligations and Social Responsibility for Nanotechnology Research.	Sci. Eng. Ethics	2016	DBLP DOI BibTeX RDF
18	Mathieu Beirlaen, Christian Straßer	A structured argumentation framework for detaching conditional obligations.	CoRR	2016	DBLP BibTeX RDF
18	Mehmet Bedii Kaya	The regulation of Internet intermediaries under Turkish law: Is there a delicate balance between rights and obligations?	Comput. Law Secur. Rev.	2016	DBLP DOI BibTeX RDF
18	Daniel Grahl, Mattias Ulbrich	From Specification to Proof Obligations.	Deductive Software Verification	2016	DBLP DOI BibTeX RDF
18	Casey Fiesler, Pamela J. Wisniewski, Jessica Pater, Nazanin Andalibi	Exploring Ethics and Obligations for Studying Digital Communities.	GROUP	2016	DBLP DOI BibTeX RDF
18	Nicoletta Fornara, Fabio Marfia	Modeling and Enforcing Access Control Obligations for SPARQL-DL Queries.	SEMANTiCS	2016	DBLP DOI BibTeX RDF
18	Mathieu Beirlaen, Christian Straßer	A Structured Argumentation Framework for Detaching Conditional Obligations.	DEON	2016	DBLP BibTeX RDF
18	Guido Governatori, Francesco Olivieri, Erica Calardo, Antonino Rotolo	Sequence Semantics for Norms and Obligations.	DEON	2016	DBLP BibTeX RDF
18	Matthijs H. J. Smakman	Robots and Moral Obligations.	Robophilosophy/TRANSOR	2016	DBLP DOI BibTeX RDF
18	Wolter Pieters, Julian A. Padget, Francien Dechesne, Virginia Dignum, Huib Aldewereld	Effectiveness of qualitative and quantitative security obligations.	J. Inf. Secur. Appl.	2015	DBLP DOI BibTeX RDF
18	Andrey Itkin, Alexander Lipton	Efficient solution of structural default models with correlated jumps and mutual obligations.	Int. J. Comput. Math.	2015	DBLP DOI BibTeX RDF
18	Nicola Zeni, Nadzeya Kiyavitskaya, Luisa Mich, James R. Cordy, John Mylopoulos	GaiusT: supporting the extraction of rights and obligations for regulatory compliance.	Requir. Eng.	2015	DBLP DOI BibTeX RDF
18	Antonio Segura-Serrano	Cybersecurity: Protection of Critical Information Infrastructures and Operators' Obligations.	Eur. J. Law Technol.	2015	DBLP BibTeX RDF
18	Metodi Hadji-Janev	Southeast European(SEE) States' International Legal Rights And Obligations In The Cyberspace.	Terrorist Use of Cyberspace and Cyber Terrorism	2015	DBLP DOI BibTeX RDF
18	Livio Robaldo, Llio Humphreys, Xin Sun 0001, Loredana Cupi, Cristiana Santos, Robert Muthuri	Combining Input/Output Logic and Reification for Representing Real-World Obligations.	JSAI-isAI Workshops	2015	DBLP DOI BibTeX RDF
18	Jason Crampton, Conrad Williams	Obligations in PTaCL.	STM	2015	DBLP DOI BibTeX RDF
18	Martin Johansson, Gabriel Skantze	Opportunities and Obligations to Take Turns in Collaborative Multi-Party Human-Robot Interaction.	SIGDIAL Conference	2015	DBLP DOI BibTeX RDF
18	Fabio Marfia, Nicoletta Fornara, Truc-Vien T. Nguyen	Modeling and Enforcing Semantic Obligations for Access Control.	EUMAS/AT	2015	DBLP DOI BibTeX RDF
18	Kristen Intemann, Inmaculada de Melo-Martín	Are there limits to scientists' obligations to seek and engage dissenters?	Synth.	2014	DBLP DOI BibTeX RDF
18	Carson Grubaugh	The ethical obligations of a banal, content apocalypse.	Kybernetes	2014	DBLP DOI BibTeX RDF
18	Robert Demolombe	Obligations with deadlines: a formalization in Dynamic Deontic Logic.	J. Log. Comput.	2014	DBLP DOI BibTeX RDF
18	Pietro Colombo, Elena Ferrari	Enforcing Obligations within RelationalDatabase Management Systems.	IEEE Trans. Dependable Secur. Comput.	2014	DBLP DOI BibTeX RDF
18	Donia El Kateb, Yehia ElRakaiby, Tejeddine Mouelhi, Iram Rubab, Yves Le Traon	Towards a Full Support of Obligations in XACML.	CRiSIS	2014	DBLP DOI BibTeX RDF
18	Karin Bernsmed, W. Kuan Hon, Christopher Millard	Deploying Medical Sensor Networks in the Cloud - Accountability Obligations from a European Perspective.	IEEE CLOUD	2014	DBLP DOI BibTeX RDF
18	Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami, Monir Azraoui, Kaoutar Elkhiyaoui, Melek Önen, Anderson Santana de Oliveira, Karin Bernsmed	From Regulatory Obligations to Enforceable Accountability Policies in the Cloud.	CLOSER (Selected Papers)	2014	DBLP DOI BibTeX RDF
18	Stephan Reiff-Marganiec, Marcel Tilly, Helge Janicke	Low-Latency Service Data Aggregation Using Policy Obligations.	ICWS	2014	DBLP DOI BibTeX RDF
18	David Delahaye, Catherine Dubois, Claude Marché, David Mentré	The BWare Project: Building a Proof Platform for the Automated Verification of B Proof Obligations.	ABZ	2014	DBLP DOI BibTeX RDF
18	Sylvain Conchon, Mohamed Iguernelala	Tuning the Alt-Ergo SMT Solver for B Proof Obligations.	ABZ	2014	DBLP DOI BibTeX RDF
18	Sara L. Uckelman	Reasoning About Obligations in Obligationes: A Formal Approach.	Advances in Modal Logic	2014	DBLP BibTeX RDF
18	Mustafa Hashmi, Guido Governatori, Moe Thandar Wynn	Modeling Obligations with Event-Calculus.	RuleML	2014	DBLP DOI BibTeX RDF
18	Iram Rubab, Shaukat Ali 0001, Lionel C. Briand, Yves Le Traon	Model-Based Testing of Obligations.	QSIC	2014	DBLP DOI BibTeX RDF
18	Dov M. Gabbay	The Equational Approach to Contrary-to-duty Obligations.	FoIKS	2014	DBLP DOI BibTeX RDF
18	Sandra Alves, Anatoli Degtyarev, Maribel Fernández	Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics.	LOPSTR	2014	DBLP DOI BibTeX RDF
18	Mark Pegrum	Mobile Literacy: - Navigating New Learning Opportunities and Obligations.	ICS	2014	DBLP DOI BibTeX RDF
18	Leendert W. N. van der Torre, Yao-Hua Tan	An Update Semantics for Defeasible Obligations	CoRR	2013	DBLP BibTeX RDF
18	Dov M. Gabbay	Reactive Kripke models and contrary to duty obligations. Part A: Semantics.	J. Appl. Log.	2013	DBLP DOI BibTeX RDF
18	Frédéric Cuppens, Nora Cuppens-Boulahia, Yehia Elrakaiby	Formal specification and management of security policies with collective group obligations.	J. Comput. Secur.	2013	DBLP DOI BibTeX RDF
18	Wolter Pieters, Julian A. Padget, Francien Dechesne, Virginia Dignum, Huib Aldewereld	Obligations to enforce prohibitions: on the adequacy of security policies.	SIN	2013	DBLP DOI BibTeX RDF
18	Karin Bernsmed, Astrid Undheim, Per Håkon Meland, Martin Gilje Jaatun	Towards an Ontology for Cloud Security Obligations.	ARES	2013	DBLP DOI BibTeX RDF
18	Nathalie Baracaldo, James Joshi	Beyond accountability: using obligations to reduce risk exposure and deter insider attacks.	SACMAT	2013	DBLP DOI BibTeX RDF
18	Luiz Carlos Lemos Junior, Simone André da Costa Cavalheiro, Luciana Foss	Theorem Proving Graph Grammars: Strategies for Discharging Proof Obligations.	SBMF	2013	DBLP DOI BibTeX RDF
18	José Sánchez, Gary T. Leavens	Separating Obligations of Subjects and Handlers for More Flexible Event Type Verification.	SC@STAF	2013	DBLP DOI BibTeX RDF
18	Michael B. Gordy, Søren Willemann	Constant Proportion Debt Obligations: A Postmortem Analysis of Rating Models.	Manag. Sci.	2012	DBLP DOI BibTeX RDF
18	Peter Øhrstrøm, Jörg Zeller, Ulrik Sandborg-Petersen	Prior's defence of Hintikka's theorem. A discussion of Prior's 'The logic of obligation and the obligations of the logician'.	Synth.	2012	DBLP DOI BibTeX RDF
18	A. N. Prior	The logic of obligation and the obligations of the logician.	Synth.	2012	DBLP DOI BibTeX RDF
18	Philip Leith	Europe's Information Society project and digital inclusion: universal service obligations or social solidarity?	Int. J. Law Inf. Technol.	2012	DBLP DOI BibTeX RDF
18	Chris Fox	Obligations and Permissions.	Lang. Linguistics Compass	2012	DBLP DOI BibTeX RDF
18	Oleg Travkin, Heike Wehrheim, Gerhard Schellhorn	Proving Linearizability of Multiset with Local Proof Obligations.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2012	DBLP DOI BibTeX RDF
18	Axel Gautier, Xavier Wauthy	Competitively neutral universal service obligations.	Inf. Econ. Policy	2012	DBLP DOI BibTeX RDF
18	Stephan Merz, Hernán Vanzetto	Automatic Verification of TLA + Proof Obligations with SMT Solvers.	LPAR	2012	DBLP DOI BibTeX RDF
18	Ninghui Li, Haining Chen, Elisa Bertino	On practical specification and enforcement of obligations.	CODASPY	2012	DBLP DOI BibTeX RDF
18	Omar Chowdhury, Murillo Pontual, William H. Winsborough, Ting Yu 0001, Keith Irwin, Jianwei Niu 0001	Ensuring authorization privileges for cascading user obligations.	SACMAT	2012	DBLP DOI BibTeX RDF
18	David Mentré, Claude Marché, Jean-Christophe Filliâtre, Masashi Asuka	Discharging Proof Obligations from Atelier B Using Multiple Automated Provers.	ABZ	2012	DBLP DOI BibTeX RDF
18	Sandeep Goyal, Moez Limayem, Fred D. Davis	Unfulfilled Obligations in Recommendation Agent Use.	ICIS	2012	DBLP BibTeX RDF
18	Barbara Thönssen, Jonas Lutz	Semantically Enriched Obligation Management: An Approach for Improving the Handling of Obligations Represented in Contracts.	IC3K	2012	DBLP DOI BibTeX RDF
18	Barbara Thönssen, Jonas Lutz	Semantically Enriched Obligation Management - An Approach for Improving the Handling of Obligations Represented in Contracts.	KMIS	2012	DBLP BibTeX RDF
18	Dov M. Gabbay	Bipolar Argumentation Frames and Contrary to Duty Obligations, Preliminary Report.	CLIMA	2012	DBLP DOI BibTeX RDF
18	Dov M. Gabbay	Temporal Deontic Logic for the Generalised Chisholm Set of Contrary to Duty Obligations.	DEON	2012	DBLP DOI BibTeX RDF
18	Louwe B. Kuijer	Sanction Semantics and Contrary-to-Duty Obligations.	DEON	2012	DBLP DOI BibTeX RDF
18	Liang Chen, Jason Crampton, Martin J. Kollingbaum, Timothy J. Norman	Obligations in risk-aware access control.	PST	2012	DBLP DOI BibTeX RDF
18	Peter F. Linington, Hiroshi Miyazaki, Antonio Vallecillo	Obligations and Delegation in the ODP Enterprise Language.	EDOC Workshops	2012	DBLP DOI BibTeX RDF
18	Paul T. Jaeger, John Carlo Bertot	Responsibility Rolls Down: Public Libraries and the Social and Policy Obligations of Ensuring Access to E-government and Government Information.	Public Libr. Q.	2011	DBLP DOI BibTeX RDF
18	Kay Giesecke, Baeho Kim	Risk Analysis of Collateralized Debt Obligations.	Oper. Res.	2011	DBLP DOI BibTeX RDF
18	Jing Liu, Samik Basu 0001, Robyn R. Lutz	Compositional model checking of software product lines using variation point obligations.	Autom. Softw. Eng.	2011	DBLP DOI BibTeX RDF
18	Yehia Elrakaiby, Frédéric Cuppens, Nora Cuppens-Boulahia	An Integrated Approach for the Enforcement of Contextual Permissions and Pre-Obligations.	Int. J. Mob. Comput. Multim. Commun.	2011	DBLP DOI BibTeX RDF
18	Michael Abraham, Dov M. Gabbay, Uri J. Schild	Obligations and prohibitions in Talmudic deontic logic.	Artif. Intell. Law	2011	DBLP DOI BibTeX RDF
18	Robert Demolombe	Relationships between obligations and actions in the context of institutional agents, human agents or software agents.	Artif. Intell. Law	2011	DBLP DOI BibTeX RDF
18	Stefan Hallerstede	On the purpose of Event-B proof obligations.	Formal Aspects Comput.	2011	DBLP DOI BibTeX RDF
18	John Derrick, Gerhard Schellhorn, Heike Wehrheim	Mechanically verified proof obligations for linearizability.	ACM Trans. Program. Lang. Syst.	2011	DBLP DOI BibTeX RDF
18	Laurent Bussard, Gregory Neven, Franz-Stefan Preiss	Matching Privacy Policies and Preferences: Access Control, Obligations, Authorisations, and Downstream Usage.	Privacy and Identity Management for Life	2011	DBLP DOI BibTeX RDF
18	Stephan Merz, Hernán Vanzetto	Towards certification of TLA+ proof obligations with SMT solvers.	PxTP	2011	DBLP BibTeX RDF
18	Meriam Ben-Ghorbel-Talbi, Frédéric Cuppens, Nora Cuppens-Boulahia, Daniel Le Métayer, Guillaume Piolle	Delegation of Obligations and Responsibility.	SEC	2011	DBLP DOI BibTeX RDF
18	Yunpeng Sun, Rafael Mendoza-Arriaga, Vadim Linetsky	Valuation of collateralized debt obligations in a multivariate subordinator model.	WSC	2011	DBLP DOI BibTeX RDF
18	Silvia Ingolfo, John Mylopoulos, Anna Perini, Alberto Siena, Angelo Susi	Nòmos: from Strategic Dependencies to Obligations.	iStar	2011	DBLP BibTeX RDF
18	Loizos Michael, David C. Parkes, Avi Pfeffer	Specifying and monitoring economic environments using rights and obligations.	Auton. Agents Multi Agent Syst.	2010	DBLP DOI BibTeX RDF
18	Yongjun Xiao, Kevin M. Taaffe	Satisfying market demands with delivery obligations or delivery charges.	Comput. Oper. Res.	2010	DBLP DOI BibTeX RDF
18	Meriam Ben-Ghorbel-Talbi, Frédéric Cuppens, Nora Cuppens-Boulahia	Negotiating and delegating obligations.	MEDES	2010	DBLP DOI BibTeX RDF
18	David Déharbe	Automatic Verification for a Class of Proof Obligations with SMT-Solvers.	ASM	2010	DBLP DOI BibTeX RDF
18	Michael Abraham, Dov M. Gabbay, Uri J. Schild	Obligations and Prohibitions in Talmudic Deontic Logic.	DEON	2010	DBLP DOI BibTeX RDF
18	Yumi Oum, Shmuel S. Oren	VaR constrained hedging of fixed price load-following obligations in competitive electricity markets.	Risk Decis. Anal.	2009	DBLP DOI BibTeX RDF
18	Robert Demolombe, Pilar Pozos Parra	Integrating State Constraints and Obligations in Situation Calculus.	Inteligencia Artif.	2009	DBLP BibTeX RDF
18	Ian Reay, Scott Dick, James Miller 0001	A large-scale empirical study of P3P privacy policies: Stated actions vs. legal obligations.	ACM Trans. Web	2009	DBLP DOI BibTeX RDF	legislation and enforcement, electronic commerce, Privacy protection, P3P
18	Yuyue Du, Changjun Jiang, MengChu Zhou	A Petri Net-Based Model for Verification of Obligations and Accountability in Cooperative Systems.	IEEE Trans. Syst. Man Cybern. Part A	2009	DBLP DOI BibTeX RDF
18	Uche M. Mbanaso, G. S. Cooper, David W. Chadwick, Anne Anderson	Obligations of trust for privacy and confidentiality in distributed transactions.	Internet Res.	2009	DBLP DOI BibTeX RDF
18	F. Mirabel, J.-C. Poudou, M. Roland	Universal service obligations: The role of subsidization schemes.	Inf. Econ. Policy	2009	DBLP DOI BibTeX RDF