Node failures in Wireless Sensor Networks composed by static sensor nodes are common due to the nature of the sensor devices and the usually harsh environments in which they are deployed. Node failures can diminish th...
详细信息
When developing component-based software, the compatibility analysis is a necessary step to ensure the interoperability of the connected components. It allows early identification of problems caused by incompatible co...
详细信息
When developing component-based software, the compatibility analysis is a necessary step to ensure the interoperability of the connected components. It allows early identification of problems caused by incompatible components. This paper presents the automated process of structural and behavioral compatibility analysis deployed in the SEA environment. From the specification of component-based software, made entirely with UML diagrams, tools are triggered to automatically perform the compatibility analysis. The structural analysis considers component, deployment and class diagrams. The behavioral analysis also treats the state machine diagram, which is transparently converted to a Petri net, that is, the user only handles UML diagrams. Behavioral problems are identified by interpreting Petri net properties for the context of components.
The idea of a Kripke semantics endowed with possibility/plausibility information is not new;in fact there are different approaches for that;see: [6], [13], [16], [19]. This paper follows the approach found in [6], but...
详细信息
Publicly available molecular datasets can be used for independent verification or investigative repurposing, but depends on the presence, consistency and quality of descriptive annotations. Annotation and indexing of ...
详细信息
Node failures in Wireless Sensor Networks composed by static sensor nodes are common due to the nature of the sensor devices and the usually harsh environments in which they are deployed. Node failures can diminish th...
详细信息
Node failures in Wireless Sensor Networks composed by static sensor nodes are common due to the nature of the sensor devices and the usually harsh environments in which they are deployed. Node failures can diminish the performance of the network as a whole, thus affecting its functionality in delivering the desired services. For instance, significant regions can become uncovered due to failure of several nearby nodes. This paper reports a study about the use of mobile sensor nodes acting in cooperation with static ones in order to fill gaps created by faulty static nodes. The proposed fault handling mechanism presents alternative policies with pros and cons, depending on the user priorities imposed to the system and the occurrence of failures. A discussion about this topic is presented based on results obtained by simulation of the proposed mechanisms.
The idea of a Kripke semantics endowed with possibility/plausibility information is not new; in fact there are different approaches for that; see: [6], [13], [16], [19]. This paper follows the approach found in [6], b...
详细信息
The idea of a Kripke semantics endowed with possibility/plausibility information is not new; in fact there are different approaches for that; see: [6], [13], [16], [19]. This paper follows the approach found in [6], but whereas [6] provides a fixed interpretation for connectives into [0,1] here we provide a characterization of a fuzzy semantics for connectives in such a way that the resulting fuzzy frames: K, T and D, are described precisely by the set of statements which also describes, respectively, the usual modal systems K, T and D.
Errors in diagnosing the disease is a critical risk that must be faced by any person giving treatment to the hospital. Medical treatment can not always be done with perfect accuracy. Lung cancer is one of the most dea...
详细信息
Nowadays, process management represents a fundamental initiative to provide competitive advantages to organizations. The ability to build and operate such processes can provide competitive advantages to these organiza...
详细信息
Artificial Immune Systems (AISs) are composed of techniques inspired by immunology. The clonal selection principle ensures the organism adaptation to fight invading antigens by an immune response activated by the bind...
详细信息
Collective Intelligence has received much attention in recent years, as organizations and businesses discover the power of crowds. With new technologies, such as blogs, twitter, wikis, photo sharing, collaborative tag...
详细信息
暂无评论