Search results for "obligations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
118	Maria Fasli	On Obligations, Relativised Obligations, and Bilateral Commitments.	AI	2001	DBLP DOI BibTeX RDF
106	Yuri Demchenko, Oscar Koeroo, Cees de Laat, Håkon Sagehaug	Extending XACML authorisation model to support policy obligations handling in distributed application.	MGC	2008	DBLP DOI BibTeX RDF	complex resource provisioning, generic AAA authorisation framework, policy obligations, reference model for policy obligations handling, XACML
100	Wihem Arsac, Luca Compagna, Samuel Paul Kaluvuri, Serena Elisa Ponta	Security validation tool for business processes.	SACMAT	2011	DBLP DOI BibTeX RDF
91	Laurence Cholvy, Christophe Garion	Deriving individual obligations from collective obligations.	AAMAS	2003	DBLP DOI BibTeX RDF	multiagent systems, modal logic, deontic logic
91	Maria Fasli	On Commitments, Roles, and Obligations.	CEEMAS	2001	DBLP DOI BibTeX RDF
64	Jan M. Broersen, Leendert W. N. van der Torre	Reasoning about Norms, Obligations, Time and Agents.	PRIMA	2007	DBLP DOI BibTeX RDF
64	Adam Zachary Wyner	Sequences, Obligations, and the Contrary-to-Duty Paradox.	DEON	2006	DBLP DOI BibTeX RDF
64	Rema Ananthanarayanan, Mukesh K. Mohania, Ajay Gupta 0004	Management of Conflicting Obligations in Self-Protecting Policy-Based Systems.	ICAC	2005	DBLP DOI BibTeX RDF
64	Marco Casassa Mont	Dealing with Privacy Obligations: Important Aspects and Technical Approaches.	TrustBus	2004	DBLP DOI BibTeX RDF
58	Claudio Bettini, Sushil Jajodia, Xiaoyang Sean Wang, Duminda Wijesekera	Reasoning with advanced policy rules and its application to access control.	Int. J. Digit. Libr.	2004	DBLP DOI BibTeX RDF	Policy rule evaluation, Access control, Policies, Provisions, Obligations
55	Stefan Hallerstede	On the Purpose of Event-B Proof Obligations.	ABZ	2008	DBLP DOI BibTeX RDF
55	Travis D. Breaux, Matthew W. Vail, Annie I. Antón	Towards Regulatory Compliance: Extracting Rights and Obligations to Align Requirements with Regulations.	RE	2006	DBLP DOI BibTeX RDF
55	Adam Zachary Wyner	Maintaining Obligations on Stative Expressions in a Deontic Action Logic.	DEON	2004	DBLP DOI BibTeX RDF
55	Andreas Schaad, Jonathan D. Moffett	Delegation of Obligations.	POLICY	2002	DBLP DOI BibTeX RDF
49	Lalana Kagal, Tim Finin	Modeling conversation policies using permissions and obligations.	Auton. Agents Multi Agent Syst.	2007	DBLP DOI BibTeX RDF	Conversation policy, Conversation specifications, Speech act ontology, Agent communication, Permissions, Obligations, Ontology languages
49	Darren Skidmore	Stakeholder value, usage, needs and obligations from differnet types of F/LOSS licenses. (PDF / PS)	OSS	2007	DBLP DOI BibTeX RDF	F/LOSS, Value, Licenses, Usage, Obligations, Stakeholder analysis
49	Keith Irwin, Ting Yu 0001, William H. Winsborough	On the modeling and analysis of obligations.	CCS	2006	DBLP DOI BibTeX RDF	policy, obligations
48	Murillo Pontual, Omar Chowdhury, William H. Winsborough, Ting Yu 0001, Keith Irwin	Toward practical authorization-dependent user obligation systems.	AsiaCCS	2010	DBLP DOI BibTeX RDF	RBAC, policy, accountability, obligations, authorization systems
46	Uche M. Mbanaso, G. S. Cooper, David W. Chadwick, Anne Anderson	Obligations for Privacy and Confidentiality in Distributed Transactions.	EUC Workshops	2007	DBLP DOI BibTeX RDF
46	Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi	Obligations and Their Interaction with Programs.	ESORICS	2007	DBLP DOI BibTeX RDF
46	Gansen Zhao, David W. Chadwick, Sassa Otenko	Obligations for Role Based Access Control.	AINA Workshops (1)	2007	DBLP DOI BibTeX RDF
46	Jan M. Broersen, Julien Brunel	'What I Fail to Do Today, I Have to Do Tomorrow': A Logical Study of the Propagation of Obligations.	CLIMA	2007	DBLP DOI BibTeX RDF
46	Shmuel Katz, Awais Rashid	From Aspectual Requirements to Proof Obligations for Aspect-Oriented Systems.	RE	2004	DBLP DOI BibTeX RDF
46	Loizos Michael, David C. Parkes, Avi Pfeffer	Specifying and Monitoring Market Mechanisms Using Rights and Obligations.	AMEC	2004	DBLP DOI BibTeX RDF
46	Murali Rangarajan, Perry Alexander, Nael B. Abu-Ghazaleh	Using Automatable Proof Obligations for Component-Based Design Checking.	ECBS	1999	DBLP DOI BibTeX RDF	Design Checking, Formal Verification, PVS, Compositional Analysis
45	Qun Ni, Elisa Bertino, Jorge Lobo 0001	An obligation model bridging access control policies and privacy policies.	SACMAT	2008	DBLP DOI BibTeX RDF	privacy, role based access control, policy, obligation
45	Andreas Schaad	Revocation of Obligation and Authorisation Policy Objects.	DBSec	2005	DBLP DOI BibTeX RDF
45	Mark A. Brown	Obligation, Contracts, and Negotiation.	DEON	2004	DBLP DOI BibTeX RDF
39	Alberto Coen-Porisini, Richard A. Kemmerer, Dino Mandrioli	A Formal Framework for ASTRAL Intralevel Proof Obligations.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	intralevel proof obligations, formal software development, mathematical correctness, ASLAN, TRIO, real-time systems, real-time systems, verification, formal specification, formal specification, formal methods, finite state machines, program verification, specification languages, state machines, formal specification language, formal proof, timing requirements, ASTRAL
39	Aspassia Daskalopulu	Modeling Legal Contracts as Processes.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	legal contract modelling, contract drafting, contract performance monitoring, contractual obligations, processes, contracts
36	Timothée Martinod	Étude de complexité algorithmique pour des problèmes de domination et de tournées dans les graphes avec obligations. (Algorithmic complexity study for domination and routing problems in graphs with obligations).		2023	RDF
36	Christophe Garion, Laurence Cholvy	Deriving individual obligations from collective obligations.	Normative Multi-agent Systems	2007	DBLP BibTeX RDF
36	Loes Olde Loohuis	Obligations in a Responsible World.	LORI	2009	DBLP DOI BibTeX RDF
36	Henrique Lopes Cardoso, Eugénio C. Oliveira	Flexible deadlines for directed obligations in agent-based business contracts.	AAMAS (2)	2009	DBLP BibTeX RDF	normative behavior, contract, norms, deadline
36	Meriam Ben-Ghorbel-Talbi, Frédéric Cuppens, Nora Cuppens-Boulahia, Adel Bouhoula	An Extended Role-Based Access Control Model for Delegating Obligations.	TrustBus	2009	DBLP DOI BibTeX RDF
36	Jan M. Broersen, Julien Brunel	Preservation of obligations in a temporal and deontic framework.	AAMAS	2007	DBLP DOI BibTeX RDF	temporal logic, product, deontic logic
36	Guido Boella, Leendert W. N. van der Torre	An architecture of a normative system: counts-as conditionals, obligations and permissions.	AAMAS	2006	DBLP DOI BibTeX RDF	MAS theory, normative multi-agent systems, normative systems
36	Marco Casassa Mont	Towards Scalable Management of Privacy Obligations in Enterprises.	TrustBus	2006	DBLP DOI BibTeX RDF
36	Manuel Hilty, David A. Basin, Alexander Pretschner	On Obligations.	ESORICS	2005	DBLP DOI BibTeX RDF
36	Gilles Barthe, Tamara Rezk, Ando Saabas	Proof Obligations Preserving Compilation.	Formal Aspects in Security and Trust	2005	DBLP DOI BibTeX RDF
36	Davide Grossi, Frank Dignum, Lambèr M. M. Royakkers, John-Jules Ch. Meyer	Collective Obligations and Agents: Who Gets the Blame?	DEON	2004	DBLP DOI BibTeX RDF
36	Wojciech Jamroga, Wiebe van der Hoek, Michael J. Wooldridge	On Obligations and Abilities.	DEON	2004	DBLP DOI BibTeX RDF	alternating-time logic, multi-agent systems, deontic logic
36	Guido Boella, Leendert W. N. van der Torre	Obligations as Social Constructs.	AI*IA	2003	DBLP DOI BibTeX RDF
36	Lambèr M. M. Royakkers, Frank Dignum	Organizations and Collective Obligations.	DEXA	2000	DBLP DOI BibTeX RDF
36	Frank Dignum, Ruurd Kuiper 0001	Obligations and Dense Time for Specifying Deadlines.	HICSS (5)	1998	DBLP DOI BibTeX RDF
36	Cliff B. Jones	VDM Proof Obligations and their Justification.	VDM Europe	1987	DBLP DOI BibTeX RDF
36	Guido Boella, Leendert W. N. van der Torre	A Logical Architecture of a Normative System.	DEON	2006	DBLP DOI BibTeX RDF
36	Jan M. Broersen	Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm's Scenario.	DEON	2006	DBLP DOI BibTeX RDF
36	Guido Governatori, Zoran Milosevic	Dealing with contract violations: formalism and domain specific language.	EDOC	2005	DBLP DOI BibTeX RDF
36	Jaehong Park, Ravi S. Sandhu	The UCONABC usage control model.	ACM Trans. Inf. Syst. Secur.	2004	DBLP DOI BibTeX RDF	privacy, access control, trust, digital rights management, usage control
30	David W. Chadwick, Kaniz Fatema	An advanced policy based authorisation infrastructure.	Digital Identity Management	2009	DBLP DOI BibTeX RDF	application independent pep, credential validation service, master pdp, obligations service, pdp, pep, sticky policy
30	Tiago de Lima, Lambèr M. M. Royakkers, Frank Dignum	Behaving responsible in multi-agent worlds.	AAMAS (2)	2009	DBLP BibTeX RDF	responsibility, deontic logic, obligations
30	Albert J. J. Anglberger	Dynamic Deontic Logic and its Paradoxes.	Stud Logica	2008	DBLP DOI BibTeX RDF	dynamic deontic logic, PDeL, Chisholm’s paradox, contrary to duty obligations
30	Diresh Jewan, Renkuan G. Guo, Gareth Witten	Expected Tail Loss Efficient Frontiers for CDOS of Bespoke Portfolios Under One-Factor Copula Marginal Distributions.	World Congress on Engineering (Selected Papers)	2008	DBLP DOI BibTeX RDF	Collateralized Debt Obligations, Expected Tail Loss, Efficient Frontiers, Bespoke Portfolio, One-Factor Copula Marginal Distribution
30	Richard Banach	Model Based Refinement and the Tools of Tomorrow.	ABZ	2008	DBLP DOI BibTeX RDF	Configurable Proof Obligations, Verification Grand Challenge, Refinement, Tools, Model Based Development
30	José Nuno Oliveira	Extended Static Checking by Calculation Using the Pointfree Transform.	LerNet ALFA Summer School	2008	DBLP DOI BibTeX RDF	formal methods, Theoretical foundations, proof obligations, extended static checking
30	Richard A. Guedj	Law and regulation to include elderly in innovations stream.	Workshop on Universal Accessibility of Ubiquitous Computing	2001	DBLP DOI BibTeX RDF	enhanced services, incentives and obligations, patent law, principles (to base universal service), universal service, ubiquitous computing, universal access, regulation, law, elderly people, intellectual property rights, technological innovations
30	Luong T. Nguyen, Liping Zhao 0001, Bill Appelbe	A Set Approach to Role Modeling.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	set approach, role modeling techniques, role description, role binding, role constraints, set inclusion, role specialisation, role compositions, part role, set notation, dynamic description, class/role relationships, class/role structures, Object-Z-like notation, system obligations, Petri net transitions, objects/role instances, system operations, formal specification, formal method, Petri nets, object-oriented programming, object-oriented methods, set theory, EMS, graphic notations, dynamic aspects, set operations, set intersection, formal notation, set union, set unions, set difference
30	Emil Lupu, Morris Sloman, Naranker Dulay, Nicodemos Damianou	Ponder: Realising Enterprise Viewpoint Concepts.	EDOC	2000	DBLP DOI BibTeX RDF	distributed object enterprise concepts, enterprise viewpoint concepts, Ponder language, prohibitions, nested communities, mobile telecommunication network, specification, declarative language, permissions, obligations, business communication, language constructs
30	Adel Bouhoula, Jean-Pierre Jouannaud	Automata-Driven Automated Induction.	LICS	1997	DBLP DOI BibTeX RDF	automata-driven automated induction, inductive theorem proving, first-order functions, finitely many unary membership predicates, rational subsets, ground reducibility, inductive prover, theorem proving, tree automata, Horn Clauses, proof obligations
30	Theodosis Dimitrakos, T. S. E. Maibaum	Notes on Refinement, Interpolation and Uniformity.	ASE	1997	DBLP DOI BibTeX RDF	step-wise refinement, modularity properties, logic-independent framework, uniform interpolants, specification formalism orthogonal expansion, software maintenance, interpolation, uniformity, program development, proof obligations
27	Murillo Pontual, Omar Chowdhury, William H. Winsborough, Ting Yu 0001, Keith Irwin	On the management of user obligations.	SACMAT	2011	DBLP DOI BibTeX RDF
27	Antti Salovaara	Struggling with gift-giving obligations: when mobile messages are too laborious to reciprocate.	BCS HCI (2)	2008	DBLP DOI BibTeX RDF	gift-giving, non-appropriation, messaging, mobile multimedia
27	Nadzeya Kiyavitskaya, Nicola Zeni, Travis D. Breaux, Annie I. Antón, James R. Cordy, Luisa Mich, John Mylopoulos	Automating the Extraction of Rights and Obligations for Regulatory Compliance.	ER	2008	DBLP DOI BibTeX RDF
27	Gilles Barthe, Benjamin Grégoire, Mariela Pavlova	Preservation of Proof Obligations from Java to the Java Virtual Machine.	IJCAR	2008	DBLP DOI BibTeX RDF
27	J. Octavio Gutiérrez-García, Jean-Luc Koning, Félix F. Ramos Corchado	From Obligations to Organizational Structures in Multi-Agent Systems.	PRIMA	2008	DBLP DOI BibTeX RDF	Multi-agent systems, interaction protocols, social norms
27	Guillaume Piolle, Yves Demazeau	Obligations with Deadlines and Maintained Interdictions in Privacy Regulation Frameworks.	IAT	2008	DBLP DOI BibTeX RDF
27	Dov M. Gabbay	Reactive Kripke Models and Contrary to Duty Obligations.	DEON	2008	DBLP DOI BibTeX RDF
27	Susana Alcalde Bagüés, Jelena Mitic, Andreas Zeidler, Marta Tejada, Ignacio R. Matías, Carlos Fernández-Valdivielso	Obligations: Building a Bridge between Personal and Enterprise Privacy in Pervasive Computing.	TrustBus	2008	DBLP DOI BibTeX RDF
27	Innar Liiv, Anton Vedeshin, Ermo Täks	Visualization and structure analysis of legislative acts: a case study on the law of obligations.	ICAIL	2007	DBLP DOI BibTeX RDF
27	Nadzeya Kiyavitskaya, Nicola Zeni, Travis D. Breaux, Annie I. Antón, James R. Cordy, Luisa Mich, John Mylopoulos	Extracting rights and obligations from regulations: toward a tool-supported process.	ASE	2007	DBLP DOI BibTeX RDF	regulation compliance, tool support, privacy requirements
27	Simon Fraser, Richard Banach	Configurable Proof Obligations in the Frog Toolkit.	SEFM	2007	DBLP DOI BibTeX RDF
27	Stijn Goedertier, Jan Vanthienen	Designing Compliant Business Processes with Obligations and Permissions.	Business Process Management Workshops	2006	DBLP DOI BibTeX RDF
27	Barteld P. Kooi, Allard M. Tamminga	Conflicting Obligations in Multi-agent Deontic Logic.	DEON	2006	DBLP DOI BibTeX RDF
27	Travis D. Breaux, Annie I. Antón	Analyzing Goal Semantics for Rights, Permissions, and Obligations.	RE	2005	DBLP DOI BibTeX RDF
27	Guido Boella, Leendert W. N. van der Torre	Fulfilling or Violating Obligations in Normative Multiagent Systems.	IAT	2004	DBLP DOI BibTeX RDF
27	Lalana Kagal, Timothy W. Finin	Modeling Communicative Behavior Using Permissions and Obligations.	AC	2004	DBLP DOI BibTeX RDF
27	William J. Morokoff	Simulation methodology for collateralized debt and real options: simulation methods for risk analysis of collateralized debt obligations.	WSC	2003	DBLP DOI BibTeX RDF
27	Márcio Mourão, Pedro Madeira, Nuno J. Mamede	Interpretations and Discourse Obligations in a Dialog System.	PROPOR	2003	DBLP DOI BibTeX RDF
27	Alan S. Abrahams, David M. Eyers, Jean Bacon	An asynchronous rule-based approach for business process automation using obligations.	ACM SIGPLAN Workshop on Rule-Based Programming	2002	DBLP DOI BibTeX RDF	policies, contracts, conflict resolution, conflict detection
27	Jan M. Broersen, Mehdi Dastani, Joris Hulstijn, Zhisheng Huang, Leendert W. N. van der Torre	The BOID architecture: conflicts between beliefs, obligations, intentions and desires.	Agents	2001	DBLP DOI BibTeX RDF
27	Jan M. Broersen, Mehdi Dastani, Leendert W. N. van der Torre	Resolving Conflicts between Beliefs, Obligations, Intentions, and Desires.	ECSQARU	2001	DBLP DOI BibTeX RDF
27	Yao-Hua Tan, Walter Thoen	Modeling the Dynamics of Transferable Obligations in Business Procedures.	HICSS (4)	1997	DBLP DOI BibTeX RDF
27	Cliff B. Jones	The Role of Proof Obligations in Software Design.	TAPSOFT, Vol.2	1985	DBLP DOI BibTeX RDF
27	Travis D. Breaux, Annie I. Antón	Analyzing Regulatory Rules for Privacy and Security Requirements.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF	Legal Aspects of Computing, Requirements/Specifications, Security and Privacy Protection
27	Guido Boella, Leendert W. N. van der Torre	Institutions with a hierarchy of authorities in distributed dynamic environments.	Artif. Intell. Law	2008	DBLP DOI BibTeX RDF	Institutions, Permissions, Normative systems
27	Westley Weimer, George C. Necula	Exceptional situations and program reliability.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	compensating transactions, linear sagas, linear types, resource management, Error handling
27	John McCarthy 0001	Elephant 2000: a programming language based on speech acts.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	verification, logic, speech acts
27	Ninh-Thuan Truong, Viet Ha Nguyen 0001	Using B to Verify the Weaving of Aspects.	APSEC	2007	DBLP DOI BibTeX RDF
27	Judi Romijn, Wieger Wesselink, Arjan J. Mooij	Assertion-Based Proof Checking of Chang-Roberts Leader Election in PVS.	ATVA	2007	DBLP DOI BibTeX RDF
27	Tal Lev-Ami, Christoph Weidenbach, Thomas W. Reps, Mooly Sagiv	Labelled Clauses.	CADE	2007	DBLP DOI BibTeX RDF
27	Adam Zachary Wyner	A Functional Program for Agents, Actions, and Deontic Specifications.	DALT	2006	DBLP DOI BibTeX RDF
27	José Carmo	Roles, Counts-as and Deontic and Action Logics.	DEON	2006	DBLP DOI BibTeX RDF
27	Frédéric Cuppens, Nora Cuppens-Boulahia, Thierry Sans	Nomad: A Security Model with Non Atomic Actions and Deadlines.	CSFW	2005	DBLP DOI BibTeX RDF
27	Guido Boella, Leendert W. N. van der Torre	Normative Multiagent Systems and Trust Dynamics.	Trusting Agents for Trusting Electronic Societies	2004	DBLP DOI BibTeX RDF
27	Ravi S. Sandhu, Jaehong Park	Usage Control: A Vision for Next Generation Access Control.	MMM-ACNS	2003	DBLP DOI BibTeX RDF
27	Günter Karjoth, Matthias Schunter	A Privacy Policy Model for Enterprises.	CSFW	2002	DBLP DOI BibTeX RDF
27	Héctor Ruíz Barradas, Didier Bert	Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems.	IFM	2002	DBLP DOI BibTeX RDF
27	Claudio Bettini, Sushil Jajodia, Xiaoyang Sean Wang, Duminda Wijesekera	Obligation Monitoring in Policy Management.	POLICY	2002	DBLP DOI BibTeX RDF
27	Frank Dignum, David N. Morley, Liz Sonenberg, Lawrence Cavedon	Towards Socially Sophisticated BDI Agents.	ICMAS	2000	DBLP DOI BibTeX RDF