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 |
|