| |
|
Selected
Recent Papers
A more complete list of papers can be
found here
-
Establishing Accounting Principles as Invariants of Financial
Systems
Naftaly Minsky
In Proc. of the Fourth International IFIP TC-11 WG 11.5 Conference on
INTEGRITY and INTERNAL CONTROL in INFORMATION SYSTEMS
Brussels, Belgium; November 15-16, 2001.
PostScript ,
PDF
-
Establishing Enterprise Communities
Constantin Serban, Xuhui Ao and Naftaly Minsky
In Proc. of the 5th IEEE International Enterprise Distributed Object Computing
Conference (EDOC 2001)
Seattle Washington, September 2001.
PostScript ,
PDF
-
Formal Treatment of Certificate Revocation Under Communal Access Control
Xuhui Ao, Naftaly Minsky, and Victoria Ungureanu
In Proc. of the 2001 IEEE Symposium on Security and Privacy,
Oakland California, May 2001.
PostScript ,
PDF
-
Safe Tuplespace-Based Coordination in Multi Agent Systems
Naftaly Minsky, Yaron Minsky and Victoria Ungureanu
in the Journal of Applied Artificial Intelligence (AAI), January 2001 (Vol 15, No. 1, pages: 11-33)
PostScript ,
PDF
-
Establishing Business Rules for Inter-Enterprise Electronic Commerce
Victoria Ungureanu and Naftaly Minsky
In Proc. of the 14th International Symposium on DIStributed Computing
(DISC 2000), LNCS, No. 1914, pages 179-193, Springer-Verlag, October 2000, Toledo Spain
PostScript ,
PDF
-
Law-Governed Communities Over the Internet
Xuhui Ao, Naftaly Minsky, Thu Nguyen, Victoria Ungureanu
In Proc. of Coordination' 2000: Fourth International Conference on
Coordination Models and Languages,
LNCS, No. 1906, pages 133-147, Springer-Verlag, September 2000, Limassol
Cyprus.
PostScript ,
PDF
-
Law-Governed Interaction: A Coordination & Control Mechanism for
Heterogeneous Distributed Systems.
Naftaly Minsky and Victoria Ungureanu
in ACM Transactions on Software
Engineering and Methodology (TOSEM), July 2000 (Vol 9, No 3, pages: 273-305)
PostScript ,
PDF
-
Providing Multiple Views for Objects
Naftaly Minsky and Partha pratim Pal
Software Practice and Experience June, 2000 (Vol 30, Issue 7, pages: 803-823).
PostScript ,
PDF
<
Documentation and Specifications
|
|
