FlowUML is a logic-based system to validate information flow policies at the requirements specification phase of UML based designs. It uses Horn clauses to specify information flow polices that can be checked against ...
详细信息
ISBN:
(纸本)9728865252
FlowUML is a logic-based system to validate information flow policies at the requirements specification phase of UML based designs. It uses Horn clauses to specify information flow polices that can be checked against flow information extracted from UML sequence diagrams. FlowUML policies can be written at a coarse grain level of caller-callee relationships or at a finer level involving passed attributes.
Due to the Internet's complexity, analysis or simulation is restricted to assessing the parameters of the Internet. Instead, actual measurements provide the means for a reality check. Many statistics measurement o...
详细信息
ISBN:
(纸本)9781932415704
Due to the Internet's complexity, analysis or simulation is restricted to assessing the parameters of the Internet. Instead, actual measurements provide the means for a reality check. Many statistics measurement of the Internet are related to estimating the rare event probabilities. This renders sampling methods as a primary substitute to collecting such statistics. We presented the conventional Monte Carlo approach to estimate the Internet event probability. As a variance reduction technique, importance sampling is introduced, which is a modified Monte Carlo approach resulting in a significant reduction of the effort required to obtain an accurate estimate. Particularly, it works best when estimating the probability of rare events. It is, therefore, extremely appealing to be able to resort to efficient importance sampling schemes for estimating the information server density on the Internet In this paper, a thorough analysis of the presented sampling approaches has been performed. We proposed an importance sampling approach to track the prevalence and growth of the web service. A periodic measurements of the number of active web servers was conducted over the past year. An increasing security concerns on the web servers have been detected and discussed.
A new incremental clustering method is presented, which partitions dynamic data sets by mapping data points in high dimension space into low dimension space based on （fuzzy） cross-entropy（CE）. This algorithm is di...
详细信息
A new incremental clustering method is presented, which partitions dynamic data sets by mapping data points in high dimension space into low dimension space based on （fuzzy） cross-entropy（CE）. This algorithm is divided into two parts： initial clustering process and incremental clustering process. The former calculates fuzzy cross-entropy or cross-entropy of one point relafive to others and a hierachical method based on cross-entropy is used for clustering static data sets. Moreover, it has the lower time complexity. The latter assigns new points to the suitable cluster by calculating membership of data point to existed centers based on the cross-entropy measure. Experimental compafisons show the proposed methood has lower time complexity than common methods in the large-scale data situations cr dynamic work environments.
Quality of Services (QoS) management in compositions of services requires careful consideration of QoS characteristics of the services and effective QoS management in their execution. A Web service is a software syste...
详细信息
ISBN:
(纸本)0769524095
Quality of Services (QoS) management in compositions of services requires careful consideration of QoS characteristics of the services and effective QoS management in their execution. A Web service is a software system that supports interoperable application-to-application interaction over the Internet. Web services are based on a set of XML standards such as Simple Object Access Protocol (SOAP). The interactions of SOAP messages between Web services form the theoretical model of SOAP Message Exchange Patterns (MEP). Web Services Business Process Execution Language (WSBPEL) defines an interoperable integration model that facilitates automated process integration in intra- and inter-corporate environments. A service-level agreement (SLA) is a formal contract between a Web services requestor and provider guaranteeing quantifiable issues at defined levels only through mutual concessions. Based on a prior research work on Message Detail Record (MDR), this paper further proposes a SOAP message tracking model for supporting QoS end-to-end management in the context of WSBPEL and SLA. This paper motivates the study of QoS management in a Web service composition framework with the evolution of a distributed toolkit in an industrial setting.
We are interested by contributing to stochastic problems of which the main distinction is that some tasks may create other tasks. In particular, we present a first approach which represent the problem by an acyclic gr...
详细信息
This paper considers the decentralized dynamic programming path planning decision processes of multiple cooperating autonomous aerial vehicles (UAVs) engaged in a search of an uncertain environment. However, what sets...
详细信息
The communicative behaviors in Wireless Sensor Networks(WSNs) can be characterized by two different types: routing and broadcasting. The broadcasting is used for effective route discoveries and packet delivery. A blin...
详细信息
This paper proposes a new Heterogeneous Multi-hop Cellular IP (MCIP) network that integrates multi-hop communication with Cellular IP. MCIP increases the coverage of the wireless network and improves the network robus...
详细信息
We suggest to study learning software organizations in three projects;one to analyse the current situation for local software and system houses, one to study improvement and learning through examining knowledge flows,...
详细信息
暂无评论