8536996
Goal and scenario based domain requirements analysis environment
Identifying and representing domain requirements among products in a product family are crucial activities for a successful software reuse. The domain requirements should be not only identified based on the business goal, which drives marketing plan, product plan, and differences among products, but also represented as familiar notations in order to support developing a particular product in the product family. Thus, our proposal is to identify the domain requirements through goals and scenarios, and represent them as variable use cases for a product family. Especially, for identification of the domain requirements, we propose four abstraction levels of requirements in a product family, and goal and scenario modeling. For representation of them, variable use case model is suggested, and also the use case transfer rules are proposed so as to bridge the gap between the identification and representation activity. The paper illustrates the application of the approach within a supporting tool using the HIS (Home Integration System) example.
35666646
A Linguistics-Based Approach for Use Case Driven Analysis Using Goal and Scenario Authoring
Although Use Case driven analysis has been widely used in requirements analysis, it does not facilitate effective requirements elicitation or provide rationale for the various artifacts that get generated. On the other hand, goal and scenario based approach is considered to be effective for elicitation but it does not lead to use cases. This paper discusses how to combine goal and scenario based requirements elicitation technique with use case driven analysis using natural language concepts. In our proposed approach, four levels of goals, scenario authoring rules, and linguistic techniques have been developed to identify use cases from text based goal and scenario descriptions. The artifacts resulting from our approach could be used as input to a use case diagramming tool to automate the process of use case diagram generation.
16878992
Improving use case driven analysis using goal and scenario authoring: A linguistics-based approach
Use case driven analysis does not facilitate effective requirements elicitation or provide rationale for the various artifacts that get generated during the requirements analysis phase. On the other hand, goal and scenario based approach is considered to be effective for elicitation but it does not lead to use cases. This paper discusses how to combine goal and scenario based requirements elicitation technique with use case driven analysis using natural language concepts. In our proposed approach, four levels of goals, scenario authoring rules, and linguistic techniques have been developed to identify use cases from text based goal and scenario descriptions. The artifacts resulting from our approach could be used as input to a use case diagramming tool to automate the process of use case diagram generation.
6280619
Prediction of subcellular localization of proteins using pairwise sequence alignment and support vector machine
Predicting the destination of a protein in a cell is important for annotating the function of the protein. Recent advances have allowed us to develop more accurate methods for predicting the subcellular localization of proteins. One of the most important factors for improving the accuracy of these methods is related to the introduction of new useful features for protein sequences. In this paper we present a new method for extracting appropriate features from the sequence data by computing pairwise sequence alignment scores. As a classifier, support vector machine (SVM) is used. The overall prediction accuracy evaluated by the jackknife validation technique reached 94.70% for the eukaryotic non-plant data set and 92.10% for the eukaryotic plant data set, which is the highest prediction accuracy among the methods reported so far with such data sets. Our experimental results confirm that our feature extraction method based on pairwise sequence alignment is useful for this classification problem.
14012710
Interference-Minimizing Colorings of Regular Graphs
Communications problems that involve frequency interference, such as the channel assignment problem in the design of cellular telephone networks, can be cast as graph coloring problems in which the frequencies (colors) assigned to an edge's vertices interfere if they are too similar. The paper considers situations modeled by vertex-coloring d-regular graphs with n vertices using a color set 1, 2,..., n, where colors i and j are said to interfere if their circular distance $\min \{ | i-j | , n- | i-j | \}$ does not exceed a given threshold value $\alpha$. Given a d-regular graph G and threshold $\alpha$, an interference-minimizing coloring is a coloring of vertices that minimizes the number of edges that interfere. Let $I_\alpha (G)$ denote the minimum number of interfering edges in such a coloring of $G$. For most triples $(n, \alpha ,d),$ we determine the minimum value of $I_\alpha (G)$ over all d-regular graphs and find graphs that attain it. In determining when this minimum value is 0, we prove that for $r \geq 3$ there exists a d-regular graph G on n vertices that is r-colorable whenever $d \leq (1- \frac{1}{r}) n-1$ and nd is even. We also study the maximum value of $I_\alpha (G)$ over all d-regular graphs and find graphs that attain this maximum in many cases.
13541895
Address Internetworking between WSNs and Internet supporting Web Services
There have been an increasing interest for wireless sensor networks as a new technology to realize the ubiquitous computing, and demands for internetworking technology between the wireless sensor networks and the Internet which is based on IP address. For this purpose, this paper proposes the internetworking scheme which allocating IP addresses to sensor node and internetworking based on the gateway-based integration for internetworking between the wireless sensor networks and the Internet. That is, the proposed scheme makes the access to the wireless sensor networks be serviced as like the web service with internetworking Internet IP address and ZigBee address which is allocated to the sensor node in wireless sensor networks. For validating the proposed scheme, we made experiments using Berkeley TinyOS, Mica Motes, and dual protocol stack based on ZigBee and IP.
2306091
Classifying Protein Fingerprints
Protein fingerprints are groups of conserved motifs which can be used as diagnostic signatures to identify and characterize collections of protein sequences. These fingerprints are stored in the prints database after time-consuming annotation by domain experts who must first of all determine the fingerprint type, i.e., whether a fingerprint depicts a protein family, superfamily or domain. To alleviate the annotation bottleneck, a system called PRECIS has been developed which automatically generates prints records, provisionally stored in a supplement called preprints. One limitation of PRECIS is that its classification heuristics, handcoded by proteomics experts, often misclassify fingerprint type; their error rate has been estimated at 40%. This paper reports on an attempt to build more accurate classifiers based on information drawn from the fingerprints themselves and from the SWISS-PROT database. Extensive experimentation using 10-fold cross-validation led to the selection of a model combiing the ReliefF feature selector with an SVM-RBF learner. The final models error rate was estimated at 14.1% on a blind test set, representing a 26% accuracy gain over PRECIS handcrafted rules.
6225887
Hamiltonian decompositions of random bipartite regular graphs
We prove a complete hamiltonian decomposition theorem for random bipartite regular graphs, thereby verifying a conjecture of Robinson and Wormald. The main step is to prove contiguity (a kind of asymptotic equivalence) of two probabilistic models of 4-regular bipartite graphs; namely, the uniform model, and the model obtained by taking the union of two independent, uniformly chosen bipartite Hamilton cycles, conditioned on forming no multiple edges. The proof uses the small subgraph conditioning method to establish contiguity, while the differential equation method is used to analyse a critical quantity.