-
1
-
-
84881163072
-
-
IBM Corporation
-
IBM Tivoli Monitoring, IBM Corporation, http://www.tivoli.com/products/index/monitor/.
-
IBM Tivoli Monitoring
-
-
-
2
-
-
4544341321
-
-
IBM Research Division
-
Autonomic Computing, IBM Research Division, IBM Corporation, http://www.research.ibm.com/autonomic/.
-
Autonomic Computing
-
-
-
3
-
-
85038465283
-
-
The Distributed Management Task Force, Inc., http://www.dmtf.org/index.php.
-
-
-
-
4
-
-
85038479159
-
-
IBM Corporation
-
Tivoli Management Framework 3.7.1, IBM Corporation, http: //ww.tivoli.com/support/public/Prodman/public_manuals/ td/ManagementFramework3.7.1.html.
-
Tivoli Management Framework 3.7.1
-
-
-
5
-
-
85038452818
-
-
note
-
Tivoli Management Environment provides centralized management and a single point of control for data distribution to groups of systems. In the Tivoli environment, a profile provides a container for application-specific information about a particular type of resource. Profiles can be specialized and configured, distributed across a network, and applied to a diverse set of machines, according to a subscription paradigm. The profile feature is scalable with the number of distributed systems.
-
-
-
-
7
-
-
0035268235
-
Oil: An ontology infrastructure for the semantic web
-
D. Fensel, F. van Harmelen, I. Horrocks, D. L. McGuinness, and P. F. Patel-Schneider, "OIL: An Ontology Infrastructure for the Semantic Web," IEEE Intelligent Systems 16, No. 2, 38-45 (2001).
-
(2001)
IEEE Intelligent Systems
, vol.16
, Issue.2
, pp. 38-45
-
-
Fensel, D.1
Van Harmelen, F.2
Horrocks, I.3
McGuinness, D.L.4
Patel-Schneider, P.F.5
-
8
-
-
0000228920
-
Unifying class-based representation formalisms
-
D. Calvanese, M. Lenzerini, and D. Nardi, "Unifying Class-Based Representation Formalisms," Journal of Artificial Intelligence Research 11, 199-240 (1999).
-
(1999)
Journal of Artificial Intelligence Research
, vol.11
, pp. 199-240
-
-
Calvanese, D.1
Lenzerini, M.2
Nardi, D.3
-
9
-
-
0003727420
-
-
Cambridge University Press. To appear
-
The Description Logic Handbook: Theory, Implementation and Applications, F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. F. Patel-Schneider, Editors, Cambridge University Press (2002). To appear.
-
(2002)
The Description Logic Handbook: Theory, Implementation and Applications
-
-
Baader, F.1
Calvanese, D.2
McGuinness, D.3
Nardi, D.4
Patel-Schneider, P.F.5
-
10
-
-
0031628670
-
On the decidability of query containment under constraints
-
ACM, New York
-
D. Calvanese, G. De Giacomo, and M. Lenzerini, "On the Decidability of Query Containment under Constraints," Proceedings of the 17th ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS'98), ACM, New York (1998), pp. 149-158.
-
(1998)
Proceedings of the 17th ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS'98)
, pp. 149-158
-
-
Calvanese, D.1
De Giacomo, G.2
Lenzerini, M.3
-
11
-
-
0002968811
-
Description logic framework for information integration
-
Morgan Kaufmann Publishers, San Francisco, CA
-
D. Calvanese, G. De Giacomo, M. Lenzerini, D. Nardi, and R. Rosati, "Description Logic Framework for Information Integration," Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR'98), Morgan Kaufmann Publishers, San Francisco, CA (1998), pp. 2-13.
-
(1998)
Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR'98)
, pp. 2-13
-
-
Calvanese, D.1
De Giacomo, G.2
Lenzerini, M.3
Nardi, D.4
Rosati, R.5
-
12
-
-
84880905070
-
Identification constraints and functional dependencies in description logics
-
Morgan Kaufmann Publishers, San Francisco, CA
-
D. Calvanese, G. De Giacomo, and M. Lenzerini, "Identification Constraints and Functional Dependencies in Description Logics," Proceedings of the 17th International Joint Conference on Artificial Intelligence (UCAI 2001), Morgan Kaufmann Publishers, San Francisco, CA (2001), pp. 155-160.
-
(2001)
Proceedings of the 17th International Joint Conference on Artificial Intelligence (UCAI 2001)
, pp. 155-160
-
-
Calvanese, D.1
De Giacomo, G.2
Lenzerini, M.3
-
13
-
-
0003547470
-
-
Addison-Wesley Publishing Co., Boston, MA
-
J. Rumbaugh, I. Jacobson, and G. Booch, The Unified Modeling Language Reference Manual, Addison-Wesley Publishing Co., Boston, MA (1998).
-
(1998)
The Unified Modeling Language Reference Manual
-
-
Rumbaugh, J.1
Jacobson, I.2
Booch, G.3
-
14
-
-
84884619246
-
A formal framework for reasoning on UML class diagrams
-
Proceedings of the 13th International Symposium on Methodologies for Intelligent Systems (ISMIS 2002), Springer, New York
-
A. Calì, D. Calvanese, G. De Giacomo, and M. Lenzerini, "A Formal Framework for Reasoning on UML Class Diagrams," Proceedings of the 13th International Symposium on Methodologies for Intelligent Systems (ISMIS 2002), Lecture Notes in Computer Science 2366, Springer, New York (2002), pp. 503-513.
-
(2002)
Lecture Notes in Computer Science
, vol.2366
, pp. 503-513
-
-
Calì, A.1
Calvanese, D.2
De Giacomo, G.3
Lenzerini, M.4
-
16
-
-
35248834882
-
Reasoning on UML class diagrams in description logics
-
A. Calì, D. Calvanese, G. De Giacomo, and M. Lenzerini, "Reasoning on UML Class Diagrams in Description Logics," Proceedings of IJCAR Workshop on Precise Modelling and Deduction for Object-Oriented Software Development (PMD'0l), (2001), http://i12www.ira.uka.de/̃beckert/PMD/proceedings.html.
-
(2001)
Proceedings of IJCAR Workshop on Precise Modelling and Deduction for Object-Oriented Software Development (PMD'0l)
-
-
Calì, A.1
Calvanese, D.2
De Giacomo, G.3
Lenzerini, M.4
-
17
-
-
84886308598
-
The fact system
-
H. C. M. de Swart, Editor, Proceedings of the 2nd International Conference on Analytic Tableaux and Related Methods (TABLEAUX'98), Springer, New York
-
I. Horrocks, "The FaCT System," H. C. M. de Swart, Editor, Proceedings of the 2nd International Conference on Analytic Tableaux and Related Methods (TABLEAUX'98), Lecture Notes in Artificial Intelligence 1397, Springer, New York (1998), pp. 307-312.
-
(1998)
Lecture Notes in Artificial Intelligence
, vol.1397
, pp. 307-312
-
-
Horrocks, I.1
-
19
-
-
84867759223
-
RACER system description
-
Proceedings of the International Joint Conference on Automated Reasoning (IJCAR 2001), Springer, New York
-
V. Haarslev and R. Moeller, "RACER System Description," Proceedings of the International Joint Conference on Automated Reasoning (IJCAR 2001), Lecture Notes in Artificial Intelligence 2083, Springer, New York (2001), pp. 701-705, http://www.globus.org/OGSA
-
(2001)
Lecture Notes in Artificial Intelligence
, vol.2083
, pp. 701-705
-
-
Haarslev, V.1
Moeller, R.2
-
20
-
-
85038468941
-
-
note
-
The most appropriate values for the configuration parameters heavily depend on the operational conditions at the target. In ITM Version 5.1 a default setting is given, which the user may change during the configuration phase. In the future, we envision an Adaptive Manager running at the target whose function is to tune the configuration parameters of the resource models according to the operational conditions of the hosting environment.
-
-
-
|