-
1
-
-
0028388693
-
Policies in network and system management - Formal definition and architecture
-
R. Wies, Policies in network and system management - formal definition and architecture, Journal of Network and System Management, 2(1):63-83, 1994.
-
(1994)
Journal of Network and System Management
, vol.2
, Issue.1
, pp. 63-83
-
-
Wies, R.1
-
2
-
-
0012793753
-
An active temporal model for network management databases
-
Santa Barbara, California, May
-
M. Z. Hasan, An active temporal model for network management databases, IFIP/IEEE fourth International Symposium on Integrated Network Management, pp. 524-535, Santa Barbara, California, May 1995.
-
(1995)
IFIP/IEEE Fourth International Symposium on Integrated Network Management
, pp. 524-535
-
-
Hasan, M.Z.1
-
4
-
-
0032596611
-
A policy description language
-
Orlando, Florida, July
-
J. Lobo, R. Bhatia, and S. Naqvi, A policy description language, Proc. of AAAI/IAAI, pp. 291-298, Orlando, Florida, July 1999.
-
(1999)
Proc. of AAAI/IAAI
, pp. 291-298
-
-
Lobo, J.1
Bhatia, R.2
Naqvi, S.3
-
5
-
-
0004153882
-
Terminology and Glossary
-
The Workflow Management Coalition, June
-
The Workflow Management Coalition, Terminology and Glossary, Technical Report WFMC-TC-1011, The Workflow Management Coalition, June 1996.
-
(1996)
Technical Report
, vol.WFMC-TC-1011
-
-
-
6
-
-
0031636451
-
Relational transducers for electronic commerce
-
Seattle, Washington, June
-
S. Abiteboul, V. Vianu, B. Frodham, and Y. Yesha, Relational transducers for electronic commerce, Proc. 17th ACM SIGACT/SIGMOD Symposium on Principles of Database Systems, Seattle, Washington, June 1998, pp. 179-187.
-
(1998)
Proc. 17th ACM SIGACT/SIGMOD Symposium on Principles of Database Systems
, pp. 179-187
-
-
Abiteboul, S.1
Vianu, V.2
Frodham, B.3
Yesha, Y.4
-
8
-
-
0031674208
-
Failure handling and coordinated execution of concurrent work-flows
-
Orlando, Florida, February
-
M. Kamath and K. Ramamritham, Failure handling and coordinated execution of concurrent work-flows, International Conference on Data Engineering, Orlando, Florida, pp. 334-341, February 1998.
-
(1998)
International Conference on Data Engineering
, pp. 334-341
-
-
Kamath, M.1
Ramamritham, K.2
-
9
-
-
0346467856
-
Workflow in Network Management
-
Bell Labs
-
M. Kohli and J. Lobo, Workflow in Network Management, Technical Report, Bell Labs, 1999.
-
(1999)
Technical Report
-
-
Kohli, M.1
Lobo, J.2
-
10
-
-
0033890497
-
Policy evaluation for network management
-
Tel Aviv, Israel, March
-
R. Bhatia, J. Lobo, and M. Kohli, Policy evaluation for network management, Proc. INFOCOM 2000, Tel Aviv, Israel, pp. 1107-1116, March 2000.
-
(2000)
Proc. INFOCOM 2000
, pp. 1107-1116
-
-
Bhatia, R.1
Lobo, J.2
Kohli, M.3
-
11
-
-
0037249177
-
Conflict resolution using logic programming
-
J. Chomicki, J. Lobo, and S. Naqvi, Conflict resolution using logic programming, IEEE Transactions on Knowledge and Data Engineering, Vol. 15, No. (1), pp. 244-249, 2003.
-
(2003)
IEEE Transactions on Knowledge and Data Engineering
, vol.15
, Issue.1
, pp. 244-249
-
-
Chomicki, J.1
Lobo, J.2
Naqvi, S.3
-
12
-
-
0033689656
-
Netmon: Network management for the SARAS softswitch
-
Honolulu, Hawaii, April
-
A. Virmani, J. Lobo, and M. Kohli, Netmon: Network management for the SARAS softswitch, Proc. IEEE/IFIP Network Operations and Management Symposium, Honolulu, Hawaii, pp 803-816, April 2000.
-
(2000)
Proc. IEEE/IFIP Network Operations and Management Symposium
, pp. 803-816
-
-
Virmani, A.1
Lobo, J.2
Kohli, M.3
-
14
-
-
0347098114
-
Formal Aspects of Workflow Management, Part 1: Semantics
-
North Carolina State University
-
M. P. Singh, Formal Aspects of Workflow Management, Part 1: Semantics, Technical Report TR-96-08, North Carolina State University, 1997.
-
(1997)
Technical Report
, vol.TR-96-08
-
-
Singh, M.P.1
-
15
-
-
0031641774
-
Logic based modeling and analysis of workflows
-
Seattle, Washington, June
-
H. Davulcu, M. Kifer, C. R. Ramakrishnan, and I. V. Ramakrishnan, Logic based modeling and analysis of workflows, Proc. 17th ACM SIGACT/SIGMOD Symposium on Principles of Database Systems, Seattle, Washington, pp. 25-33, June 1998.
-
(1998)
Proc. 17th ACM SIGACT/SIGMOD Symposium on Principles of Database Systems
, pp. 25-33
-
-
Davulcu, H.1
Kifer, M.2
Ramakrishnan, C.R.3
Ramakrishnan, I.V.4
-
16
-
-
0032676577
-
Workflow, transactions and datalog
-
Philadelphia, Pennsylvania, May-June
-
A. Bonner, Workflow, transactions and datalog, Proc. 18th ACM SIGACT/SIGMOD Symposium on Principles of Database Systems, Philadelphia, Pennsylvania, pp. 294-305, May-June 1999.
-
(1999)
Proc. 18th ACM SIGACT/SIGMOD Symposium on Principles of Database Systems
, pp. 294-305
-
-
Bonner, A.1
-
17
-
-
0040817715
-
Concurrency and communication in transaction logic
-
MIT Press, Bonn, Germany, September
-
A. Bonner and M. Kifer, Concurrency and communication in transaction logic, Joint International Conference and Symposium on Logic Programming, MIT Press, Bonn, Germany, pp. 142-156, September 1996.
-
(1996)
Joint International Conference and Symposium on Logic Programming
, pp. 142-156
-
-
Bonner, A.1
Kifer, M.2
-
18
-
-
0031385390
-
Planning with concurrent interacting actions
-
AAAI Press, Providence, Rhadhe Island, July
-
C. Boutilier and R. I. Brafman, Planning with concurrent interacting actions, Proc. of the National Conference on Artificial Intelligence, AAAI Press, Providence, Rhadhe Island, pp. 720-726, July 1997.
-
(1997)
Proc. of the National Conference on Artificial Intelligence
, pp. 720-726
-
-
Boutilier, C.1
Brafman, R.I.2
-
19
-
-
0028750404
-
An introduction to least commitment planning
-
D.S. Weld, An introduction to least commitment planning, AI Magazine, Vol. 15, No. 4, pp. 27-61, 1994.
-
(1994)
AI Magazine
, vol.15
, Issue.4
, pp. 27-61
-
-
Weld, D.S.1
|