Search results for "obligations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
9	Maria Fasli	On the relationship between roles and power: preliminary report.	SAC	2006	DBLP DOI BibTeX RDF
9	Vasileios Koutavas, Mitchell Wand	Small bisimulations for reasoning about higher-order imperative programs.	POPL	2006	DBLP DOI BibTeX RDF	higher-order procedures, bisimulations, lambda-calculus, imperative languages, contextual equivalence
9	Luis Cortés, Hayde Castellanos, Sergio Rafael Coria Olguin, Varinia M. Estrada, Fernanda López, Isabel López, Iván Meza, Iván Moreno, Patricia Pérez, Carlos Rodríguez 0003	Balancing Transactions in Practical Dialogues.	CICLing	2006	DBLP DOI BibTeX RDF
9	Jerzy Konorski	Anonymous Agreed Order Multicast: Performance and Free Riding.	ICDCIT	2006	DBLP DOI BibTeX RDF
9	Patrick van Bommel, Stijn Hoppenbrouwers, Henderik Alex Proper, Theo P. van der Weide	Exploring Modelling Strategies in a Meta-modelling Context.	OTM Workshops (2)	2006	DBLP DOI BibTeX RDF
9	Vipin Swarup, Len Seligman, Arnon Rosenthal	A Data Sharing Agreement Framework.	ICISS	2006	DBLP DOI BibTeX RDF
9	Matthieu Sozeau	Subset Coercions in Coq.	TYPES	2006	DBLP DOI BibTeX RDF
9	Jean-Marie Orset, Ana R. Cavalli	A Security Model for OLSR MANET Protocol.	MDM	2006	DBLP DOI BibTeX RDF
9	Joachim Hans Fröhlich, Manuel Schwarzinger	Improve Component-Based Programs with Connectors.	JMLC	2006	DBLP DOI BibTeX RDF
9	Gilles Barthe, Lilian Burdy, Julien Charles, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet, Mariela Pavlova, Antoine Requet	JACK - A Tool for Validation of Security and Behaviour of Java Applications.	FMCO	2006	DBLP DOI BibTeX RDF
9	I Made Andi Arsana, Chris Rizos, Clive Schofield	The Application of GIS in Maritime Boundary Delimitation.	3D-GIS	2006	DBLP DOI BibTeX RDF	maritime boundaries, delimitation, United Nations Convention on the Law of the Sea, geographic information system
9	Guido Boella, Rossana Damiano, Joris Hulstijn, Leendert W. N. van der Torre	The Roles of Roles in Agent Communication Languages.	IAT	2006	DBLP DOI BibTeX RDF
9	Piotr Kosiuczenko	Specification of Invariability in OCL.	MoDELS	2006	DBLP DOI BibTeX RDF
9	Michael J. C. Gordon, James Reynolds, Warren A. Hunt Jr., Matt Kaufmann	An Integration of HOL and ACL2.	FMCAD	2006	DBLP DOI BibTeX RDF
9	Fang Pu, Daoqing Sun, Qiying Cao, Haibin Cai, Fan Yang	Pervasive Computing Context Access Control Based on UCON_ABC Model.	IIH-MSP	2006	DBLP DOI BibTeX RDF
9	Ulle Endriss	Temporal Logics for Representing Agent Communication Protocols.	AC	2006	DBLP DOI BibTeX RDF
9	Robert C. Kremer, Roberto A. Flores	Flexible Conversations Using Social Commitments and a Performatives Hierarchy.	AC	2006	DBLP DOI BibTeX RDF
9	Souhila Kaci, Leendert W. N. van der Torre	Permissions and Uncontrollable Propositions in DSDL3: Non-monotonicity and Algorithms.	DEON	2006	DBLP DOI BibTeX RDF
9	Alexander Artikis, Lloyd Daniel Kamara, Jeremy Pitt	A Norm-Governed Systems Perspective of Ad Hoc Networks.	ESAW	2006	DBLP DOI BibTeX RDF
9	Andrés García-Camino, Pablo Noriega, Juan A. Rodríguez-Aguilar	An Algorithm for Conflict Resolution in Regulated Compound Activities.	ESAW	2006	DBLP DOI BibTeX RDF
9	Kyrre M. Begnum, Mark Burgess, John A. Sechrest	Adaptive provisioning using virtual machines and autonomous role-based management.	ICAS	2006	DBLP DOI BibTeX RDF
9	Divakar Yadav, Michael J. Butler	Rigorous Design of Fault-Tolerant Transactions for Replicated Database Systems Using Event B.	RODIN Book	2006	DBLP DOI BibTeX RDF
9	Silvio Ranise, Calogero G. Zarba	A Theory of Singly-Linked Lists and its Extensible Decision Procedure.	SEFM	2006	DBLP DOI BibTeX RDF
9	Andrés García-Camino, Juan A. Rodríguez-Aguilar, Carles Sierra, Wamberto Weber Vasconcelos	Norm-oriented programming of electronic institutions.	AAMAS	2006	DBLP DOI BibTeX RDF	multi-agent system programming, norms, electronic institutions
9	Boris Shishkov, Dick A. C. Quartel	Combining SDBC and ISDL in the Modeling and Refinement of Business Processes.	ICEIS (Selected Papers)	2006	DBLP DOI BibTeX RDF	SDBC, ISDL, Refinement, System design, Business process modeling
9	Sugato Bagchi, Xue Bai, Jayant Kalagnanam	Data Quality Management using Business Process Modeling.	IEEE SCC	2006	DBLP DOI BibTeX RDF
9	Xinwen Zhang, Francesco Parisi-Presicce, Ravi S. Sandhu, Jaehong Park	Formal model and policy specification of usage control.	ACM Trans. Inf. Syst. Secur.	2005	DBLP DOI BibTeX RDF	Access control, formal specification, security policy, usage control
9	Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth 0002, Steffen Schlager, Peter H. Schmitt	The KeY tool.	Softw. Syst. Model.	2005	DBLP DOI BibTeX RDF	Java, UML, Formal specification, Formal verification, Design patterns, Object-oriented design, OCL
9	Annabelle McIver, Carroll Morgan	Abstraction and refinement in probabilistic systems.	SIGMETRICS Perform. Evaluation Rev.	2005	DBLP DOI BibTeX RDF
9	Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz 0001, Roberto Sebastiani	MathSAT: Tight Integration of SAT and Mathematical Decision Procedures.	J. Autom. Reason.	2005	DBLP DOI BibTeX RDF	Satisfiability module theory, Integrated decision procedures, Linear arithmetic logic, Propositional satisfiability
9	Victoria Ungureanu	Using certified policies to regulate E-commerce transactions.	ACM Trans. Internet Techn.	2005	DBLP DOI BibTeX RDF	Contract terms, Scalability, Enforcement
9	Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani	Efficient Satisfiability Modulo Theories via Delayed Theory Combination.	CAV	2005	DBLP DOI BibTeX RDF
9	Cyrus Shahabi, Farnoush Banaei Kashani	Modelling Peer-to-Peer Data Networks Under Complex System Theory.	DNIS	2005	DBLP DOI BibTeX RDF
9	Wojciech J. Dzidek, Lionel C. Briand, Yvan Labiche	Lessons Learned from Developing a Dynamic OCL Constraint Enforcement Tool for Java.	MoDELS (Satellite Events)	2005	DBLP DOI BibTeX RDF
9	Zheng Li, Jun Han 0004, Yan Jin	Pattern-Based Specification and Validation of Web Services Interaction Properties.	ICSOC	2005	DBLP DOI BibTeX RDF
9	Robert Demolombe, Maria del Pilar Pozos Parra	The Chisholm Paradox and the Situation Calculus.	ISMIS	2005	DBLP DOI BibTeX RDF
9	Ninh-Thuan Truong, Jeanine Souquières	Verification of behavioural elements of UML models using B.	SAC	2005	DBLP DOI BibTeX RDF	UML, verification, metamodel, B, proof obligation
9	Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran	On Superposition-Based Satisfiability Procedures and Their Combination.	ICTAC	2005	DBLP DOI BibTeX RDF
9	Johan Muskens, Reinder J. Bril, Michel R. V. Chaudron	Generalizing Consistency Checking between Software Views.	WICSA	2005	DBLP DOI BibTeX RDF
9	Alessandro Armando, Luca Compagna, Silvio Ranise	Rewriting and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation.	Mechanizing Mathematical Reasoning	2005	DBLP DOI BibTeX RDF
9	Dieter Hutter, Serge Autexier	Formal Software Development in MAYA.	Mechanizing Mathematical Reasoning	2005	DBLP DOI BibTeX RDF
9	Travis D. Breaux, Annie I. Antón	Mining rule semantics to understand legislative compliance.	WPES	2005	DBLP DOI BibTeX RDF
9	Sukyoung Ryu, Norman Ramsey	Source-Level Debugging for Multiple Languages with Modest Programming Effort.	CC	2005	DBLP DOI BibTeX RDF
9	Jelena Zdravkovic, Vandana Kabilan	Enabling Business Process Interoperability Using Contract Workflow Models.	OTM Conferences (1)	2005	DBLP DOI BibTeX RDF
9	Kate Webster, David Dyar	Using a database-driven website to track sensitive data use.	SIGUCCS	2005	DBLP DOI BibTeX RDF	database-driven, interactive, tracking, project management, sensitive, data, website
9	William J. Morokoff	Simulation of risk and return profiles for portfolios of CDO tranches.	WSC	2005	DBLP DOI BibTeX RDF
9	Zoran Milosevic	Towards Integrating Business Policies with Business Processes.	Business Process Management	2005	DBLP DOI BibTeX RDF
9	Ewen Denney, Bernd Fischer 0002	Certifiable Program Generation.	GPCE	2005	DBLP DOI BibTeX RDF
9	Luiz Camolesi Jr., Luiz Eduardo Galvão Martins	A Model for Interaction Rules to Define Governance Policies in Collaborative Environments.	CSCWD (Selected papers)	2005	DBLP DOI BibTeX RDF
9	Steve Dunne, Stacey Conroy	Process Refinement in B.	ZB	2005	DBLP DOI BibTeX RDF
9	Pontus Boström, Marina Waldén	An Extension of Event B for Developing Grid Systems.	ZB	2005	DBLP DOI BibTeX RDF
9	Jesús San-Miguel-Ayanz, Guido Schmuck, Robert Flies, Ernst Schulte, Ignacio Seoane	Towards a Forest Information System for Europe.	DEXA Workshops	2005	DBLP DOI BibTeX RDF
9	Héctor Ruíz Barradas, Didier Bert	A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions.	IFM	2005	DBLP DOI BibTeX RDF	unity logic, weak fairness, minimal progress, set transformer, fairness, action systems, Liveness properties, fixpoints, event systems
9	Pontus Boström, Marina Waldén	Development of Fault Tolerant Grid Applications Using Distributed B.	IFM	2005	DBLP DOI BibTeX RDF	Fault tolerance, Grid computing, Domain specific languages, Language extensions, Event B, Stepwise development
9	Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer	Leveraging Eclipse for integrated model-based engineering of web service compositions.	eTX	2005	DBLP DOI BibTeX RDF	web service choreography, web service composition and orchestration, model checking, verification, standards, validation, implementation, service design, Eclipse plug-in
9	Jomi Fred Hübner, Olivier Boissier, Jaime Simão Sichman	Using a Multi-Agent Organization Description Language to describe contract dynamics in virtual enterprises.	IAT	2005	DBLP DOI BibTeX RDF
9	Maria Fasli	On the Interplay of Roles and Power.	IAT	2005	DBLP DOI BibTeX RDF
9	Jan Camenisch, Abhi Shelat, Dieter Sommer, Simone Fischer-Hübner, Marit Hansen, Henry Krasemann, Gérard Lacoste, Ronald Leenes, Jimmy C. Tseng	Privacy and identity management for everyone.	Digital Identity Management	2005	DBLP DOI BibTeX RDF	anonymous transactions, privacy, protocols, identity management, credentials
9	Venu K. Murthy, E. V. Krishnamurthy	Contextual information management using contract: based workflow.	Conf. Computing Frontiers	2005	DBLP DOI BibTeX RDF	ambient intelligent computing environment (AmI), chemical-reactivity properties, contextual management, contract-based workflow, intention - context-action protocol, agents
9	Adrian Paschke, Martin Bichler	SLA Representation, Management and Enforcement.	EEE	2005	DBLP DOI BibTeX RDF
9	Andrea Omicini, Alessandro Ricci, Mirko Viroli	Time-Aware Coordination in ReSpecT.	COORDINATION	2005	DBLP DOI BibTeX RDF
9	Cecilia E. Nugraheni	Universal Properties Verification of Parameterized Parallel Systems.	ICCSA (3)	2005	DBLP DOI BibTeX RDF	parameterized parallel system, verification, formal method, temporal logics, diagram
9	Pedro Gama, Paulo Ferreira 0001	Obligation Policies: An Enforcement Platform.	POLICY	2005	DBLP DOI BibTeX RDF
9	J. G. Cederquist, Ricardo Corin, M. A. C. Dekker, Sandro Etalle, J. I. den Hartog	An Audit Logic for Accountability.	POLICY	2005	DBLP DOI BibTeX RDF
9	John Knottenbelt, Keith Clark	Contract-Related Agents.	CLIMA	2005	DBLP DOI BibTeX RDF
9	Guido Boella, Leendert W. N. van der Torre	Constitutive Norms in the Design of Normative Multiagent Systems.	CLIMA	2005	DBLP DOI BibTeX RDF
9	Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin	Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement.	VMCAI	2005	DBLP DOI BibTeX RDF
9	Yan Jin, Jun Han 0004	Runtime Validation of Behavioural Contracts for Component Software.	QSIC	2005	DBLP DOI BibTeX RDF
9	Aleksander Binemann-Zdanowicz, Bernhard Thalheim, Klaus-Dieter Schewe, Jane Zhao	Quality Assurance in the Design of Web Information Systems.	QSIC	2005	DBLP DOI BibTeX RDF	Quality Design, Refinement, Abstract State Machines, Web Information Systems
9	Tim Trew	Enabling the Smooth Integration of Core Assets: Defining and Packaging Architectural Rules for a Family of Embedded Products.	SPLC	2005	DBLP DOI BibTeX RDF
9	Giovanni Camponovo, Davide Cerutti	WLAN Communities and Internet Access Sharing: A Regulatory Overview.	ICMB	2005	DBLP DOI BibTeX RDF
9	David Aspinall 0001, Kenneth MacKenzie	Mobile Resource Guarantees and Policies.	CASSIS	2005	DBLP DOI BibTeX RDF
9	Ulrich Faisst, Oliver Prokein	An Optimization Model for the Management of Security Risks in Banking Companies.	CEC	2005	DBLP DOI BibTeX RDF
9	Hari Mony, Jason Baumgartner, Viresh Paruthi, Robert Kanzelman	Exploiting suspected redundancy without proving it.	DAC	2005	DBLP DOI BibTeX RDF	correctness-preserving transformations, sequential equivalence, sequential redundancy removal, checking
9	Christophe Garion, Leendert W. N. van der Torre	Design by Contract Deontic Design Language for Multiagent Systems.	AAMAS Workshops	2005	DBLP DOI BibTeX RDF
9	Robert C. Kremer, Roberto A. Flores	Using a performative subsumption lattice to support commitment-based conversations.	AAMAS	2005	DBLP DOI BibTeX RDF	CASA, performatives, protocols, policies, agent communications languages, ACL, FIPA, social commitments
9	Guido Boella, Joris Hulstijn, Yao-Hua Tan, Leendert W. N. van der Torre	Modeling Control Mechanisms with Normative Multiagent Systems: The Case of the Renewables Obligation.	AAMAS Workshops	2005	DBLP DOI BibTeX RDF
9	Francesco Viganò, Nicoletta Fornara, Marco Colombetti	An Event Driven Approach to Norms in Artificial Institutions.	AAMAS Workshops	2005	DBLP DOI BibTeX RDF
9	Jeremy V. Pitt, Lloyd Daniel Kamara, Marek J. Sergot, Alexander Artikis	Formalization of a voting protocol for virtual organizations.	AAMAS	2005	DBLP DOI BibTeX RDF	multi-agent systems, voting, virtual organizations
9	Francesco Viganò, Nicoletta Fornara, Marco Colombetti	An operational approach to norms in artificial institutions.	AAMAS	2005	DBLP DOI BibTeX RDF	artificial institutions, commitments, norms, ACLs
9	Rossella Rubino, Andrea Omicini, Enrico Denti	Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts.	AAMAS Workshops	2005	DBLP DOI BibTeX RDF
9	Dino Pedreschi, Salvatore Ruggieri	Bounded Nondeterminism of Logic Programs.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF	universal termination, bounded nondeterminism, strong termination, logic programming
9	Stephen H. Edwards, Murali Sitaraman, Bruce W. Weide, Joseph E. Hollingsworth	Contract-Checking Wrappers for C++ Classes.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	Assertion checkers, binary components, class invariants, specification, preconditions, design by contract, postconditions, debugging aids, coding techniques
9	Ninh-Thuan Truong, Jeanine Souquières	An Approach for the Verification of UML Models Using B.	ECBS	2004	DBLP DOI BibTeX RDF
9	Christoph Lüth, Markus Roggenbach, Lutz Schröder	CCC - The Casl Consistency Checker.	WADT	2004	DBLP DOI BibTeX RDF
9	Anand Patwardhan, Vlad Korolev, Lalana Kagal, Anupam Joshi	Enforcing Policies in Pervasive Environments.	MobiQuitous	2004	DBLP DOI BibTeX RDF
9	Andrzej Uszok, Jeffrey M. Bradshaw, Renia Jeffers, Austin Tate, Jeff Dalton 0002	Applying KAoS Services to Ensure Policy Compliance for Semantic Web Services Workflow Composition and Enactment.	ISWC	2004	DBLP DOI BibTeX RDF
9	Michael Backes 0001, Günter Karjoth, Walid Bagga, Matthias Schunter	Efficient comparison of enterprise privacy policies.	SAC	2004	DBLP DOI BibTeX RDF	policy comparison, privacy policy
9	Leon Bobrowski, Mariusz Buzun, Karol Przybszewski	Integration of Public Information at the Regional Level - Challenges and Opportunities.	EGOV	2004	DBLP DOI BibTeX RDF
9	Ahti Saarenpää	Information and Law in the Constitutional State.	EGOV	2004	DBLP DOI BibTeX RDF
9	Alexander Artikis, Lloyd Daniel Kamara, Jeremy Pitt, Marek J. Sergot	A Protocol for Resource Sharing in Norm-Governed Ad Hoc Networks.	DALT	2004	DBLP DOI BibTeX RDF
9	Ewen Denney, Ram Prasad Venkatesan	A Generic Software Safety Document Generator.	AMAST	2004	DBLP DOI BibTeX RDF
9	Sushil Jajodia, Duminda Wijesekera	A Flexible Authorization Framework for E-Commerce.	ICDCIT	2004	DBLP DOI BibTeX RDF
9	Adam Barth, John C. Mitchell, Justin Rosenstein	Conflict and combination in privacy policy languages.	WPES	2004	DBLP DOI BibTeX RDF	policy combination, privacy policy
9	Andrea H. Tapia, Lynette Kvasny	Recruitment is never enough: retention of women and minorities in the IT workplace.	CPR	2004	DBLP DOI BibTeX RDF	workplace diversity, retention, recruitment, women, minorities
9	Marc Esteva, Wamberto Weber Vasconcelos, Carles Sierra, Juan A. Rodríguez-Aguilar	Norm Consistency in Electronic Institutions.	SBIA	2004	DBLP DOI BibTeX RDF
9	Gérard Le Lann	Time-Utility Scheduling and Provably Correct Critical Computer-Based Systems.	IPDPS	2004	DBLP DOI BibTeX RDF
9	Xinwen Zhang, Jaehong Park, Francesco Parisi-Presicce, Ravi S. Sandhu	A logical specification for usage control.	SACMAT	2004	DBLP DOI BibTeX RDF	logic specification, access control, security policy, usage control
9	Guido Boella, Leendert W. N. van der Torre	Attributing mental attitudes to roles: the agent metaphor applied to e-trade organizations.	ICEC	2004	DBLP DOI BibTeX RDF
9	Maria Fasli	Accounting for Social Order in Multi-Agent Systems: Preliminary Report.	IAT	2004	DBLP DOI BibTeX RDF