• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 269
Next 10 →

PAPER Special Section on Kowledge-Based Software Engineering A Flexible Connection Model for Software Components

by Hironori Washizaki †a, Daiki Hoshi, Yoshiaki Fukazawa
"... SUMMARY A component connection enables a component to use the functionality of other components directly, without generating adapters or other mechanisms at run-time. In conventional component connection models, the connection between components, particularly third-party components, is very costly f ..."
Abstract - Add to MetaCart
-defined range. As a result of experimental evaluations, it is found that our model is superior to conventional models in terms of the component-use cost and the capability of changing connections. key words: component-based development, software components, connection model, software reuse, JavaBeans 1.

PAPER Special Section on Networks Software Proof: A Novel DHT-Based Peer-to-Peer Search Engine

by Jan-ming Ho
"... search service over structured Peer-to-Peer (P2P) networks. Current state-of-the-art keyword search approaches for structured P2P systems are based on inverted list intersection. However, the biggest challenge in those ap-proaches is that when the indices are distributed over peers, a simple query m ..."
Abstract - Add to MetaCart
of search results. Our simulation results showed that, com-pared with previous solutions, Proof can dramatically reduce network traf-fic while providing 100 % precision and high recall of search results, at some additional storage overhead. key words: distributed search engine, inverted list, Pagerank, Peer

PAPER Special Section on Knowledge-Based Software Engineering Sizing Data-Intensive Systems from ER Model

by unknown authors
"... SUMMARY There is still much problem in sizing software despite the existence of well-known software sizing methods such as Function Point method. Many developers still continue to use ad-hoc methods or so called “expert ” approaches. This is mainly due to the fact that the existing methods require m ..."
Abstract - Add to MetaCart
data from the industry to do a preliminary validation of the proposed method. The result of the validation is very encouraging. key words: software sizing, entity-relationship (ER) diagram, software estimation, multiple regression model 1.

PAPER Special Section on Knowledge-Based Software Engineering Supporting Application Framework Selection Based on Labeled Transition Systems

by Teruyoshi Zenmyo, Takashi Kobayashi, Motoshi Saeki †a
"... to reuse effectively software and its key issues are 1) to select the suitable frameworks for the software requirements specification, and 2) to fill the suitable hot spots with application-specific codes (customization). This paper proposes a new technique for automated support of the above issues ..."
Abstract - Add to MetaCart
to reuse effectively software and its key issues are 1) to select the suitable frameworks for the software requirements specification, and 2) to fill the suitable hot spots with application-specific codes (customization). This paper proposes a new technique for automated support of the above issues

Materials for an exploratory theory of the network society.

by Manuel Castells , Anthony Giddens , Alain Touraine , Anthony Smith , Benjamin Barber , Peter Hall , Roger-Pol Droit , Sophie Watson , Frank Webster , Krishan Kumar , David Lyon , Craig Calhoun , Jeffrey Henderson , Ramon Ramos , Jose E Rodrigues-Ibanez , Jose F Tezanos , Mary Kaldor , Stephen Jones , Christopher Freeman - The British Journal of Sociology , 2000
"... ABSTRACT This article aims at proposing some elements for a grounded theor y of the network society. The network society is the social structure characteristic of the Information Age, as tentatively identi ed by empirical, cross-cultural investigation. It permeates most societies in the world, in v ..."
Abstract - Cited by 122 (0 self) - Add to MetaCart
engineering. It replaces/subsumes the technological paradigm of the Industrial Age, organized primarily around the production and distribution of energy. In this article I aim at clarifying the theoretical implications that can be induced from my observation of contemporary social structures and social change

Volume I: Computer Science and Software Engineering

by Ioannis Z. Emiris, Victor Y. Pan, Elias P. Tsigaridas, Allen Tucker, Teo Gonzales, Jorge L. Diaz-herrera, Ioannis Z. Emiris, Victor Y. Pan, Elias P. Tsigaridas , 2013
"... Algebraic algorithms deal with numbers, vectors, matrices, polynomials, for-mal power series, exponential and differential polynomials, rational functions, algebraic sets, curves and surfaces. In this vast area, manipulation with matri-ces and polynomials is fundamental for modern computations in Sc ..."
Abstract - Add to MetaCart
Algebraic algorithms deal with numbers, vectors, matrices, polynomials, for-mal power series, exponential and differential polynomials, rational functions, algebraic sets, curves and surfaces. In this vast area, manipulation with matri-ces and polynomials is fundamental for modern computations in Sciences and

AND MATHEMATICAL ENGINEERING

by Madeleine Udell, Professor Lester Mackey , 2015
"... ii ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
Abstract not found

REFERENCE MODEL FOR FRAMEWORKS OF SOFTWARE ENGINEERING ENVIRONMENTS Version 2.6

by Final Draft
"... this document, published December 1991, represents the results of discussions held at various NIST ISEE workshops and comments provided by the participants of these workshops, as well as a review by the members of TC33/TGRM. During 1992, a Reference Model Change Control Board, consisting of members ..."
Abstract - Add to MetaCart
identified is necessarily the best available for the purpose. Draft November 24, 1993 Edition v Table of Contents Section I. Software Engineering Environment Frameworks 1 1 Scope 1

International Journal on Software Tools for Technology (2005) DOI 10.1007/s10009-005-0202-0 SPECIAL SECTION ON TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS

by Alex Groce, Sagar Chaki, Daniel Kroening, Ofer Strichman , 2005
"... Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance of the undesirable behavior. Unfortunately, the important steps that follow the discovery of a counterexample are general ..."
Abstract - Add to MetaCart
the faulty aspects of the system. This paper describes a (semi-)automated approach for assisting users in understanding and isolating errors in ANSI C programs. The approach, derived from Lewis ’ counterfactual approach to causality, is based on distance metrics for program executions. Experimental results

Software reverse engineering as a sensemaking task (in press).

by A R Bryant , R F Mills , G L Peterson , M R Grimaila , Adam R Bryant , Robert F Mills , Gilbert L Peterson , Michael R Grimaila - Journal of Information Assurance and Security. , 2012
"... Abstract: Software reverse engineering involves analyzing computer program executables to understand their structure, functionality, and behavior. In this paper, common reverse engineering functions are decomposed to isolate the information-processing and sensemaking subtasks involved. This paper r ..."
Abstract - Cited by 2 (2 self) - Add to MetaCart
program requires a person to process and sift through large amounts of data and integrate that data with extensive specialized background knowledge As a first step to isolating and understanding the elements of sensemaking in software reverse engineering, this paper reviews existing models of situation
Next 10 →
Results 1 - 10 of 269
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University