Naftaly H. Minsky

Yaron Minsky

Appl. Artif. Intell., 2001

Scalable Regulation of Inter-enterprise Electronic Commerce.

[BibT_eX]

[DOI]

Proceedings of the Electronic Commerce, Second International Workshop, 2001

Establishing accounting principles as invariants of financial systems.

[BibT_eX]

Proceedings of the Integrity, 2001

Formal Treatment of Certificate Revocation under Communal Access Control.

[BibT_eX]

[DOI]

Xuhui Ao

Proceedings of the 2001 IEEE Symposium on Security and Privacy, 2001

Establishing Enterprise Communities.

[BibT_eX]

[DOI]

Constantin Serban

Xuhui Ao

Proceedings of the 5th International Enterprise Distributed Object Computing Conference (EDOC 2001), 2001

2000

Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2000

Providing multiple views for objects.

[BibT_eX]

[DOI]

Partha Pratim Pal

Softw. Pract. Exp., 2000

Towards architectural invariants of evolving systems.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2000

Establishing Business Rules for Inter-Enterprise Electronic Commerce.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 14th International Conference, 2000

Making Tuple Spaces Safe for Heterogeneous Distributed Systems.

[BibT_eX]

[DOI]

Yaron Minsky

Proceedings of the Applied Computing 2000, 2000

Law-Governed Internet Communities.

[BibT_eX]

[DOI]

Proceedings of the Coordination Languages and Models, 4th International Conference, 2000

A Policy-based Access Control Mechanism for the Corporate Web.

[BibT_eX]

[DOI]

F. Vesuna

Proceedings of the 16th Annual Computer Security Applications Conference (ACSAC 2000), 2000

1998

Unified Support for Heterogeneous Security Policies in Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the 7th USENIX Security Symposium, 1998

A Mechanism for Establishing Policies for Electronic Commerce.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Distributed Computing Systems, 1998

1997

Law-Governed Regularities in Object Systems, Part 2: A Concrete Implementation.

[BibT_eX]

Partha P. Pal

Theory Pract. Object Syst., 1997

Towards Continuously Auditable Systems.

[BibT_eX]

Proceedings of the Integrity and Internal Control in Information Systems, 1997

Regulated Coordination in Open Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Coordination Languages and Models, Second International Conference, 1997

1996

Law-Governed Regularities in Object Systems. Part 1: An Abstract Model.

[BibT_eX]

Theory Pract. Object Syst., 1996

Providing multiple views for objects by means of surrogates.

[BibT_eX]

[DOI]

Partha Pratim Pal

Proceedings of the Joint Proceedings of the Second International Software Architecture Workshop (ISAW-2) and International Workshop on Multiple Perspectives in Software Development (Viewpoints '96) on SIGSOFT '96 workshops, 1996

Independent On-Line Monitoring of Evolving Systems.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Software Engineering, 1996

Towards Alias-Free Pointers.

[BibT_eX]

[DOI]

Proceedings of the ECOOP'96, 1996

Building reconfiguration primitives into the law of a system.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Configurable Distributed Systems, 1996

1994

Law-Governed Linda as a Coordination Model.

[BibT_eX]

[DOI]

Jerrold Leichter

Proceedings of the Object-Based Models and Languages for Concurrent Systems, 1994

1993

Regularities in Software Systems.

[BibT_eX]

[DOI]

Proceedings of the Studies of Software Design, 1993

1991

The Imposition of Protocols Over Open Distributed Systems.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1991

Law-governed systems.

[BibT_eX]

[DOI]

Softw. Eng. J., 1991

1990

Configuration management by consensus: an application of law-governed systems.

[BibT_eX]

[DOI]

Proceedings of the SIGSOFT'90 4th Symposium on Software Development Environments, 1990

Supporting coordination and cooperation in software processes.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Software Process Workshop (ISPW '90), 1990

1989

Controllable Delegation: An Exercise in Law-Governed Systems.

[BibT_eX]

[DOI]

Proceedings of the Conference on Object-Oriented Programming: Systems, 1989

Law-governed software processes.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Software Process Workshop (ISPW '89), 1989

1988

A Software Development Environment for Law-Governed Systems.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1988

1987

A Law-Based Approach to Object-Oriented Programming.

[BibT_eX]

[DOI]

Proceedings of the Conference on Object-Oriented Programming Systems, 1987

System = Program + Users + Law.

[BibT_eX]

[DOI]

Proceedings of the First International Conference on Artificial Intelligence and Law, 1987

1986

Controlling the Use and Evolution of Database Systems: A Prolog-based Approach.

[BibT_eX]

[DOI]

J. Manag. Inf. Syst., 1986

Towards Controlling the Evolution of Large Software Systems or The DARWIN System.

[BibT_eX]

Proceedings of the XP / 7.52 Workshop on Database Theory, 1986

A Controllable Prolog Database System.

[BibT_eX]

[DOI]

Jan Chomicki

Proceedings of the Second International Conference on Data Engineering, 1986

1985

Towards a Programming Environment for Large Prolog Programs.

[BibT_eX]

Jan Chomicki

Proceedings of the 1985 Symposium on Logic Programming, 1985

What should we do about the evolution of software.

[BibT_eX]

[DOI]

Proceedings of an International Workshop on the Software Process and Software Environments, 1985

Ensuring Integrity by Adding Obligations to Privileges.

[BibT_eX]

[DOI]

Abe Lockman

Proceedings of the Proceedings, 1985

1984

Selective and Locally Controlled Transport of Privileges.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1984

Designing Financial Information Systems for Auditability.

[BibT_eX]

[DOI]

Abe Lockman

J. Manag. Inf. Syst., 1984

The Darwin Software-Developemnt-Environemnt for Evolving Systems.

[BibT_eX]

[DOI]

Alexander Borgida

Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1984

1983

Locality in Software Systems.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, 1983

1982

Unidirectional Transport of Rights and Take-Grant Control.

[BibT_eX]

[DOI]

Abe Lockman

IEEE Trans. Software Eng., 1982

1981

Synergistic Authorization in Database Systems

[BibT_eX]

Proceedings of the Very Large Data Bases, 1981

On the Transport of Privileges.

[BibT_eX]

[DOI]

Proceedings of the 1981 IEEE Symposium on Security and Privacy, 1981

1979

Abstract FOR-Loops Over Several Aggregates.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1979

1978

An operation-control scheme for authorization in computer systems.

[BibT_eX]

[DOI]

Int. J. Parallel Program., 1978

File as a Dependable Archivist.

[BibT_eX]

Proceedings of the Information Technology '78: Proceedings of the 3rd Jerusalem Conference on Information Technology (JCIT3), 1978

1976

Intentional Resolution of Privacy Protection in Database Systems.

[BibT_eX]

[DOI]

Commun. ACM, 1976

Files with Semantics.

[BibT_eX]

[DOI]

Proceedings of the 1976 ACM SIGMOD International Conference on Management of Data, 1976

1974

Another Look at Data-Bases.

[BibT_eX]

[DOI]

FDT Bull. ACM SIGFIDET SIGMOD, 1974

On Interaction with Data Bases.

[BibT_eX]

[DOI]

Proceedings of 1974 ACM-SIGMOD Workshop on Data Description, 1974

1973

Representation of Binary Trees on Associative Memories.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1973

1972

Rotating Storage Devices As Partially Associative Memories.

[BibT_eX]

[DOI]

Proceedings of 1972 ACM-SIGFIDET Workshop on Data Description, Access and Control, Denver, Colorado, USA, November 29, 1972

The Associative-Addressing Capability on Cylinder-Memories and Its Applications - An Abstract.

[BibT_eX]

[DOI]