Search results for "obligation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Paul McNamara	Praise, Blame, Obligation, and Beyond: Toward a Framework for Classical Supererogation and Kin.	DEON	2008	DBLP DOI BibTeX RDF	Supererogation, Offense, Praise, Blame, Aretaic, Deontic, Indifferent, Obligation, Neutral
3	Qun Ni, Elisa Bertino, Jorge Lobo	An obligation model bridging access control policies and privacy policies.	SACMAT	2008	DBLP DOI BibTeX RDF	privacy, role based access control, policy, obligation
3	Zhicheng Wen, Huaikou Miao, Hongwei Zeng	Generating Proof Obligation to Verify Object-Z Specification.	ICSEA	2006	DBLP DOI BibTeX RDF	formal specification, Object-Z, proof obligation
2	Yehia Elrakaiby, Frédéric Cuppens, Nora Cuppens-Boulahia	From Contextual Permission to Dynamic Pre-obligation: An Integrated Approach.	ARES	2010	DBLP DOI BibTeX RDF	Pre-obligation, security policies, policy management
2	Murillo Pontual, Omar Chowdhury, William H. Winsborough, Ting Yu, Keith Irwin	Toward practical authorization-dependent user obligation systems.	ASIACCS	2010	DBLP DOI BibTeX RDF	RBAC, policy, accountability, obligations, authorization systems
2	Jan Broersen	A Logical Analysis of the Interaction between 'Obligation-to-do' and 'Knowingly Doing'.	DEON	2008	DBLP DOI BibTeX RDF
2	Joris Hulstijn	Need to Know: Questions and the Paradox of Epistemic Obligation.	DEON	2008	DBLP DOI BibTeX RDF
2	Michael Gelfond, Jorge Lobo	Authorization and Obligation Policies in Dynamic Systems.	ICLP	2008	DBLP DOI BibTeX RDF
2	Xavier Parent	On the Strong Completeness of Åqvist's Dyadic Deontic Logic G.	DEON	2008	DBLP DOI BibTeX RDF	Conditional obligation, preference-based semantics, DSDL3, strong completeness
2	Guido Governatori, Antonino Rotolo	BIO logical agents: Norms, beliefs, intentions in defeasible logic.	Autonomous Agents and Multi-Agent Systems	2008	DBLP DOI BibTeX RDF	Intention and obligation, Agent types, Computational complexity, Social agents, Defeasible logic
2	Zhen Liu, Anand Ranganathan, Anton Riabov	Specifying and Enforcing High-Level Semantic Obligation Policies.	POLICY	2007	DBLP DOI BibTeX RDF
2	Marco Casassa Mont, Filipe Beato	On Parametric Obligation Policies: Enabling Privacy-Aware Information Lifecycle Management in Enterprises.	POLICY	2007	DBLP DOI BibTeX RDF
2	Zheng-guang Wang, Xiaohui Liang, Qinping Zhao	Commitment and Obligation Based on Utility in Agent Organization.	IEEE ICCI	2006	DBLP DOI BibTeX RDF
2	Guido Governatori, Antonino Rotolo, Vineet Padmanabhan	The cost of social agents.	AAMAS	2006	DBLP DOI BibTeX RDF	computational complexity, intention, social agents, obligation, defeasible logic
2	John Sören Pettersson, Simone Fischer-Hübner, Marco Casassa Mont, Siani Pearson	How ordinary internet users can have a chance to influence privacy policies.	NordiCHI	2006	DBLP DOI BibTeX RDF	obligation management, user interfaces, privacy policy
2	Marco Casassa Mont, Robert Thyne	A Systemic Approach to Automate Privacy Policy Enforcement in Enterprises.	Privacy Enhancing Technologies	2006	DBLP DOI BibTeX RDF	privacy-aware access control, obligation management, privacy, identity management, policy enforcement
2	Pedro Gama, Paulo Ferreira	Obligation Policies: An Enforcement Platform.	POLICY	2005	DBLP DOI BibTeX RDF
2	Guido Boella, Joris Hulstijn, Yao-Hua Tan, Leendert van der Torre	Modeling Control Mechanisms with Normative Multiagent Systems: The Case of the Renewables Obligation.	AAMAS Workshops	2005	DBLP DOI BibTeX RDF
2	Andreas Schaad	Revocation of Obligation and Authorisation Policy Objects.	DBSec	2005	DBLP DOI BibTeX RDF
2	Mark A. Brown	Obligation, Contracts, and Negotiation.	DEON	2004	DBLP DOI BibTeX RDF
2	Robert Demolombe, Andreas Herzig	Obligation Change in Dependence Logic and Situation Calculus.	DEON	2004	DBLP DOI BibTeX RDF
2	Guido Governatori, Antonino Rotolo	Defeasible Logic: Agency, Intention and Obligation.	DEON	2004	DBLP DOI BibTeX RDF
2	Lennart Åqvist	Combinations of Tense and Deontic Modality.	DEON	2004	DBLP DOI BibTeX RDF	temporal realization operators, historical necessity, conditional obligation, finite two-dimensional co-ordinate system, frame constants
2	Vandana Kabilan, Paul Johannesson, Dickson M. Rugaimukamu	Business Contract Obligation Monitoring through Use of Multi Tier Contract Ontology.	OTM Workshops	2003	DBLP DOI BibTeX RDF
2	Heiko Ludwig, Markus Stolze	Simple Obligation and Right Model (SORM) - for the Runtime Management of Electronic Service Contracts.	WES	2003	DBLP DOI BibTeX RDF
2	Carlos Ribeiro, Andre Zuquete, Paulo Ferreira	Enforcing Obligation with Security Monitors.	ICICS	2001	DBLP DOI BibTeX RDF
2	Emil Lupu, Morris Sloman	Conflicts in Policy-Based Distributed Systems Management.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	Obligation policy, meta-policy, management roles, conflict resolution, authorization policy, policy conflict
2	Bernhard K. Aichernig, Peter Gorm Larsen	A Proof Obligation Generator for VDM-SL.	FME	1997	DBLP DOI BibTeX RDF
2	T. F. Himdi, Ravi S. Sandhu	Lattice Based Models for Controlled Sharing of Confidential Information in the Saudi Hajj System.	ACSAC	1997	DBLP DOI BibTeX RDF	lattice based models, controlled sharing, confidential information, Saudi Hajj system, pilgrimage, annual event, Saudi Arabia, government ministries, trusted environment, Saudi ministries, no obligation access security, Chinese Wall security, information flow policy, interoperability, confidentiality, data sharing, security requirements, security requirement, government data processing, shared data, multi level security
2	Nicholas Yialelis, Emil Lupu, Morris Sloman	Role-based security for distributed object systems. (PDF / PS)	WETICE	1996	DBLP DOI BibTeX RDF	role based security, multi organisational enterprise, role framework, obligation policies, domain based authentication service, replicated servers, minimal state, access control, distributed processing, role based access control, security policies, authorisation, security architecture, distributed object systems, access rights, symmetric cryptography, security agents
2	Janice I. Glasgow, Glenn H. MacEwen, Prakash Panangaden	A Logic for Reasoning About Security.	ACM Trans. Comput. Syst.	1992	DBLP DOI BibTeX RDF	composition knowledge, security, integrity, policy, time, logic, secrecy, permission, obligation, possible-worlds
2	A. J. I. Jones	On the Relationship Between Permission and Obligation.	ICAIL	1987	DBLP DOI BibTeX RDF
1	J. Octavio Gutiérrez-García, Félix F. Ramos Corchado, Jean-Luc Koning	An obligation-based framework for web service composition via agent conversations.	Web Intelligence and Agent Systems	2012	DBLP DOI BibTeX RDF
1	Yehia Elrakaiby, Frédéric Cuppens, Nora Cuppens-Boulahia	Formal enforcement and management of obligation policies.	Data Knowl. Eng.	2012	DBLP DOI BibTeX RDF
1	Gustavo Bergantiños, Leticia Lorenzo, Silvia Lorenzo-Freire	A generalization of obligation rules for minimum cost spanning tree problems.	European Journal of Operational Research	2011	DBLP DOI BibTeX RDF
1	Paul McNamara	Praise, blame, obligation, and DWE: Toward a framework for classical supererogation and kin.	J. Applied Logic	2011	DBLP DOI BibTeX RDF
1	Marco Casassa Mont	Privacy Models and Languages: Obligation Policies.	Digital Privacy - PRIME	2011	DBLP DOI BibTeX RDF
1	Nir Piterman	p-Automata and Obligation Games.	TIME	2011	DBLP DOI BibTeX RDF
1	John P. Field, Stephen G. Graham, Tom Maguire	A framework for obligation fulfillment in REST services.	WS-REST	2011	DBLP DOI BibTeX RDF
1	Wihem Arsac, Luca Compagna, Samuel Paul Kaluvuri, Serena Elisa Ponta	Security validation tool for business processes.	SACMAT	2011	DBLP DOI BibTeX RDF
1	Murillo Pontual, Omar Chowdhury, William H. Winsborough, Ting Yu, Keith Irwin	On the management of user obligations.	SACMAT	2011	DBLP DOI BibTeX RDF
1	Gustavo Bergantiños, Anirban Kar	On obligation rules for minimum cost spanning tree problems.	Games and Economic Behavior	2010	DBLP DOI BibTeX RDF
1	Bastin Tony Roy Savarimuthu, Stephen Cranefield, Maryam Purvis, Martin K. Purvis	Obligation Norm Identification in Agent Societies.	J. Artificial Societies and Social Simulation	2010	DBLP BibTeX RDF
1	Jacob Ross	The Irreducibility of Personal Obligation.	J. Philosophical Logic	2010	DBLP DOI BibTeX RDF
1	Tim French, John Christopher McCabe-Dansted, Mark Reynolds	Axioms for Obligation and Robustness with Temporal Logic.	DEON	2010	DBLP DOI BibTeX RDF
1	Mario Lischka	Dynamic obligation specification and negotiation.	NOMS	2010	DBLP DOI BibTeX RDF
1	Augusto Ribeiro, Peter Gorm Larsen	Proof Obligation Generation and Discharging for Recursive Definitions in VDM.	ICFEM	2010	DBLP DOI BibTeX RDF
1	Murillo Pontual, Keith Irwin, Omar Chowdhury, William H. Winsborough, Ting Yu	Failure Feedback for User Obligation Systems.	SocialCom/PASSAT	2010	DBLP DOI BibTeX RDF
1	Dharmendra P. Gupta, Paul Chow	Acceleration of an analytical approach to collateralized debt obligation pricing.	FPGA	2010	DBLP DOI BibTeX RDF	cdo, financial simulation
1	Bastin Tony Roy Savarimuthu, Stephen Cranefield, Maryam Purvis, Martin K. Purvis	A Data Mining Approach to Identify Obligation Norms in Agent Societies.	ADMI	2010	DBLP DOI BibTeX RDF
1	Nathan G. Freier, Aude Billard, Hiroshi Ishiguro, Illah R. Nourbakhsh	Panel 2: social responsibility in human-robot interaction.	HRI	2010	DBLP DOI BibTeX RDF
1	Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Murray	Receding horizon control for temporal logic specifications.	HSCC	2010	DBLP DOI BibTeX RDF	embedded control software, receding horizon control, linear temporal logic
1	Luis G. Martínez, Guillermo Licea, Antonio Rodríguez Díaz, Juan R. Castro	Experiences in software engineering courses using psychometrics with RAMSET.	ITiCSE	2010	DBLP DOI BibTeX RDF	software engineering, personality, empirical research, psychometrics
1	Zhen Liu, Anand Ranganathan, Anton Riabov	Specifying and enforcing high-level semantic obligation policies.	J. Web Sem.	2009	DBLP DOI BibTeX RDF
1	J. Octavio Gutiérrez-García, Jean-Luc Koning, Félix F. Ramos Corchado	An Obligation Approach for Exception Handling in Interaction Protocols.	Web Intelligence/IAT Workshops	2009	DBLP DOI BibTeX RDF
1	J. Octavio Gutiérrez-García, Félix F. Ramos Corchado, Jean-Luc Koning	Obligation-Based Agent Conversations for Semantic Web Service Composition.	Web Intelligence	2009	DBLP DOI BibTeX RDF
1	Paul T. Groth	Exposing Privacy Obligation Policies in Social Networking Sites.	AAAI Spring Symposium: Social Semantic Web: Where Web 2.0 Meets Web 3.0	2009	DBLP BibTeX RDF
1	Muhammad Ali, Laurent Bussard, Ulrich Pinsdorf	Obligation Language and Framework to Enable Privacy-Aware SOA.	DPM/SETOP	2009	DBLP DOI BibTeX RDF
1	Rüdiger Grimm	A Formal IT-Security Model for a Weak Fair-Exchange Cooperation with Non-repudiation Proofs.	SECURWARE	2009	DBLP DOI BibTeX RDF	IT-security model, secure state, trust model, non-repudiation, fair exchange, obligation, transition rule
1	Margit Biemans, Betsy van Dijk, Pavan Dadlani, Aart van Halteren	Let's stay in touch: sharing photos for restoring social connectedness between rehabilitants, friends and family.	ASSETS	2009	DBLP DOI BibTeX RDF	social connectedness, rehabilitation, photo sharing
1	Henrique Lopes Cardoso, Eugénio C. Oliveira	Flexible deadlines for directed obligations in agent-based business contracts.	AAMAS	2009	DBLP DOI BibTeX RDF	normative behavior, contract, norms, deadline
1	Cristian Prisacariu, Gerardo Schneider	Abstract specification of legal contracts.	ICAIL	2009	DBLP DOI BibTeX RDF
1	T. Naranmandakh	e-government initiatives and universal service program: achievements and key issues in Mongolia.	ICEGOV	2009	DBLP DOI BibTeX RDF	public and private partnership, universal service, universal service to broadband, e-governance, e-government, universal access, rural development
1	Eunjee Song, Hanil Kim, Wuliang Sun	A property-based verification approach in aspect-oriented modeling.	SAC	2009	DBLP DOI BibTeX RDF
1	Yehia Elrakaiby, Frédéric Cuppens, Nora Cuppens-Boulahia	From state-based to event-based contextual security policies.	ICDIM	2009	DBLP DOI BibTeX RDF
1	Christian Schneider, Frederic Stumpf, Claudia Eckert	Enhancing Control of Service Compositions in Service-Oriented Architectures.	ARES	2009	DBLP DOI BibTeX RDF
1	Ed H. Chi	Information Seeking Can Be Social.	IEEE Computer	2009	DBLP DOI BibTeX RDF
1	Gio Wiederhold	Tutorial: How to Value Software in a Business, and Where Might the Value Go?.	CAiSE	2009	DBLP DOI BibTeX RDF
1	Rex Arendsen, Marc J. ter Hedde	On the Origin of Intermediary E-Government Services.	EGOV	2009	DBLP DOI BibTeX RDF	SME’s, intermediary service providers, e-government
1	David del Valle-Agudo, Francisco Javier Calle-Gómez, Dolores Cuadra Fernández, Jessica Rivero-Espinosa	Breaking of the Interaction Cycle: Independent Interpretation and Generation for Advanced Dialogue Management.	HCI	2009	DBLP DOI BibTeX RDF	Natural Interaction Systems, Independent Interpretation and Generation, Grounding, Turn Taking, Threads Model
1	Massimo Strano, Carlos Molina-Jiménez, Santosh K. Shrivastava	Implementing a Rule-Based Contract Compliance Checker.	I3E	2009	DBLP DOI BibTeX RDF
1	Basel Katt, Xinwen Zhang, Michael Hafner	Towards a Usage Control Policy Specification with Petri Nets.	OTM Conferences	2009	DBLP DOI BibTeX RDF
1	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
1	Graeme Smith, Kirsten Winter	Model checking action system refinements.	Formal Asp. Comput.	2009	DBLP DOI BibTeX RDF	model checking, Refinement, CTL, action systems
1	Pablo F. Castro, T. S. E. Maibaum	Reasoning about System-Degradation and Fault-Recovery with Deontic Logic.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF	Fault-Tolerance, Formal Specification, Software Design, Deontic Logics
1	Basel Katt, Xinwen Zhang, Ruth Breu, Michael Hafner, Jean-Pierre Seifert	A general obligation model and continuity: enhanced policy enforcement engine for usage control.	SACMAT	2008	DBLP DOI BibTeX RDF
1	David W. Chadwick, Stijn F. Lievens	Enforcing "sticky" security policies throughout a distributed application.	Middleware Security	2008	DBLP DOI BibTeX RDF	application independent PEP, obligation enforcement, privacy policy enforcement, PDP, sticky policies
1	Kevin P. Twidle, Emil Lupu, Naranker Dulay, Morris Sloman	Ponder2 - A Policy Environment for Autonomous Pervasive Systems.	POLICY	2008	DBLP DOI BibTeX RDF	Ponder2, Self-Managed Cell, PonderTalk, Policy, Authorisation, Pervasive, Obligation
1	Yury Gryazin, Michael Landrigan	A Regularized Unconstrained Optimization in the Bond Portfolio Valuation and Hedging.	World Congress on Engineering (Selected Papers)	2008	DBLP DOI BibTeX RDF	Regularized Unconstrained Optimization, Bond Portfolio, Collateralized Mortgage Obligation, Valuation, Hedging
1	Elizabeth Losh	In polite company: rules of play in five Facebook games.	Advances in Computer Entertainment Technology	2008	DBLP DOI BibTeX RDF	Facebook applications, social networks, computer games
1	Marije Kanis, Mark Perry, Willem-Paul Brinkman	minimal connectedness: exploring the effects of positive messaging using mobile technology.	CHI Extended Abstracts	2008	DBLP DOI BibTeX RDF	minimal connectedness, positive emotions, social sharing, social interaction, ambiguity, mobile technology
1	Janice Warner, Soon Ae Chun	A citizen privacy protection model for e-government mashup services.	DG.O	2008	DBLP DOI BibTeX RDF	citizen privacy, e-government mashup services, personal privacy policy network, regulatory privacy policy, web 2.0
1	Matthew J. Parkinson, Gavin M. Bierman	Separation logic, abstraction and inheritance.	POPL	2008	DBLP DOI BibTeX RDF	modularity, classes, separation logic
1	Xinwen Zhang, Masayuki Nakae, Michael J. Covington, Ravi S. Sandhu	Toward a Usage-Based Security Framework for Collaborative Computing Systems.	ACM Trans. Inf. Syst. Secur.	2008	DBLP DOI BibTeX RDF	access control, Authorization, security architecture, collaborative computing, usage control, UCON
1	Jianwen Xiang, Dines Bjørner, Kokichi Futatsugi	Formal digital license language with OTS/CafeOBJ method.	AICCSA	2008	DBLP DOI BibTeX RDF
1	Kyle Chard, Kris Bubendorfer	A Distributed Economic Meta-scheduler for the Grid.	CCGRID	2008	DBLP DOI BibTeX RDF	grid, resource allocation, economic, meta-scheduler
1	Virat Agarwal, Lurng-Kuo Liu, David A. Bader	Financial modeling on the cell broadband engine.	IPDPS	2008	DBLP DOI BibTeX RDF
1	Ricardo Neisse, Patricia Dockhorn Costa, Maarten Wegdam, Marten van Sinderen	An Information Model and Architecture for Context-Aware Management Domains.	POLICY	2008	DBLP DOI BibTeX RDF	context-aware, management, policy
1	Hang Zhao, Jorge Lobo, Steven M. Bellovin	An Algebra for Integration and Analysis of Ponder2 Policies.	POLICY	2008	DBLP DOI BibTeX RDF
1	Shiyang Ye, Jun Wei	History Heuristic Based Negotiation of Service Level Agreements for Composite Service.	QSIC	2008	DBLP DOI BibTeX RDF	Quality of Service, Web Service, Service Level Agreements
1	Christine Julien, Gruia-Catalin Roman, Qingfeng Huang	SICC: Source-Initiated Context Construction in Mobile Ad Hoc Networks.	IEEE Trans. Mob. Comput.	2008	DBLP DOI BibTeX RDF	application-aware communication, mobile ad hoc networks, context-awareness
1	Zakaria Maamar, Djamal Benslimane, Ghita Kouadri Mostéfaoui, Sattanathan Subramanian, Qusay H. Mahmoud	Toward Behavioral Web Services Using Policies.	IEEE Transactions on Systems, Man, and Cybernetics, Part A	2008	DBLP DOI BibTeX RDF
1	Luís Soares Barbosa, José Nuno Oliveira, Alexandra Silva	Calculating Invariants as Coreflexive Bisimulations.	AMAST	2008	DBLP DOI BibTeX RDF	coalgebraic reasoning, pointfree transform, proof obligations, program calculation
1	Juan Bicarregui, Alvaro Arenas, Benjamin Aziz, Philippe Massonet, Christophe Ponsard	Towards Modelling Obligations in Event-B.	ABZ	2008	DBLP DOI BibTeX RDF
1	Jan Broersen	Issues in Designing Logical Models for Norm Change.	AAMAS-OAMAS	2008	DBLP DOI BibTeX RDF
1	Motoshi Saeki, Haruhiko Kaiya	Supporting the Elicitation of Requirements Compliant with Regulations.	CAiSE	2008	DBLP DOI BibTeX RDF
1	Joxan Jaffar, Andrew E. Santosa, Razvan Voicu	A Coinduction Rule for Entailment of Recursively Defined Properties.	CP	2008	DBLP DOI BibTeX RDF
1	Alan Chuter	Web Accessible and Mobile: The Relationship between Mobile Web Best Practices and Web Content Accessibility Guidelines.	ICCHP	2008	DBLP DOI BibTeX RDF
1	Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier	Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties.	ICISS	2008	DBLP DOI BibTeX RDF
1	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