Search results for "obligations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Guido Boella, Patrice Caire, Leendert W. N. van der Torre	Norm negotiation in online multi-player games.	Knowl. Inf. Syst.	2009	DBLP DOI BibTeX RDF	Multi-player online games, Normative multi-agent systems, Social delegation cycle, Dependence networks, Agent communication protocols
18	David Déharbe, Silvio Ranise	Satisfiability solving for software verification.	Int. J. Softw. Tools Technol. Transf.	2009	DBLP DOI BibTeX RDF	Equational theorem proving, Boolean solving, Theory reasoning, Software verification
18	Divakar Yadav, Michael J. Butler	Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF
18	Anas Abou El Kalam, Philippe Balbiani	A Policy Language for Modelling Recommendations.	SEC	2009	DBLP DOI BibTeX RDF
18	Gordon J. Pace, Gerardo Schneider	Challenges in the Specification of Full Contracts.	IFM	2009	DBLP DOI BibTeX RDF
18	Guido Governatori, Antonino Rotolo	BIO logical agents: Norms, beliefs, intentions in defeasible logic.	Auton. Agents Multi Agent Syst.	2008	DBLP DOI BibTeX RDF	Intention and obligation, Agent types, Computational complexity, Social agents, Defeasible logic
18	Kriangsak Damchoom, Michael J. Butler, Jean-Raymond Abrial	Modelling and Proof of a Tree-Structured File System in Event-B and Rodin.	ICFEM	2008	DBLP DOI BibTeX RDF	Rodin tool, Refinement, File system, Tree structure, Proof, Event-B
18	Yann Régis-Gianas, François Pottier	A Hoare Logic for Call-by-Value Functional Programs.	MPC	2008	DBLP DOI BibTeX RDF
18	Matthew J. Parkinson, Gavin M. Bierman	Separation logic, abstraction and inheritance.	POPL	2008	DBLP DOI BibTeX RDF	modularity, classes, separation logic
18	Kohei Suenaga	Type-Based Deadlock-Freedom Verification for Non-Block-Structured Lock Primitives and Mutable References.	APLAS	2008	DBLP DOI BibTeX RDF
18	Nikhil Dinesh, Aravind K. Joshi, Insup Lee 0001, Oleg Sokolsky	Checking Traces for Regulatory Conformance.	RV	2008	DBLP DOI BibTeX RDF
18	Guido Governatori, Jörg Hoffmann 0001, Shazia Wasim Sadiq, Ingo Weber	Detecting Regulatory Compliance for Business Process Models through Semantic Annotations.	Business Process Management Workshops	2008	DBLP DOI BibTeX RDF	Business Process Models, Semantic Annotations, Regulatory Compliance
18	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
18	Kathleen Keogh, Liz Sonenberg, Wally Smith	Coordination in Adaptive Organisations: Extending Shared Plans with Knowledge Cultivation.	AAMAS-OAMAS	2008	DBLP DOI BibTeX RDF
18	Benjamin Grégoire, Jorge Luis Sacchini	Combining a Verification Condition Generator for a Bytecode Language with Static Analyses.	TGC	2007	DBLP DOI BibTeX RDF
18	Julien Brunel, Frédéric Cuppens, Nora Cuppens-Boulahia, Thierry Sans, Jean-Paul Bodeveix	Security policy compliance with violation management.	FMSE	2007	DBLP DOI BibTeX RDF	labeled kripke structure, temporal logic, security policy, deontic logic, violation
18	Valeria Cardellini, Emiliano Casalicchio, Vincenzo Grassi, Francesco Lo Presti	Efficient provisioning of service level agreements for service oriented applications.	IW-SOSWE	2007	DBLP DOI BibTeX RDF
18	Anna Cinzia Squicciarini, Ayça Azgin Hintoglu, Elisa Bertino, Yücel Saygin	A privacy preserving assertion based policy language for federation systems.	SACMAT	2007	DBLP DOI BibTeX RDF	digital identity management, privacy
18	Martin J. Kollingbaum, Wamberto Weber Vasconcelos, Andrés García-Camino, Timothy J. Norman	Managing Conflict Resolution in Norm-Regulated Environments.	ESAW	2007	DBLP DOI BibTeX RDF
18	Andrés García-Camino, Juan A. Rodríguez-Aguilar, Wamberto Weber Vasconcelos	A Distributed Architecture for Norm Management in Multi-Agent Systems.	COIN	2007	DBLP DOI BibTeX RDF
18	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
18	Wei Xu, V. N. Venkatakrishnan, R. Sekar 0001, I. V. Ramakrishnan	A Framework for Building Privacy-Conscious Composite Web Services.	ICWS	2006	DBLP DOI BibTeX RDF
18	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
18	Guillaume Muller 0001, Laurent Vercouter	Using Social Commitments to Control the Agents' Freedom of Speech.	AC	2006	DBLP DOI BibTeX RDF
18	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
18	Marco Casassa Mont, Siani Pearson, Robert Thyne	A Systematic Approach to Privacy Enforcement and Policy Compliance Checking in Enterprises.	TrustBus	2006	DBLP DOI BibTeX RDF
18	Claude Marché, Christine Paulin-Mohring	Reasoning About Java Programs with Aliasing and Frame Conditions.	TPHOLs	2005	DBLP DOI BibTeX RDF
18	Eunjee Song, Raghu Reddy, Robert B. France, Indrakshi Ray, Geri Georg, Roger T. Alexander	Verifiable composition of access control and application features.	SACMAT	2005	DBLP DOI BibTeX RDF	modeling, UML, verification, RBAC
18	Guillaume Dufay, Amy P. Felty, Stan Matwin	Privacy-Sensitive Information Flow with JML.	CADE	2005	DBLP DOI BibTeX RDF
18	Joe Hendrix, Manuel Clavel, José Meseguer 0001	A Sufficient Completeness Reasoning Tool for Partial Specifications.	RTA	2005	DBLP DOI BibTeX RDF
18	Markus Lorch, Dennis G. Kafura, Ian Fisk, Kate Keahey, Gabriele Carcassi, Timothy Freeman 0001, Timur Peremutov, Abhishek Singh Rana	Authorization and account management in the Open Science Grid.	GRID	2005	DBLP DOI BibTeX RDF
18	Carlos Molina-Jiménez, Santosh K. Shrivastava, John P. Warne	A Method for Specifying Contract Mediated Interactions.	EDOC	2005	DBLP DOI BibTeX RDF
18	Mairi McCallum, Wamberto Weber Vasconcelos, Timothy J. Norman	Verification and Analysis of Organisational Change.	AAMAS Workshops	2005	DBLP DOI BibTeX RDF
18	Martin J. Kollingbaum, Timothy J. Norman	Informed Deliberation During Norm-Governed Practical Reasoning.	AAMAS Workshops	2005	DBLP DOI BibTeX RDF
18	Westley Weimer, George C. Necula	Finding and preventing run-time error handling mistakes.	OOPSLA	2004	DBLP DOI BibTeX RDF	destructors, try-finally, dataflow, exceptions, finalizers
18	Andreas Schaad, Jonathan D. Moffett	Separation, review and supervision controls in the context of a credit application process: a case study of organisational control principles.	SAC	2004	DBLP DOI BibTeX RDF	control principles, delegation of obligation, security, management, roles, review, supervision
18	Frank Dignum, Jan M. Broersen, Virginia Dignum, John-Jules Ch. Meyer	Meeting the Deadline: Why, When and How.	FAABS	2004	DBLP DOI BibTeX RDF
18	Ewen Denney, Bernd Fischer 0002, Johann Schumann	Using Automated Theorem Provers to Certify Auto-generated Aerospace Software.	IJCAR	2004	DBLP DOI BibTeX RDF
18	Bernhard Beckert, Steffen Schlager	Software Verification with Integrated Data Type Refinement for Integer Arithmetic.	IFM	2004	DBLP DOI BibTeX RDF	UML/OCL, Java, specification, Software verification, data refinement, integer arithmetic
18	Guido Boella, Leendert W. N. van der Torre	Game Specification in Normative Multiagent System: The Trias Politica.	IAT	2004	DBLP DOI BibTeX RDF
18	Babak Sadighi Firozabadi, Marek J. Sergot, Anna Cinzia Squicciarini, Elisa Bertino	A Framework for Contractual Resource Sharing in Coalitions.	POLICY	2004	DBLP DOI BibTeX RDF
18	Jan M. Broersen, Frank Dignum, Virginia Dignum, John-Jules Ch. Meyer	Designing a Deontic Logic of Deadlines.	DEON	2004	DBLP DOI BibTeX RDF
18	Robert Demolombe, Andreas Herzig	Obligation Change in Dependence Logic and Situation Calculus.	DEON	2004	DBLP DOI BibTeX RDF
18	David Déharbe, Abdessamad Imine, Silvio Ranise	Abstraction-Driven Verification of Array Programs.	AISC	2004	DBLP DOI BibTeX RDF
18	Ian J. Hayes, Michael A. Jackson 0001, Cliff B. Jones	Determining the Specification of a Control System from That of Its Environment.	FME	2003	DBLP DOI BibTeX RDF
18	Heiko Ludwig, Markus Stolze	Simple Obligation and Right Model (SORM) - for the Runtime Management of Electronic Service Contracts.	WES	2003	DBLP DOI BibTeX RDF
18	Guido Boella, Leendert W. N. van der Torre	Norm Governed Multiagent Systems: The Delegation of Control to Autonomous Agents.	IAT	2003	DBLP DOI BibTeX RDF
18	David Déharbe, Silvio Ranise	Light-Weight Theorem Proving for Debugging and Verifying Units of Code.	SEFM	2003	DBLP DOI BibTeX RDF
18	Martin J. Kollingbaum, Timothy J. Norman	Norm adoption in the NoA agent architecture.	AAMAS	2003	DBLP DOI BibTeX RDF	norms and contracts, agent architecture
18	Babak Sadighi Firozabadi, Marek J. Sergot	Contractual Access Control.	Security Protocols Workshop	2002	DBLP DOI BibTeX RDF
18	Theodosis Dimitrakos, Juan Bicarregui, Brian Matthews, T. S. E. Maibaum	Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context.	ZB	2000	DBLP DOI BibTeX RDF
18	Jörn Kreutel	Reconstructing Conversational Games in an Obligation-Driven Dialogue Model.	TSD	2000	DBLP DOI BibTeX RDF
18	Thomas Baar, Ekkart Kindler, Hagen Völzer	Verifying Intuition - ILF Checks DAWN Proofs.	ICATPN	1999	DBLP DOI BibTeX RDF
18	Mihai Barbuceanu, Tom Gray, Serge Mankovski	Providing Telecommunication Services through Multi-agent Negotiation.	IATA	1999	DBLP DOI BibTeX RDF
18	Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel	KIV 3.0 for Provably Correct Systems.	FM-Trends	1998	DBLP DOI BibTeX RDF
18	Jean-Christophe Filliâtre	Proof of Imperative Programs in Type Theory.	TYPES	1998	DBLP DOI BibTeX RDF
18	Julian Richardson	Abstract: Proof Planning with Program Schemas.	LOPSTR	1998	DBLP DOI BibTeX RDF
18	Leendert W. N. van der Torre, Yao-Hua Tan	Contextual Deontic Logic.	ModelAge Workshop	1997	DBLP DOI BibTeX RDF
18	Bernhard K. Aichernig, Peter Gorm Larsen	A Proof Obligation Generator for VDM-SL.	FME	1997	DBLP DOI BibTeX RDF
18	Kedar S. Namjoshi	A Simple Characterization of Stuttering Bisimulation.	FSTTCS	1997	DBLP DOI BibTeX RDF
18	Frank Dignum, Hans Weigand, Egon Verharen	Meeting the Deadline: On the Formal Specification of Temporal Deontic Constraints.	ISMIS	1996	DBLP DOI BibTeX RDF
18	Morten Elvang-Gøransson, Robert E. Fields	An Extended VDM Refinement Relation.	FME	1994	DBLP DOI BibTeX RDF
18	Jørgen F. Søgaard-Andersen, Stephen J. Garland, John V. Guttag, Nancy A. Lynch, Anna Pogosyants	Computer-Assisted Simulation Proofs.	CAV	1993	DBLP DOI BibTeX RDF
18	Stephen J. Garland, John V. Guttag, James J. Horning	Debugging Larch Shared Language Specifications.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	Larch shared language specifications, checkability, Larch power, theory containment, design, formal specification, parallel programming, debugging, consistency, development, inference mechanisms, program debugging, static semantics, concurrent algorithms
18	Bowen Alpern, Fred B. Schneider	Verifying Temporal Properties without Temporal Logic.	ACM Trans. Program. Lang. Syst.	1989	DBLP DOI BibTeX RDF
9	Dharmendra P. Gupta, Paul Chow	Acceleration of an analytical approach to collateralized debt obligation pricing.	FPGA	2010	DBLP DOI BibTeX RDF	cdo, financial simulation
9	Hyesook Kim, Andrew Monk	Emotions experienced by families living at a distance.	CHI Extended Abstracts	2010	DBLP DOI BibTeX RDF	grounded theory analysis, presence technology, emotion, probes, affective communication
9	Kumar Avijit, Anupam Datta, Robert Harper 0001	Distributed programming with distributed authorization.	TLDI	2010	DBLP DOI BibTeX RDF	phase distinction, proof-carrying authorization, distributed programming, logical frameworks, authorization logic
9	Herbert Jordan, Radu Prodan, Vlad Nae, Thomas Fahringer	Dynamic load management for MMOGs in distributed environments.	Conf. Computing Frontiers	2010	DBLP DOI BibTeX RDF	load balancing, mmogs
9	Andrés García-Camino, Juan A. Rodríguez-Aguilar, Carles Sierra, Wamberto Weber Vasconcelos	Constraint rule-based programming of norms for electronic institutions.	Auton. Agents Multi Agent Syst.	2009	DBLP DOI BibTeX RDF	Constraints, Rules, Norms, Electronic institutions
9	Sylvie Boldo	Kahan's Algorithm for a Correct Discriminant Computation at Last Formally Proven.	IEEE Trans. Computers	2009	DBLP DOI BibTeX RDF
9	Francisco Casacuberta, Jorge Civera, Elsa Cubel, Antonio L. Lagarda, Guy Lapalme, Elliott Macklovitch, Enrique Vidal 0001	Human interaction for high-quality machine translation.	Commun. ACM	2009	DBLP DOI BibTeX RDF
9	Robert Craven, Jorge Lobo 0001, Jiefei Ma, Alessandra Russo, Emil C. Lupu, Arosha K. Bandara	Expressive policy analysis with enhanced system dynamicity.	AsiaCCS	2009	DBLP DOI BibTeX RDF	security, authorization, policies, formal analysis
9	Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, César Kunz, Anne Pacalet	Implementing a Direct Method for Certificate Translation.	ICFEM	2009	DBLP DOI BibTeX RDF
9	Renato Silva, Michael J. Butler	Supporting Reuse of Event-B Developments through Generic Instantiation.	ICFEM	2009	DBLP DOI BibTeX RDF	generic instantiation, formal methods, reusability, event-B
9	Weishan Zhang, Julian Schütte, Mads Ingstrup, Klaus Marius Hansen	A Genetic Algorithms-Based Approach for Optimized Self-protection in a Pervasive Service Middleware.	ICSOC/ServiceWave	2009	DBLP DOI BibTeX RDF
9	Jirí Hodík, Jirí Vokrínek, Michal Jakob	Contract Monitoring in Agent-Based Systems: Case Study.	HoloMAS	2009	DBLP DOI BibTeX RDF	Agent, Monitoring, Observation, Contract, Case Study
9	Eunjee Song, Hanil Kim, Wuliang Sun	A property-based verification approach in aspect-oriented modeling.	SAC	2009	DBLP DOI BibTeX RDF
9	Stephen Fenech, Gordon J. Pace, Gerardo Schneider	Automatic Conflict Detection on Contracts.	ICTAC	2009	DBLP DOI BibTeX RDF
9	Holger Gast	Reasoning about Memory Layouts.	FM	2009	DBLP DOI BibTeX RDF
9	Javier Sedano, José Ramón Villar 0001, Leticia Curiel, Enrique A. de la Cal, Emilio Corchado	Improving Energy Efficiency in Buildings Using Machine Intelligence.	IDEAL	2009	DBLP DOI BibTeX RDF
9	Cristian Prisacariu, Gerardo Schneider	Abstract specification of legal contracts.	ICAIL	2009	DBLP DOI BibTeX RDF
9	Stephen Fenech, Gordon J. Pace, Gerardo Schneider	CLAN: A Tool for Contract Analysis and Conflict Discovery.	ATVA	2009	DBLP DOI BibTeX RDF
9	Kohei Suenaga, Naoki Kobayashi 0001	Fractional Ownerships for Safe Memory Deallocation.	APLAS	2009	DBLP DOI BibTeX RDF
9	Basel Katt, Xinwen Zhang, Michael Hafner	Towards a Usage Control Policy Specification with Petri Nets.	OTM Conferences (2)	2009	DBLP DOI BibTeX RDF
9	Massimo Strano, Carlos Molina-Jiménez, Santosh K. Shrivastava	Implementing a Rule-Based Contract Compliance Checker.	I3E	2009	DBLP DOI BibTeX RDF
9	Stefan Hallerstede, Michael Leuschel	How to Explain Mistakes.	TFM	2009	DBLP DOI BibTeX RDF
9	Ninghui Li, Qihua Wang, Wahbeh H. Qardaji, Elisa Bertino, Prathima Rao, Jorge Lobo 0001, Dan Lin 0001	Access control policy combining: theory meets practice.	SACMAT	2009	DBLP DOI BibTeX RDF	policy combination, xacml
9	Koen Claessen, Ann Lillieström	Automated Inference of Finite Unsatisfiability.	CADE	2009	DBLP DOI BibTeX RDF
9	Karen Zee, Viktor Kuncak, Martin C. Rinard	An integrated proof language for imperative programs.	PLDI	2009	DBLP DOI BibTeX RDF	verification, theorem prover, proof system
9	Francisco Assis M. do Nascimento, Fernando Lehnen, Morecy V. Moré, Salomão A. Leizer	GIF: a web-based system for tax management and fiscal intelligence applications to the municipal tax administration.	ICEGOV	2009	DBLP DOI BibTeX RDF	fiscal intelligence, tax management, information system, web application
9	Brian Behlendorf	How Open Source Can Still Save the World. (PDF / PS)	OSS	2009	DBLP DOI BibTeX RDF
9	M. Birna van Riemsdijk, Koen V. Hindriks, Catholijn M. Jonker	Programming Organization-Aware Agents.	ESAW	2009	DBLP DOI BibTeX RDF
9	Rosaria Conte, Giulia Andrighetto, Marco Campennì	The Immergence of Norms in Agent Worlds.	ESAW	2009	DBLP DOI BibTeX RDF
9	Guido Boella, Leendert W. N. van der Torre, Serena Villata	Four measures for the dynamics of coalitions in social networks.	Hypertext	2009	DBLP DOI BibTeX RDF	social dependence networks, measures, requirements engineering
9	Davide Maria Parrilli	The Determination of Jurisdiction in Grid and Cloud Service Level Agreements.	GECON	2009	DBLP DOI BibTeX RDF	Jurisdiction, Grid, SLA, Cloud, Legal
9	Felipe Rech Meneguzzi, Michael Luck	Norm-based behaviour modification in BDI agents.	AAMAS (1)	2009	DBLP BibTeX RDF	norms, BDI
9	Christopher Alm, Ruben Wolf, Joachim Posegga	The OPL Access Control Policy Language.	TrustBus	2009	DBLP DOI BibTeX RDF
9	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
9	Viviane Torres da Silva	From the specification to the implementation of norms: an automatic approach to generate rules from norms to govern the behavior of agents.	Auton. Agents Multi Agent Syst.	2008	DBLP DOI BibTeX RDF	Governance of multi-agent system, Dialogical action, Non-dialogical action, Specification of norms, Implementation of norms, Norm