Application Data Center (ADC) is a kind of application information service based on the mobile terminal system and it is provided by China Mobile to meet the demand of the group customers. By its different content, ap...
详细信息
Data evolution is the process of semantics change for data product, in which data product has intrinsic semantics as well as extension semantics. This paper presents an ontology framework for evolution of plain text. ...
详细信息
Cloud computing is the current significant technology trend because of its potential to reduce the cost and increase the productivity. Virtualization is the key enabling technology in cloud computing which maximiz...
详细信息
Cloud computing is the current significant technology trend because of its potential to reduce the cost and increase the productivity. Virtualization is the key enabling technology in cloud computing which maximizes the utilizations of resources to provide the service. Multimedia application over cloud computing has its quality of service (QoS) requirements such as bandwidth and delay. The provision of QoS is challenging in cloud computing environment because of the virtual platforms. This paper proposed an architecture of private cloud for media computing. It addresses the QoS provision mechanisms at the virtualized infrastructure. The paper also presents an example of a low-cost virtualized video streaming server on VMware.
Using the theories of explosive mechanics and rock fracture dynamics mechanics, obtains that explosive pressure and stress intensity factors of the complex slotted seam cartridge respectively is about 8.17,10 times th...
详细信息
In recent years, the threshold for removing noise based on wavelet transform has been very widely used because of its effectiveness and simplicity. Thus, there has been threshold based on a variety of frequency-domain...
详细信息
The Web services Business Process Execution Language (BPEL) is a language used to specify compositions of web services. In the last few years, a considerable amount of work has been done on modeling (parts of) BPE...
详细信息
The Web services Business Process Execution Language (BPEL) is a language used to specify compositions of web services. In the last few years, a considerable amount of work has been done on modeling (parts of) BPEL and developing verification techniques and tools for BPEL. Petri nets and formal languages have been widely used to model Web services composition, but temporal value passing calculus of communicating systems (TVPCCS) language seems to be more adequate for several reasons. Generally BPEL programs are mapped to other languages and then the verification is performed, A more promising way is to directly build TVPCCS model, to check it and then map it to a BPEL process model. This paper describes a mapping from TVPCCS onto BPEL process model.
ISEE was proposed as an information security engineering environment that supports continuous and consistent design, development, management and maintenance of security facilities of target systems, based on ISO/I...
详细信息
ISEE was proposed as an information security engineering environment that supports continuous and consistent design, development, management and maintenance of security facilities of target systems, based on ISO/IEC security standards. However, the current ISEE only provides services passively, i.e., it can only response to users' explicit requests, but cannot provide useful services to users actively. In order to make ISEE more practical, it is a challenge to provide active services, which can give useful services to users actively in advance but do not give users undesired services. To this end, this paper proposes an information security engineering cloud (ISEC), that has all functions of ISEE, and moreover, provides active services to its users. This paper presents the basic ideas, requirements, design, and implementation issues of ISEC.
The dynamic and uncertainty in service-oriented software(SOS) running environment, together with the autonomy and loose coupling of service resources, lead to higher workload and more complexity of exception handling....
详细信息
ISBN:
(纸本)9783037853726
The dynamic and uncertainty in service-oriented software(SOS) running environment, together with the autonomy and loose coupling of service resources, lead to higher workload and more complexity of exception handling. Aiming to guarantee the completeness of design for exception handling logic in service- oriented software, this paper proposed a formal description method which and the corresponding integrated verification method for exception handling logic. This method can guide the design quickly and efficiently construct exception handling logic model in service-oriented software, and validate whether all exceptions which explicitly declare in service-oriented software are processed
A Wireless Sensor Network (WSN) is a versatile sensing system whose hardware resources are scarce and have to be carefully used and hence adapted to face with their context and resources changing. Moreover, WSN could ...
详细信息
Due to the proliferation of high-speed internet access,more and more organizations are becoming vulnerable to potential *** intrusion is defined as any set of actions that compromise the integrity,confidentiality or a...
详细信息
Due to the proliferation of high-speed internet access,more and more organizations are becoming vulnerable to potential *** intrusion is defined as any set of actions that compromise the integrity,confidentiality or availability of a *** Detection System (IDS),as the main security defending technique,is widely used against malicious *** system should be good enough to detect existing attacks as well as novel attacks at high *** to fulfil these requirements a new novel Multi-Threaded K-Means clustering approach has been used which has resulted in high detection rate and low false alarm rate.A subset of KDD99 Data set has been used as an input dataset for experiments.
暂无评论