SKG
2006
IEEE
14 years 6 months ago
2006
IEEE
Semantic completeness and syntax completeness are important characters of the general formal systems, two the completeness have different meaning for a formal system. This paper a...
SKG
2006
IEEE
14 years 6 months ago
2006
IEEE
The paper studies “equality” in XML model decomposition. XML IFD, TFD, AFD and MVD are proposed. According to complexity of these FDs, four XML normal forms are presented. FD ...
SKG
2006
IEEE
14 years 6 months ago
2006
IEEE
Service discovery is a key concept in a distributed Grid environment. The first step towards Grid implement is the discovery of services. In this paper, we build a new Grid servic...
SKG
2006
IEEE
14 years 6 months ago
2006
IEEE
Agents will adopt different strategies in the multiagent systems. However, the strategies of agents may produce conflicts. While agents coordinate with each other in the operation...
SKG
2006
IEEE
14 years 6 months ago
2006
IEEE
With the rapid evolution of web technology and Internet, the mathematical web has emerged as a new research trend, which changes the traditional manner of mathematical scientific ...
SKG
2006
IEEE
14 years 6 months ago
2006
IEEE
Mobile learning technologies have the potential to revolutionize distance education by bringing the concept of anytime and anywhere to reality. However, the development of mobile ...
SKG
2006
IEEE
14 years 6 months ago
2006
IEEE
The Grid provides mechanisms to share dynamic, heterogeneous, distributed resources spanned across multiple administrative domains. Resources required to execute a job are identif...
SKG
2006
IEEE
14 years 6 months ago
2006
IEEE
Although English has become the standard language in various areas, most people do not use it in local activities. To increase the mutual understanding of different cultures with ...
SKG
2006
IEEE
14 years 6 months ago
2006
IEEE
In recent years, semantic search has become one hot motivation of the semantic web. In this paper, we propose a semantic-based resource management and search architecture and its ...
SKG
2006
IEEE
14 years 6 months ago
2006
IEEE