-
1
-
-
33646717892
-
Using event calculus to formalise policy specification and analysis
-
Arosha K. Bandara, Emil C. Lupu, and Alessandra Russo. Using event calculus to formalise policy specification and analysis. In Proceedings of HPOVUA 2003, 2003.
-
(2003)
Proceedings of HPOVUA 2003
-
-
Bandara, A.K.1
Lupu, E.C.2
Russo, A.3
-
2
-
-
0002822343
-
A logic programming approach to conflict resolution in policy management
-
Breckenridge, Colorado, Morgan Kaufman
-
J. Chomicki, J. Lobo, and S. Naqvi. A logic programming approach to conflict resolution in policy management. In 7th International Conference on Principles of Knowledge Representation and Reasoning (KR'2000), pages 121-132, Breckenridge, Colorado, Morgan Kaufman, 2000.
-
(2000)
7th International Conference on Principles of Knowledge Representation and Reasoning (KR'2000)
, pp. 121-132
-
-
Chomicki, J.1
Lobo, J.2
Naqvi, S.3
-
3
-
-
0037249177
-
Conflict resolution using logic programming
-
J. Chomicki, J. Lobo, and S. Naqvi. Conflict resolution using logic programming. Transaction on Knowledge and Data Engineering, 15(1):244-249, 2003.
-
(2003)
Transaction on Knowledge and Data Engineering
, vol.15
, Issue.1
, pp. 244-249
-
-
Chomicki, J.1
Lobo, J.2
Naqvi, S.3
-
5
-
-
0141804971
-
-
PhD thesis, Imperial College of Science, Technology and Medicine, University of London, Department of Computing, February
-
N. C. Damianou. A Policy Framework for Management of Distributed Systems. PhD thesis, Imperial College of Science, Technology and Medicine, University of London, Department of Computing, February 2002.
-
(2002)
A Policy Framework for Management of Distributed Systems
-
-
Damianou, N.C.1
-
8
-
-
0033333334
-
Conflicts in policy-based distributed systems management
-
November
-
Emil C. Lupu and Morris Sloman. Conflicts in policy-based distributed systems management. IEEE Transactions on Software Engineering, 25(6):852-869, November 1999.
-
(1999)
IEEE Transactions on Software Engineering
, vol.25
, Issue.6
, pp. 852-869
-
-
Lupu, E.C.1
Sloman, M.2
-
9
-
-
0004117849
-
RFC 1065: Structure and identification of management information fo r tcp/ip-based internets
-
Internet Engineering Task Force (IETF), August
-
K. McCloghrie and M.T. Rose. RFC 1065: Structure and identification of management information fo r tcp/ip-based internets. RFC, Internet Engineering Task Force (IETF), August 1988.
-
(1988)
RFC
-
-
McCloghrie, K.1
Rose, M.T.2
-
12
-
-
0344429771
-
OMG unified modeling language specification, version 1.5
-
Object Management Group, March
-
OMG Unified Modeling Language Specification, Version 1.5. Technical Report formal/03-03-01, Object Management Group, March 2003. http://www.omg.org/cgi-bin/doc?formal/03-03-01.
-
(2003)
Technical Report Formal/03-03-01
-
-
-
13
-
-
0003614381
-
-
RFC, Internet Engineering Task Force (IETF), November
-
A. Westerinen, J. Schnizlein, J. Strassner, M. Scherling, B. Quinn, S. Herzog, A. Huynh, M. Carlson, J. Perry, and S. Waldbusser. RFC 3198: Terminology for policy-based management. RFC, Internet Engineering Task Force (IETF), November 2001.
-
(2001)
RFC 3198: Terminology for Policy-based Management
-
-
Westerinen, A.1
Schnizlein, J.2
Strassner, J.3
Scherling, M.4
Quinn, B.5
Herzog, S.6
Huynh, A.7
Carlson, M.8
Perry, J.9
Waldbusser, S.10
|