228 search results - page 9 / 46 » Session Overview Planning |
HPDC
2000
IEEE
13 years 12 months ago
2000
IEEE
To provide Quality of Service (QoS) guarantee in distributed services, it is necessary to reserve multiple computing and communication resources for each service session. Meanwhile...
SEMWEB
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. This paper describes our participation in the Ontology Alignment Evaluation Initiative (OAEI) 2009 with the AgreementMaker system for ontology matching, in which we obtai...
COMCOM
2010
13 years 7 months ago
2010
Due to its versatility, flexibility and fast development, the modern Internet is far from being well understood in its entirety. A good way to learn more about how the Internet fu...
CADE
2003
Springer
14 years 7 months ago
2003
Springer
IsaPlanner is a generic framework for proof planning in the interactive theorem prover Isabelle. It facilitates the encoding of reasoning techniques, which can be used to conjectur...
CPHYSICS
2007
13 years 7 months ago
2007
In this paper, we report experiences and results of the integration and utilization of cyberinfrastructure for sciences in Korea. An overview is given of the current and planned u...