Naftaly H. Minsky

According to our database1, Naftaly H. Minsky authored at least 92 papers between 1972 and 2015.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2015
A Novel, Privacy Preserving, Architecture for Online Social Networks.
EAI Endorsed Trans. Collaborative Computing, 2015

Towards Secure Distributed Hash Table.
Proceedings of the Collaborative Computing: Networking, Applications, and Worksharing, 2015

2014
Bracing Heterogeneous Distributed Systems via Built-in Frameworks.
CoRR, 2014

Dependable Management of Untrusted Distributed Systems.
CoRR, 2014

Regularity Based Decentralized Social Networks.
Proceedings of the Risks and Security of Internet and Systems, 2014

Fault tolerance in heterogeneous distributed systems.
Proceedings of the 10th IEEE International Conference on Collaborative Computing: Networking, 2014

Establishing global policies over decentralized online social networks.
Proceedings of the 10th IEEE International Conference on Collaborative Computing: Networking, 2014

2013
An Approach to Modularization of Distributed Systems.
CoRR, 2013

Resilient Leadership Delegation in Tactical Systems.
Proceedings of the 32th IEEE Military Communications Conference, 2013

Law governed peer-to-peer secondary spectrum marketplaces.
Proceedings of the 8th International Conference on Cognitive Radio Oriented Wireless Networks, 2013

2012
Decentralized Governance of Distributed Systems via Interaction Control.
Proceedings of the Logic Programs, Norms and Action, 2012

2010
A Model for the Governance of Federated Healthcare Information Systems.
Proceedings of the POLICY 2010, 2010

Regulating Orchestration in SOA-Based Systems.
Proceedings of the Seventh International Conference on Information Technology: New Generations, 2010

2009
In Vivo Evolution of Policies that Govern a Distributed System.
Proceedings of the POLICY 2009, 2009

A decentralized mechanism for application level monitoring of distributed systems.
Proceedings of the 5th International Conference on Collaborative Computing: Networking, 2009

A collaborative framework for enforcing server commitments, and for regulating server interactive behavior in SOA-based systems.
Proceedings of the 5th International Conference on Collaborative Computing: Networking, 2009

Enforcement of server commitments and system global constraints in SOA-based systems.
Proceedings of the 4th IEEE Asia-Pacific Services Computing Conference, 2009

2008
Developing Law-Governed Systems Using Aspects.
Journal of Object Technology, 2008

The concept of decentralized and secure electronic marketplace.
Electronic Commerce Research, 2008

2006
Regulated Delegation in Distributed Systems.
Proceedings of the 7th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2006), 2006

Generalized Access Control of Synchronous Communication.
Proceedings of the Middleware 2006, 2006

Establishing Global Properties of Multi-Agent Systems Via Local Laws.
Proceedings of the Environments for Multi-Agent Systems III, Third International Workshop, 2006

2005
Law-governed multi-agent systems: from anarchy to order.
ACM SIGSOFT Software Engineering Notes, 2005

Decentralized Peer-to-Peer Auctions.
Electronic Commerce Research, 2005

2004
Software engineering for large-scale multi-agent systems - SELMAS 2004: workshop report.
ACM SIGSOFT Software Engineering Notes, 2004

On the role of roles: from role-based to role-sensitive access control.
Proceedings of the 9th ACM Symposium on Access Control Models and Technologies, 2004

A Decentralized Treatment of a Highly Distributed Chinese-Wall Policy.
Proceedings of the 5th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2004), 2004

Software Engineering for Large-Scale Multi-agent Systems - SELMAS'04.
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Enforcement of Communal Policies for P2P Systems.
Proceedings of the Coordination Models and Languages, 6th International Conference, 2004

2003
On Manageability and Robustness of Open Multi-agent Systems.
Proceedings of the Software Engineering for Multi-Agent Systems II, 2003

On Shouting "Fire!": Regulating Decoupled Communication in Distributed Systems.
Proceedings of the Middleware 2003, 2003

Regularity-Based Trust in Cyberspace.
Proceedings of the Trust Management, First International Conference, 2003

On Conditions for Self-Healing in Distributed Software Systems.
Proceedings of the 5th Annual International Workshop on Active Middleware Services (AMS 2003) 2003 Autonomic Computing Workshop, 2003

Flexible Regulation of Distributed Coalitions.
Proceedings of the Computer Security, 2003

2002
Law-governed peer-to-peer auctions.
Proceedings of the Eleventh International World Wide Web Conference, 2002

A Hierarchical Policy Specification Language and Enforcement Mechanism for Governing Digital Enterprises.
Proceedings of the 3rd International Workshop on Policies for Distributed Systems and Networks (POLICY 2002), 2002

Regulating Work in Digital Enterprises: A Flexible Managerial Framework.
Proceedings of the On the Move to Meaningful Internet Systems, 2002, 2002

2001
Safe Tuplespace-based Coordination in Multiagent Systems.
Applied Artificial Intelligence, 2001

Scalable Regulation of Inter-enterprise Electronic Commerce.
Proceedings of the Electronic Commerce, Second International Workshop, 2001

Establishing accounting principles as invariants of financial systems.
Proceedings of the Integrity, 2001

