-
2
-
-
84944060122
-
Contract representation for run-time monitoring and enforcement
-
Newport Beach, CA, June
-
Carlos Molina-Jimenez, Santosh Shrivastava, Ellis Solaiman, John Warne, Contract representation for run-time monitoring and enforcement, in: Proceedings of the IEEE International Conference on E-Commerce (CEC-2003), Newport Beach, CA, June, 2003.
-
(2003)
Proceedings of the IEEE International Conference on E-Commerce (CEC-2003)
-
-
Molina-Jimenez, C.1
Shrivastava, S.2
Solaiman, E.3
Warne, J.4
-
3
-
-
84992227458
-
Proposed NIST standard for role-based access control
-
Ferraiolo David F., Sandhu Ravi, Gavrila Serban, Richard Kuhn D., Chandramouli Ramaswamy Proposed NIST standard for role-based access control. ACM Transactions on Information and Systems Security. 4(3):2001.
-
(2001)
ACM Transactions on Information and Systems Security
, vol.4
, Issue.3
-
-
Ferraiolo, D.F.1
Sandhu, R.2
Gavrila, S.3
Richard Kuhn, D.4
Chandramouli, R.5
-
5
-
-
2342654374
-
Model checking correctness properties of electronic contracts
-
Trento, Italy, December
-
Ellis Solaiman, Carlos Molina-Jimenez, Santosh Shrivastava, Model checking correctness properties of electronic contracts, in: International Conference on Service Oriented Computing (ICSOC03), Trento, Italy, December, 2003.
-
(2003)
International Conference on Service Oriented Computing (ICSOC03)
-
-
Solaiman, E.1
Molina-Jimenez, C.2
Shrivastava, S.3
-
6
-
-
26844440720
-
Business contracts for B2B
-
Stockholm, June 5-6
-
Andrew Goodchild, Charles Herring, Zoran Milosevic, Business contracts for B2B, in: Proceedings of the CAISE*00 Workshop on Infrastructure for Dynamic Business-to-Business Service Outsourcing, Stockholm, June 5-6, 2000.
-
(2000)
Proceedings of the CAISE*00 Workshop on Infrastructure for Dynamic Business-to-Business Service Outsourcing
-
-
Goodchild, A.1
Herring, C.2
Milosevic, Z.3
-
7
-
-
0036929536
-
Distributed object middleware to support dependable information sharing between organisations
-
Bethesda, USA, June
-
N. Cook, S.K. Shrivastava, S.M. Wheater, Distributed object middleware to support dependable information sharing between organisations, in: Proceedings of the IEEE International Conference on Dependable Systems and Networks (DSN-2002), Bethesda, USA, June, 2002.
-
(2002)
Proceedings of the IEEE International Conference on Dependable Systems and Networks (DSN-2002)
-
-
Cook, N.1
Shrivastava, S.K.2
Wheater, S.M.3
-
8
-
-
0002863149
-
A CORBA compliant transactional workflow system for Internet applications
-
Middleware 98, Springer, London
-
S.M. Wheater, S.K. Shrivastava, F. Ranno, A CORBA compliant transactional workflow system for Internet applications, in: Proceedings of the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing, Middleware 98, Springer, London, 1998.
-
(1998)
Proceedings of the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing
-
-
Wheater, S.M.1
Shrivastava, S.K.2
Ranno, F.3
-
9
-
-
84926213598
-
Towards formal modeling of e-contracts
-
September 4-7, Seattle, WA, USA, IEEE Computer
-
Olivera Marjanovic, Zoran Milosevic, Towards formal modeling of e-contracts, in: Proceedings of the 5th International Enterprise Distributed Object Computing Conference (EDOC 2001), September 4-7, 2001, Seattle, WA, USA, IEEE Computer.
-
(2001)
Proceedings of the 5th International Enterprise Distributed Object Computing Conference (EDOC 2001)
-
-
Marjanovic, O.1
Milosevic, Z.2
-
10
-
-
35948986519
-
On expressing and monitoring behaviour in contracts
-
Lausanne, Switzerland, September 17-20
-
Z. Milosevic, R.G. Dromey, On expressing and monitoring behaviour in contracts, in: Proceedings of the 6th International Enterprise Distributed Object Computing Conference (EDOC2000), Lausanne, Switzerland, September 17-20, 2002.
-
(2002)
Proceedings of the 6th International Enterprise Distributed Object Computing Conference (EDOC2000)
-
-
Milosevic, Z.1
Dromey, R.G.2
-
11
-
-
16244378396
-
Mechanical consistency analysis for business contracts and policies
-
Montreal, Canada, October 23-27, 2002, Society
-
A.S. Abrahams, D.M. Eyers, J.M. Bacon, Mechanical consistency analysis for business contracts and policies, in: Proceedings of the 5th International Conference on Electronic Commerce Research (ICECR5), Montreal, Canada, October 23-27, 2002, Society 2001.
-
(2001)
Proceedings of the 5th International Conference on Electronic Commerce Research (ICECR5)
-
-
Abrahams, A.S.1
Eyers, D.M.2
Bacon, J.M.3
-
12
-
-
84936869135
-
Ponder: Realising enterprise viewpoint concepts
-
Makuhari, Japan, September 25-28
-
E. Lupu, M Sloman, N. Dulay, N. Damianou, Ponder: realising enterprise viewpoint concepts, in: Proceedings of the 4th International Enterprise Distributed Object Computing Conference (EDOC2000), Makuhari, Japan, September 25-28, 2000.
-
(2000)
Proceedings of the 4th International Enterprise Distributed Object Computing Conference (EDOC2000)
-
-
Lupu, E.1
Sloman, M.2
Dulay, N.3
Damianou, N.4
-
15
-
-
0000788149
-
Law-governed interaction: A coordination and control mechanism for heterogeneous distributed systems
-
Naftaly H. Minsky, Victoria Ungureanu, Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems. ACM TOSEM (3) (2000) 273-305.
-
(2000)
ACM TOSEM (3)
, pp. 273-305
-
-
Minsky, N.H.1
Ungureanu, V.2
-
16
-
-
84944100195
-
Establishing business rules for inter-enterprise electronic commerce
-
Toledo, Spain, October 4-6
-
Victoria Ungureanu, Naftaly H. Minsky, Establishing business rules for inter-enterprise electronic commerce, in: International Symposium on Distributed Computing (DISC) Workshop on Distributed Algorithms (WDAG), Toledo, Spain, October 4-6, 2000.
-
(2000)
International Symposium on Distributed Computing (DISC) Workshop on Distributed Algorithms (WDAG)
-
-
Ungureanu, V.1
Minsky, N.H.2
-
17
-
-
2342490241
-
Scalable regulation of inter-enterprise electronic commerce
-
Proceedings of the Second Ineternational Workshop, WELCOM 2001 Heidelberg, Germany, November, Springer, Berlin
-
Naftaly H. Minsky, Victoria Ungureanu, Scalable regulation of inter-enterprise electronic commerce, in: Proceedings of the Second Ineternational Workshop, WELCOM 2001 Heidelberg, Germany, November 2001, Lecture Notes in Computer Science, vol. 2232, Springer, Berlin.
-
(2001)
Lecture Notes in Computer Science
, vol.2232
-
-
Minsky, N.H.1
Ungureanu, V.2
|