Current Wi-Fi network infrastructure inherently lacks reliable positional knowledge of the origin of individual network packets. As a consequence, attackers are potentially able to impersonate legitimate Wi-Fi network...
详细信息
Most formal software verification techniques are based on formal specifications of software behavior. Approaches to facilitate the creation of formal specifications include the Specification Pattern System (SPS) and C...
详细信息
ISBN:
(纸本)9781627486620
Most formal software verification techniques are based on formal specifications of software behavior. Approaches to facilitate the creation of formal specifications include the Specification Pattern System (SPS) and Composite Propositions (CPs). Recent research into generating Linear Temporal Logic (LTL) formulas from SPS patterns resulted in a set of templates that support CPs, but are complex and difficult to verify. This paper describes PROTEF, a software framework to automatically generate and test formulas representing software specifications using model-checker-based testing. This method can be used to test templates in LTL and other formalisms. The framework was used to test LTL templates developed to support CPs.
We propose an architecture-based testing and reliability framework for mobile applications. During our literature study, we explored some of the software testing and reliability techniques available, as well as invest...
详细信息
Still, requirements and software design are often confused with one another. We provide a new (partial) explanation for this phenomenon, based on the insight that representations of concepts related to requirements an...
详细信息
The purpose of this pilot study was to explore the feasibility of using hand drawn images to identify symbol components for incorporation into warning symbol design software. This software will use an interactive evol...
详细信息
ISBN:
(纸本)9781605606859
The purpose of this pilot study was to explore the feasibility of using hand drawn images to identify symbol components for incorporation into warning symbol design software. This software will use an interactive evolutionary computation (IEC) algorithm to generate and evolve symbols mathematically described by a set of numerical parameters. Therefore, participants (N = 100) ages 19-43 (x = 23.2) were recruited to determine these symbol design parameters. Participants were invited to hand draw warning symbols for three referents: fall from elevation, hearing protection, and hazardous atmosphere. A panel of design engineers determined 27 attributes were present in the fall from elevation, 19 in the hearing protection, and 25 in the hazardous atmosphere images. A direct clustering algorithm was used to determine which attributes, or symbol parameters, were most commonly present or conspicuously absent among the clustered image families. For the fall from elevation, hearing protection and hazardous atmosphere referents, the clustering algorithm identified six, four and four symbol parameters, respectively, primarily responsible for distinguishing one drawn symbol from another. Thus, these parameters will be included as evolvable genes in the IEC software.
Team software Process is an integrated framework that guides development teams in producing highquality software-intensive systems. This paper analyzes the effects of TSPi training and the improvements achieved by 44 ...
详细信息
Gene expression data are expected to be of significant help in the development of efficient cancer diagnosis and classification platforms. One problem arising from these data is how to select a small subset of genes f...
详细信息
Microarray device offers the ability to measure the expression levels of thousands of genes simultaneously. It is used to collect information from tissue and cell samples regarding gene expression differences that cou...
详细信息
The development of microarray-based high-throughput gene expression has led to the hope that this technology could provide an efficient cancer diagnosis and classification platform. A major problem in these gene expre...
详细信息
In this paper, a novel variable rate based time frame scheduling scheme is proposed to further reduce collisions and improve energy saving in wireless sensor networks. The MAC combines CSMA and TDMA functionalities, w...
详细信息
暂无评论