-
1
-
-
33645780236
-
"Ganglia Monitoring System"
-
"Ganglia Monitoring System", http://ganglia.sourceforge.net/.
-
-
-
-
2
-
-
0043063020
-
"DAML-S: Semantic markup for web services"
-
A. Ankolekar, M. Burstein, J. Hobbs, O. Lassila, D. Martin, S. McIlraithe, S. Narayanan, M. Paolucci, T. Payne, K. Sycara and H. Zeng, "DAML-S: Semantic markup for web services", in Proc. 1st Int'l Semantic Web Conf. (ISWC 02), 2002.
-
(2002)
Proc. 1st Int'l Semantic Web Conf. (ISWC 02)
-
-
Ankolekar, A.1
Burstein, M.2
Hobbs, J.3
Lassila, O.4
Martin, D.5
McIlraithe, S.6
Narayanan, S.7
Paolucci, M.8
Payne, T.9
Sycara, K.10
Zeng, H.11
-
3
-
-
0004836086
-
"An intelligent brokering service for knowledge-component reuse on the world-wideweb"
-
Banff, Canada April
-
V.R. Benjamins, E. Plaza, E. Motta, D. Fensel, R. Studer, B. Wielinga, G. Schreiber, Z. Zdrahal and S. Decker, "An intelligent brokering service for knowledge-component reuse on the world-wideweb", in Proceedings of the 11th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW'98), Banff, Canada, pp. 18-23, April 1998.
-
(1998)
Proceedings of the 11th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW'98)
, pp. 18-23
-
-
Benjamins, V.R.1
Plaza, E.2
Motta, E.3
Fensel, D.4
Studer, R.5
Wielinga, B.6
Schreiber, G.7
Zdrahal, Z.8
Decker, S.9
-
4
-
-
84956867814
-
"Towards brokering problem-solving knowledge on the internet"
-
D. Fensel and R. Studer (eds.) (EKAW-99) of LNAI, Springer, Berlin Heidelberg New York
-
V.R. Benjamins, B. Wielinga, J. Wielemaker and D. Fensel, "Towards brokering problem-solving knowledge on the internet", in D. Fensel and R. Studer (eds.), Proceedings of the 11th European Workshop on Knowledge Acquisition, Modeling and Management (EKAW-99), Vol. 1621 of LNAI, Springer, Berlin Heidelberg New York pp. 33-48, 1999.
-
(1999)
Proceedings of the 11th European Workshop on Knowledge Acquisition, Modeling and Management
, vol.1621
, pp. 33-48
-
-
Benjamins, V.R.1
Wielinga, B.2
Wielemaker, J.3
Fensel, D.4
-
5
-
-
0342640435
-
"An overview of the KL-ONE knowledge representation system"
-
R. Brachman and J. Schmolze, "An overview of the KL-ONE knowledge representation system", 1985.
-
(1985)
-
-
Brachman, R.1
Schmolze, J.2
-
6
-
-
33645780698
-
"Mathematical Service Description Language"
-
Technical Report Available from the MONET website
-
S. Buswell, O. Caprotti and M. Dewar, "Mathematical Service Description Language", Technical Report, 2003. Available from the MONET website: http://monet.nag.co.uk/cocoon/monet/publicdocs/ monet-msdl-final.pdf.
-
(2003)
-
-
Buswell, S.1
Caprotti, O.2
Dewar, M.3
-
7
-
-
35048862808
-
"Mathematics on the (Semantic) Net"
-
C. Bussler, J. Davies, D. Fensel, and R. Studer (eds.) of LNCS, Springer
-
O. Caprotti, M. Dewar, J. Davenport and J. Padget, "Mathematics on the (Semantic) Net", in C. Bussler, J. Davies, D. Fensel, and R. Studer (eds.), Proceedings of the European Symposium on the Semantic Web, Vol. 3053 of LNCS, Springer, pp. 213-224, 2004.
-
(2004)
Proceedings of the European Symposium on the Semantic Web
, vol.3053
, pp. 213-224
-
-
Caprotti, O.1
Dewar, M.2
Davenport, J.3
Padget, J.4
-
8
-
-
10444285611
-
"OWL-S: Semantic markup for web services"
-
Coalition
-
Coalition, "OWL-S: Semantic markup for web services", 2003.
-
(2003)
-
-
-
9
-
-
0002248655
-
"KQML as an agent communication language"
-
T. Finin, R. Fritzson, D. McKay and R. McEntire, "KQML as an agent communication language", in Proceedings of 3rd International Conference on Information and Knowledge Management, pp. 456-463, 1994.
-
(1994)
Proceedings of 3rd International Conference on Information and Knowledge Management
, pp. 456-463
-
-
Finin, T.1
Fritzson, R.2
McKay, D.3
McEntire, R.4
-
10
-
-
0003799302
-
-
Technical report, Computer Science Department, Stanford University Available from
-
M. Genesereth and R. Fikes, "Knowledge interchange format, version 3.0 reference manual", Technical report, Computer Science Department, Stanford University, 1992. Available from http://www-ksl.stanford.edu/knowledge-sharing/papers/kif.ps.
-
(1992)
"Knowledge Interchange Format, Version 3.0 Reference Manual"
-
-
Genesereth, M.1
Fikes, R.2
-
11
-
-
4544340492
-
"Extended matchmaking to maximize capability reuse"
-
N. R. Jennings, C. Sierra, L. Sonnenberg and M. Tambe (eds.) ACM
-
M. Gomez and E. Plaza, "Extended matchmaking to maximize capability reuse", in N. R. Jennings, C. Sierra, L. Sonnenberg and M. Tambe (eds.), Proceedings of The Third International Joint Conference on Autonomous Agents and Multi Agent Systems, Vol. 1., ACM, pp. 144-151, 2004.
-
(2004)
Proceedings of The Third International Joint Conference on Autonomous Agents and Multi Agent Systems
, vol.1
, pp. 144-151
-
-
Gomez, M.1
Plaza, E.2
-
12
-
-
37149042046
-
"Dynamic web service selection for workflow optimisation"
-
Nottingham
-
L. Huang, D. Walker, Y. Huang and O. Rana, "Dynamic web service selection for workflow optimisation", Proceedings of UK eScience All-Hands Meeting, Nottingham, 2005.
-
(2005)
Proceedings of UK EScience All-Hands Meeting
-
-
Huang, L.1
Walker, D.2
Huang, Y.3
Rana, O.4
-
13
-
-
34248526573
-
"OWLJessKB"
-
J. Kopena, "OWLJessKB", 2004. http://edge.cs.drexel.edu/ assemblies/software/owljesskb/.
-
(2004)
-
-
Kopena, J.1
-
14
-
-
0030164761
-
"Integrating information via matchmaking"
-
D. Kuokka and L. Harada, "Integrating information via matchmaking", Intelligent Information Systems, Vol. 6, No. 2-3, pp. 261-279, 1996.
-
(1996)
Intelligent Information Systems
, vol.6
, Issue.2-3
, pp. 261-279
-
-
Kuokka, D.1
Harada, L.2
-
15
-
-
33645791703
-
"MONET Home Page"
-
MONET Consortium Available from
-
MONET Consortium, "MONET Home Page", 2002, Available from http://monet.nag.co.uk.
-
(2002)
-
-
-
16
-
-
33645757839
-
"Semantic matching for mathematical services"
-
W. Naylor and J. Padget, "Semantic matching for mathematical services", Lecture Notes in Computer Science, Vol. 3863, pp. 174-189, 2006.
-
(2006)
Lecture Notes in Computer Science
, vol.3863
, pp. 174-189
-
-
Naylor, W.1
Padget, J.2
-
17
-
-
0037253716
-
"Meta-stylesheets for the conversion of mathematical documents into multiple forms"
-
W. Naylor and S. Watt, "Meta-stylesheets for the conversion of mathematical documents into multiple forms", Annals of Mathematics and Artificial Intelligence, Vol. 38, No. 1-3, pp. 3-25, 2003.
-
(2003)
Annals of Mathematics and Artificial Intelligence
, vol.38
, Issue.1-3
, pp. 3-25
-
-
Naylor, W.1
Watt, S.2
-
18
-
-
0032671291
-
"Semantic brokering over dynamic heterogenous data sources in InfoSleuth"
-
M. Nodine, W. Bohrer, and A. Ngu, "Semantic brokering over dynamic heterogenous data sources in InfoSleuth", in Proceedings of the 15th International Conference on Data Engineering, pp. 358-365, 1999.
-
(1999)
Proceedings of the 15th International Conference on Data Engineering
, pp. 358-365
-
-
Nodine, M.1
Bohrer, W.2
Ngu, A.3
-
19
-
-
0000546276
-
"Some unsolvable problems involving elementary functions of a real variable"
-
D. Richardson, "Some unsolvable problems involving elementary functions of a real variable", Journal of Computational Logic, Vol. 33, pp. 514-520, 1968.
-
(1968)
Journal of Computational Logic
, vol.33
, pp. 514-520
-
-
Richardson, D.1
-
21
-
-
30544449402
-
"Ontology, Metadata, and Semiotics, Conceptual Structures: Logical, Linguistic, and Computational Issues"
-
Lecture Notes in AI #1867, Springer, Berlin Heidelberg New York
-
J. Sowa, "Ontology, Metadata, and Semiotics, Conceptual Structures: Logical, Linguistic, and Computational Issues", Lecture Notes in AI #1867, Springer, Berlin Heidelberg New York pp. 55-81, 2000.
-
(2000)
, pp. 55-81
-
-
Sowa, J.1
-
22
-
-
0036271789
-
"Larks: Dynamic matchmaking among heterogeneous software agents in cyberspace"
-
K. Sycara, S. Widoff, M. Klusch and J. Lu, "Larks: Dynamic matchmaking among heterogeneous software agents in cyberspace", Journal of Autonomous Agents and Multi Agent Systems, Vol. 5, No. 2, pp. 173-203, 2002.
-
(2002)
Journal of Autonomous Agents and Multi Agent Systems
, vol.5
, Issue.2
, pp. 173-203
-
-
Sycara, K.1
Widoff, S.2
Klusch, M.3
Lu, J.4
-
23
-
-
84867171584
-
"Triana applications within Grid computing and peer to peer environments"
-
I. Taylor, M. Shields, I. Wang and O. Rana, "Triana applications within Grid computing and peer to peer environments", Journal of Grid Computing, Vol. 1, pp. 199-217, 2003.
-
(2003)
Journal of Grid Computing
, vol.1
, pp. 199-217
-
-
Taylor, I.1
Shields, M.2
Wang, I.3
Rana, O.4
-
24
-
-
33645755011
-
"GENSS Home Page"
-
The GENSS Project Available from
-
The GENSS Project, "GENSS Home Page", 2004. Available from http://genss.cs.bath.ac.uk.
-
(2004)
-
-
-
25
-
-
33645757115
-
"The OpenMath Standard"
-
The OpenMath Society Available from
-
The OpenMath Society, "The OpenMath Standard", 2002. Available from http://www.openmath.org/standard/om11/omstd11.xml.
-
(2002)
-
-
-
26
-
-
24644460036
-
"The OpenMath Standard"
-
The OpenMath Society Available from
-
The OpenMath Society, "The OpenMath Standard", 2004. Available from http://www.openmath.org/cocoon/openmath/standard/om20/index.html.
-
(2004)
-
-
-
27
-
-
33645775797
-
"UDDI Technical White Paper"
-
UDDI Available from
-
UDDI, "UDDI Technical White Paper", 2003, Available from http://www.uddi.org/pubs/Iru_UDDI_Technical_White_Paper.pdf.
-
(2003)
-
-
-
29
-
-
0348122120
-
"Mathematical Markup Language (MathML) Version 2.0"
-
W3C MathML Available from
-
W3C MathML, "Mathematical Markup Language (MathML) Version 2.0", 2003. Available from http://www.w3.org/TR/MathML2/.
-
(2003)
-
-
-
30
-
-
0003791651
-
"Web Services Description Language (WSDL) 1.1"
-
W3C WSDL Available from
-
W3C WSDL, "Web Services Description Language (WSDL) 1.1", 2004. Available from http://www.w3.org/TR/wsdl.
-
(2004)
-
-
-
31
-
-
0031259286
-
"Specification matching of software components"
-
A.M. Zaremski and J.M. Wing, "Specification matching of software components", ACM Transactions on Software Engineering and Methodology, Vol. 6, No. 4, pp. 333-369, 1997.
-
(1997)
ACM Transactions on Software Engineering and Methodology
, vol.6
, Issue.4
, pp. 333-369
-
-
Zaremski, A.M.1
Wing, J.M.2
|