![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter and Conference Paper
Cabot: On the Ontology for the Middleware Support of Context-Aware Pervasive Applications
Middleware support is a major topic in pervasive computing. Existing studies mainly address the issues in the organization of and the collaboration amongst devices and services, but pay little attention to the...
-
Chapter and Conference Paper
A New United Certificate Revocation Scheme in Grid Environments
This paper analyses security drawbacks of traditional certificates revocation in GSI. And we bring forward a new united certificate revocation scheme. In our scheme, one-way hash chains, novel multiple certifi...
-
Chapter and Conference Paper
A Formal Framework for Ontology Integration Based on a Default Extension to DDL
The information society demands complete information from multiple sources, where available information is often heterogeneous and distributed. Because of semantic heterogeneities among ontologies of different...
-
Article
Extending Interactive Web Services for Improving Presentation Level Integration in Web Portals
Presentation level integration now becomes an important and fast growing trend in enterprise computing. Portal-based composite applications use portlet and interactive web service, which usually offers several...
-
Article
Intelligent Development Environment and Software Knowledge Graph
Software intelligent development has become one of the most important research trends in software engineering. In this paper, we put forward two key concepts — intelligent development environment (IntelliDE) a...
-
Article
Semi-Supervised Learning Based Tag Recommendation for Docker Repositories
Docker has been the mainstream technology of providing reusable software artifacts recently. Developers can easily build and deploy their applications using Docker. Currently, a large number of reusable Docker...
-
Chapter and Conference Paper
A Reinforcement-Learning-Driven Bees Algorithm for Large-Scale Earth Observation Satellite Scheduling
The Earth Observation Satellite Scheduling Problem (EOSSP) is difficult to solve due to its scale and constraints. Through analysing the problem, we build a mathematical programming model of the EOSSP. After t...