Search results for "obligation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Christoph Bussler	Business-to-Business Integration Technology.	Data Management in a Connected World	2005	DBLP DOI BibTeX RDF
12	Rema Ananthanarayanan, Mukesh K. Mohania, Ajay Gupta 0004	Management of Conflicting Obligations in Self-Protecting Policy-Based Systems.	ICAC	2005	DBLP DOI BibTeX RDF
12	Amal J. Ahmed 0001, Matthew Fluet, Greg Morrisett	A step-indexed model of substructural state.	ICFP	2005	DBLP DOI BibTeX RDF	mutable references, stepindexed model, substructural type system
12	Richard Banach, Simon Fraser	Retrenchment and the B-Toolkit.	ZB	2005	DBLP DOI BibTeX RDF
12	John Knottenbelt, Keith Clark	Contract-Related Agents.	CLIMA	2005	DBLP DOI BibTeX RDF
12	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
12	Mairi McCallum, Wamberto Weber Vasconcelos, Timothy J. Norman	Verification and Analysis of Organisational Change.	AAMAS Workshops	2005	DBLP DOI BibTeX RDF
12	David A. Naumann	Observational Purity and Encapsulation.	FASE	2005	DBLP DOI BibTeX RDF
12	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
12	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
12	Wim H. Hesselink	An assertional proof for a construction of an atomic variable.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Invariant, Atomicity, Wait-free, Safeness
12	Panagiotis Manolios, Sudarshan K. Srinivasan	Automatic Verification of Safety and Liveness for XScale-Like Processor Models Using WEB Refinements.	DATE	2004	DBLP DOI BibTeX RDF
12	Olaf Owe, Stein Krogdahl, Tom Lyche	A Biography of Ole-Johan Dahl.	Essays in Memory of Ole-Johan Dahl	2004	DBLP DOI BibTeX RDF
12	Ad M. G. Peeters	Implementation of Handshake Components.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
12	John T. Paxton, Karim Heredia	Providing curricular assistance to a third world university computer science department.	ITiCSE	2004	DBLP DOI BibTeX RDF	computer science pedagogy, international collaboration
12	Stuart A. Hansen, Timothy V. Fossum	Events not equal to GUIs.	SIGCSE	2004	DBLP DOI BibTeX RDF	events, event driven programming
12	Andrzej Uszok, Jeffrey M. Bradshaw, Renia Jeffers	KAoS: A Policy and Domain Services Framework for Grid Computing and Semantic Web Services.	iTrust	2004	DBLP DOI BibTeX RDF
12	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
12	Russell P. Haines, Lori N. K. Leonard	Influences of Different Ethical Issues on Ethical Decision-Making in an IT Context.	HICSS	2004	DBLP DOI BibTeX RDF
12	Valeska Heerdt, Christine Strauss	A Cost-Benefit Approach for Accessible Web Presence.	ICCHP	2004	DBLP DOI BibTeX RDF
12	Mark D. Aagaard, Vlad C. Ciubotariu, Jason T. Higgins, Farzad Khalvati	Combining Equivalence Verification and Completion Functions.	FMCAD	2004	DBLP DOI BibTeX RDF
12	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
12	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
12	Andrei Kouznetsov	Quasi-matrix Deontic Logic.	DEON	2004	DBLP DOI BibTeX RDF
12	Adam Zachary Wyner	Maintaining Obligations on Stative Expressions in a Deontic Action Logic.	DEON	2004	DBLP DOI BibTeX RDF
12	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
12	Guido Boella, Leendert W. N. van der Torre	Delta: The Social Delegation Cycle.	DEON	2004	DBLP DOI BibTeX RDF
12	Lou Goble	A Proposal for Dealing with Deontic Dilemmas.	DEON	2004	DBLP DOI BibTeX RDF
12	Mehdi Dastani, Leendert W. N. van der Torre	Programming BOID-Plan Agents: Deliberating about Conflicts among Defeasible Mental Attitudes and Plans.	AAMAS	2004	DBLP DOI BibTeX RDF
12	Marco Casassa Mont	Dealing with Privacy Obligations: Important Aspects and Technical Approaches.	TrustBus	2004	DBLP DOI BibTeX RDF
12	Laura K. Dillon, Kurt Stirewalt	Inference Graphs: A Computational Structure Supporting Generation of Customizable and Correct Analysis Components.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	Amalia, analysis software, engineering trade-offs, inference graphs, transparent design, program transformations, operational semantics, proofs of correctness
12	Alan F. Karr, Adrian Dobra, Ashish P. Sanil	Table servers protect confidentiality in tabular data releases.	Commun. ACM	2003	DBLP DOI BibTeX RDF
12	Miguel Pérez-Ramírez, Chris Fox	Imperatives as Obligatory and Permitted Actions.	CICLing	2003	DBLP DOI BibTeX RDF
12	Xiaofeng Gong, Julian Newman	The Role of Deontic Concepts and Commitment in the Policy Specification of Mobile Computing Environment.	OTM Workshops	2003	DBLP DOI BibTeX RDF	deontic concepts, speech acts oriented communication, mobile computing, Commitment, commitments, security policy specification
12	Reinaldo A. Bergamaschi, Grant Martin, Wayne H. Wolf, Rolf Ernst, Kees A. Vissers, Jack Kouloheris	The future of system-level design: can we find the right solutions to the right problems at the right time?	CODES+ISSS	2003	DBLP DOI BibTeX RDF
12	David L. Heine, Monica S. Lam	A practical flow-sensitive and context-sensitive C and C++ memory leak detector.	PLDI	2003	DBLP DOI BibTeX RDF	program analysis, type systems, memory management, error detection, memory leaks
12	Frédéric Cuppens, Alexandre Miège	Modelling Contexts in the Or-BAC Model.	ACSAC	2003	DBLP DOI BibTeX RDF
12	Babak Sadighi Firozabadi, Marek J. Sergot	Contractual Access Control.	Security Protocols Workshop	2002	DBLP DOI BibTeX RDF
12	Brian Sierkowski	Achieving web accessibility.	SIGUCCS	2002	DBLP DOI BibTeX RDF	ADA, accessibility, disabilities, web design, web development
12	Mildred D. Lintner	Computing, Ethics and Social Responsibility: Developing Ethically Responsible Computer Users for the 21st Century.	International Conference on Computational Science (3)	2002	DBLP DOI BibTeX RDF
12	Gruia-Catalin Roman, Christine Julien 0001, Qingfeng Huang	Network abstractions for context-aware mobile computing.	ICSE	2002	DBLP DOI BibTeX RDF
12	Andreas Schaad, Jonathan D. Moffett	Delegation of Obligations.	POLICY	2002	DBLP DOI BibTeX RDF
12	Joaquim Filipe	A Normative and Intentional Agent Model for Organisation Modelling.	ESAW	2002	DBLP DOI BibTeX RDF
12	Mehdi Dastani, Leendert W. N. van der Torre	What Is a Normative Goal?: Towards Goal-Based Normative Agent Architectures.	RASTA	2002	DBLP DOI BibTeX RDF
12	Marek J. Sergot	A computational theory of normative positions.	ACM Trans. Comput. Log.	2001	DBLP DOI BibTeX RDF	logic of action, logic of agency, theory of duties and rights, deontic logic, normative systems
12	James L. Linderman, William T. Schiano	Information ethics in a responsibility vacuum.	Data Base	2001	DBLP DOI BibTeX RDF	ethicists, information ethics, societal responsibility, certification, credentials, public policy, professionalism, qualifications
12	Alistair G. Sutcliffe	Requirements Engineering for Complex Collaborative Systems.	RE	2001	DBLP DOI BibTeX RDF	discourse acts, communication, CSCW, requirements analysis
12	James B. Cole, John Derrick, Zoran Milosevic, Kerry Raymond	Author Obliged to Submit Paper before 4 July: Policies in an Enterprise Specification.	POLICY	2001	DBLP DOI BibTeX RDF	ODP enterprise viewpoint, enterprise policies, formalising and refining policies, case study, delegation
12	Nicodemos Damianou, Naranker Dulay, Emil Lupu, Morris Sloman	The Ponder Policy Specification Language.	POLICY	2001	DBLP DOI BibTeX RDF
12	Emily M. Weitzenböck	Enterprise Security: Legal Challenges and Possible Solutions.	WETICE	2001	DBLP DOI BibTeX RDF
12	Richard Banach, Michael Poppleton	Fragmented Retrenchment, Concurrency and Fairness.	ICFEM	2000	DBLP DOI BibTeX RDF
12	Michael G. Hilgers	Quasi-Monte Carlo methods in cash flow testing simulations.	WSC	2000	DBLP DOI BibTeX RDF
12	Guangwei Ma, Chunyi Shi	Modeling Social Agents in BDO Logic.	ICMAS	2000	DBLP DOI BibTeX RDF
12	Pedro Sánchez, Patricio Letelier 0001, Isidro Ramos	Animating Formal Specifications with Inheritance in a DL-Based Framework.	Requir. Eng.	1999	DBLP DOI BibTeX RDF	Animation of specifications, Requirements engineering, Inheritance, Object-oriented methods
12	Leon A. Kappelman, James J. Cappel	The Year 2000 Problem: Ethical Implications.	Inf. Syst. Frontiers	1999	DBLP DOI BibTeX RDF
12	Layman E. Allen, Charles S. Saxon	Application of enriched deontic legal relations: Federal Rules of Civil Procedure Rule 7(a), pleadings.	ICAIL	1999	DBLP DOI BibTeX RDF
12	Steven O. Kimbrough, Yao-Hua Tan	On Lean Messaging with Wrapping and Unfolding for E-Commerce.	HICSS	1999	DBLP DOI BibTeX RDF
12	Xiaohong Guan, Feng Gao 0015, Alva J. Svoboda	Energy Delivery Scheduling and Realizability in Deregulated Electric Energy Market.	HICSS	1999	DBLP DOI BibTeX RDF	Power generation scheduling, Electric utility industry deregulation, Electric energy bidding, Ramp-rate constraints, Optimal control
12	Leendert W. N. van der Torre, Yao-Hua Tan	Prohairetic Deontic Logic (PDL).	JELIA	1998	DBLP DOI BibTeX RDF
12	Pierre Chartier	Formalisation of B in Isabelle/HOL.	B	1998	DBLP DOI BibTeX RDF
12	Albert Endres	Digital Library and Electronic Publishing Activities of German Professional Societies.	ADL	1997	DBLP DOI BibTeX RDF
12	Arjan Foekens, Andreas Mitrakas, Yao-Hua Tan	Facilitating International Electronic Commerce by Formalising the Incoterms.	HICSS (4)	1997	DBLP DOI BibTeX RDF
12	Young U. Ryu	Relativized Deontic Modalities for Contractual Obligations in Formal Business Communication.	HICSS (4)	1997	DBLP DOI BibTeX RDF
12	Frank Dignum, Hans Weigand, Egon Verharen	Meeting the Deadline: On the Formal Specification of Temporal Deontic Constraints.	ISMIS	1996	DBLP DOI BibTeX RDF
12	Frédéric Cuppens, Claire Saurel	Specifying a security policy: a case study.	CSFW	1996	DBLP DOI BibTeX RDF	high risk environment, interoperability problems, logic-based approach, formal specification, consistency, completeness, security of data, formal logic, deontic logic, security policy specification
12	Bertrand Augereau, Thierry Simon, Jacky Bernard, Bernard Heit	The BP-lambdaL1 Algorithm: Non-Chaotic and Accelerated Learning in a MLP Network.	IWANN	1995	DBLP DOI BibTeX RDF
12	Françoise Bellegarde	ASTRE: Towards a Fully Automated Program Transformation System.	RTA	1995	DBLP DOI BibTeX RDF
12	Yves Ledru	Proof-Based Development of Specifications with KIDS/VDM.	FME	1994	DBLP DOI BibTeX RDF
12	Thomas J. Froehlich	User assumptions about information retrieval systems: ethical concerns.	Ethics in Computer Age	1994	DBLP DOI BibTeX RDF
12	Thomas Günther, Klaus-Dieter Schewe, Ingrid Wetzel	On the Derivation of Executable Database Programs from Formal Specifications.	FME	1993	DBLP DOI BibTeX RDF
12	William J. Creighton	Managing technical staff.	SIGUCCS	1990	DBLP DOI BibTeX RDF