Formal Treatment of Certificate Revocation under Communal Access Control.
Proceedings of the 2001 IEEE Symposium on Security and Privacy, 2001

Establishing Enterprise Communities.
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.
ACM Trans. Softw. Eng. Methodol., 2000

Providing multiple views for objects.
Softw., Pract. Exper., 2000

Towards architectural invariants of evolving systems.
ACM SIGSOFT Software Engineering Notes, 2000

Establishing Business Rules for Inter-Enterprise Electronic Commerce.
Proceedings of the Distributed Computing, 14th International Conference, 2000

Making Tuple Spaces Safe for Heterogeneous Distributed Systems.
Proceedings of the Applied Computing 2000, 2000

Law-Governed Internet Communities.
Proceedings of the Coordination Languages and Models, 4th International Conference, 2000

A Policy-based Access Control Mechanism for the Corporate Web.
Proceedings of the 16th Annual Computer Security Applications Conference (ACSAC 2000), 2000

1998
Unified Support for Heterogeneous Security Policies in Distributed Systems.
Proceedings of the 7th USENIX Security Symposium, 1998

A Mechanism for Establishing Policies for Electronic Commerce.
Proceedings of the 18th International Conference on Distributed Computing Systems, 1998

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

Towards Continuously Auditable Systems.
Proceedings of the Integrity and Internal Control in Information Systems, 1997

Regulated Coordination in Open Distributed Systems.
Proceedings of the Coordination Languages and Models, Second International Conference, 1997

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

Independent On-Line Monitoring of Evolving Systems.
Proceedings of the 18th International Conference on Software Engineering, 1996

Towards Alias-Free Pointers.
Proceedings of the ECOOP'96, 1996

Building reconfiguration primitives into the law of a system.
Proceedings of the Third International Conference on Configurable Distributed Systems, 1996

1994
Law-Governed Linda as a Coordination Model.
Proceedings of the Object-Based Models and Languages for Concurrent Systems, 1994

1993
Regularities in Software Systems.
Proceedings of the Studies of Software Design, 1993

1991
The Imposition of Protocols Over Open Distributed Systems.
IEEE Trans. Software Eng., 1991

Law-governed systems.
Software Engineering Journal, 1991

1990
Configuration management by consensus: an application of law-governed systems.
Proceedings of the SIGSOFT'90 4th Symposium on Software Development Environments, 1990

Supporting coordination and cooperation in software processes.
Proceedings of the Sixth International Software Process Workshop (ISPW '90), 1990

1989
Controllable Delegation: An Exercise in Law-Governed Systems.
Proceedings of the Conference on Object-Oriented Programming: Systems, 1989

Law-governed software processes.
Proceedings of the Fifth International Software Process Workshop (ISPW '89), 1989

1988
A Software Development Environment for Law-Governed Systems.
Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1988

1987
A Law-Based Approach to Object-Oriented Programming.
Proceedings of the Conference on Object-Oriented Programming Systems, 1987

System = Program + Users + Law.
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.
J. of Management Information Systems, 1986

Towards Controlling the Evolution of Large Software Systems or The DARWIN System.
Proceedings of the XP / 7.52 Workshop on Database Theory, 1986

A Controllable Prolog Database System.
Proceedings of the Second International Conference on Data Engineering, 1986

1985
Towards a Programming Environment for Large Prolog Programs.
Proceedings of the 1985 Symposium on Logic Programming, 1985

What should we do about the evolution of software.
Proceedings of an International Workshop on the Software Process and Software Environments, 1985

Ensuring Integrity by Adding Obligations to Privileges.
Proceedings of the Proceedings, 1985

1984
Selective and Locally Controlled Transport of Privileges.
ACM Trans. Program. Lang. Syst., 1984

Designing Financial Information Systems for Auditability.
J. of Management Information Systems, 1984

The Darwin Software-Developemnt-Environemnt for Evolving Systems.
Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1984

1983
Locality in Software Systems.
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.
IEEE Trans. Software Eng., 1982

1981
Synergistic Authorization in Database Systems
Proceedings of the Very Large Data Bases, 1981

On the Transport of Privileges.
Proceedings of the 1981 IEEE Symposium on Security and Privacy, 1981

1979
Abstract FOR-Loops Over Several Aggregates.
Inf. Process. Lett., 1979

1978
An operation-control scheme for authorization in computer systems.
International Journal of Parallel Programming, 1978

File as a Dependable Archivist.
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.
Commun. ACM, 1976

Files with Semantics.
Proceedings of the 1976 ACM SIGMOD International Conference on Management of Data, 1976

1974
Another Look at Data-Bases.
FDT - Bulletin of ACM SIGMOD, 1974

On Interaction with Data Bases.
Proceedings of 1974 ACM-SIGMOD Workshop on Data Description, 1974

1973
Representation of Binary Trees on Associative Memories.
Inf. Process. Lett., 1973

1972
Rotating Storage Devices As Partially Associative Memories.
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.
Proceedings of 1972 ACM-SIGFIDET Workshop on Data Description, Access and Control, Denver, Colorado, USA, November 29, 1972


  Loading...