ppxscal/embedding_network huggingface dataset:
Testability: Barriers to Acceptance
Authors: Kenneth Parker
Venue: IEEE Design Test (1986)

Design for testability sounds wonderful in theory, but if it is not used, or worse used to disadvantage, what good is it?With today's escalating technology and management's fear of commitment to a costly testing program, DFT practices are suffering.the author discusses the prominent barriers to accepting design for test: the impact of more advanced technology, the misunderstoodrole of testing, the lack of management's global view of sthe testing process, and the lack of integrasted tools. Testabilitystandards are briefly discussed as a possible way to overcome these barriers.
An evaluation of the pragmatics of web-based bug tracking tools
Authors: Harry S. Delugach
Venue: Proceedings of the 2nd international conference on Pragmatic web (2007)

Web-based tools are often used to support software development processes. Many of these tools are aimed toward a development process that relies implicitly on particular supported roles and activities. Developers may already understand how the tool operates; however, developers do not understand or adhere to a development process supported (or implied) by the tools. This paper proposes a preliminary formal model of roles and activities in one aspect of software development, namely the problem reporting process, and describes both a standards-based process and a well-known tool with respect to its support for their respective processes. An alternative is proposed for modeling problem status that is based on the analysis of process roles.
Mexar2: AI Solves Mission Planner Problems
Authors: Amedeo Cesta, Gabriella Cortellessa, Michel Denis, Alessandro Donati, Simone Fratini, Angelo Oddi, Nicola Policella, Erhard Rabenau, Jonathan Schulster
Venue: IEEE Intelligent Systems (2007)

Mars-Express is the European Space Agency's first mission to orbit another planet. The mission has a single-pointing system—that is, during regular operations, the space probe points either at Mars to perform payload operations or at Earth to download produced data. The Mars-Express Scheduling Architecture (Mexar2) is an AI-based tool to assist European Space Operations Center mission planners. Since its integration with the Mars-Express mission, Mexar2 has reduced the planning team's workload for generating a feasible downlink plan by half compared to the previous method.
A Fractal Watermarking Scheme for Image in DWT Domain
Authors: Shu-Guo Yang, Chun-Xia Li, Sheng-He Sun, Rong-Sheng Xie
Venue: Proceedings of the Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing - Volume 01 (2007)

The scheme in this paper carries out embedding and detecting of watermarking by the fractal technology in DWT domain. This method introduces the threshold control, searches for the self-similar domain subtrees by the fractal transforms and let the domain subtrees to be the watermarking embedding trees. The watermarking signals are embedded and detected according to the JND model. A large number of attacking experiments prove that security and the robustness of the method.
Multiple Equivalent Scale Scan: An Enhancing Technique for Malware Detection
Authors: P. Bhattarakosol, V. Suttichaya
Venue: Proceedings of the Second International Conference on Systems and Networks Communications (2007)

Malware is a set of unwanted software that spreads itself over the Internet without boundaries. These software can cause various damages to the infected system, or just annoy users while use the computer system. Thus, many methods have been proposed and implemented. However, the performance and efficiency of the detecting software are relied on the detection algorithm and the number of files to be scanned. Moreover, efficiency of the popular signature technique is also based on the size of the signature file that is used during the scan process. This paper proposed a Multiple Equivalent Scale Scan technique that eliminates the effect from the number of the scan files, and enhances the available scan algorithm to perform its task in a short period of time. The result of this method, comparing with the original ClamWin freeware, is two time faster. Therefore, implementing this technique with any available scan mechanism will also speed up the scan time.
The Semantic Database Constructor
Authors: D. B. Farmer
Venue: IEEE Transactions on Software Engineering (1985)

Sedaco (the semantic database constructor) is a tool which may be used to implement databases. It is based on a semantic data model. Sedaco provides primitives for implementing semantic schemas and buffers the database designer from most low-level data structuring issues. Sedaco also efficiently maintains consistency within complex semantic databases. The tool is written in C and runs under Unix.
A Method for Bayesian Meta-Reasoning Applied to Real-Time Systems Using Multiple Characterization
Authors: Carlos Eduardo Bognar, Osamu Saotome
Venue: Proceedings of the Seventh International Conference on Intelligent Systems Design and Applications (2007)

As Bayesian networks are applied to more complex and realistic real-world applications, the development of more efficient inference algorithms working under real-time constraints is increasingly important. In this paper, we present a method for meta-reasoning in Bayesian networks, which may be applied by real-time probabilistic systems that adopt anytime algorithms for approximate propagation of evidence and combine multiple simulation schemes. The proposed method is based on multiple characterizations of Bayesian networks to predict the algorithm that will provide the lower approximate error in future inferences, considering time restrictions. This method applies multiple regression analysis to create the conditional performance profiles of approximate inference algorithms. The analysis is based on experimental results to estimates of propositions that were used to create the utility curves of Gibbs Sampling and Stratified Simulation algorithms. These algorithms belong to stochastic and deterministic sampling methods, respectively. Some experimental analyses compare multiple and simple characterization of Bayesian networks for meta-reasoning and show better results in simulation errors when multiple characterizations are used.
An Approach of Multi-path Segmentation Clustering Based on Web Usage Mining
Authors: Houqun Yang, Jingsheng Lei, Fa Fu
Venue: Proceedings of the Fourth International Conference on Fuzzy Systems and Knowledge Discovery - Volume 04 (2007)

Web log mining is applying web mining in analysis of web server log in order to solve problems mentioned above. Based on web log of a university, this paper focuses on analyzing and researching technology of web log mining; bringing forward a multi-path segmentation cluster method, which segments and clusters according to user access path to improve efficiency. What is more, this paper discusses how to improve website structure with achievements of web log mining.
An Automated Approach to System Testing Based on Scenarios and Operations Contracts
Authors: Najla Raza, Aamer Nadeem, Muhammad Zohaib Z. Iqbal
Venue: Proceedings of the Seventh International Conference on Quality Software (2007)

Scenarios are an important mechanism for requirements specification and can be used to generate test paths at the requirements level. UML 2.0 provides a rich set of models for specifying scenarios, however, little work has focused on using UML 2.0 models for system testing. We propose a novel testing approach that uses UML 2.0 models for automated generation of test paths. This is done by enhancing the information with contracts and then formalizing it into a transition system. Test paths are then generated by path traversal of the transition system. The proposed approach is fully automatable and supported by a prototype tool, thus providing a platform for reducing the gap between high level scenarios and system testing. Keywords Scenarios, Testing, UML, Contracts.
Enhancing the Security of Statistical Databases with a Question-Answering System and a Kernel Design
Authors: G. Ozsoyoglu
Venue: IEEE Transactions on Software Engineering (1982)

The security problem of a statistical database is to limit database use so that no private information is deducible. This paper discusses the advantages of using a Question-Answering System and a security kernel to enhance the security constraints at the conceptual model level. An SDB design with the goal of helping the DBA in specifying certain security contraints is proposed.
A Distributed Database Framework from Mobile Databases in MANETs
Authors: Hassan Artail, Haidar Safa, Rana ELZinnar, Hicham Hamze
Venue: Proceedings of the Third IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (2007)

This paper describes a distributed database framework for Mobile Ad Hoc Networks (MANETs) for the goal of allowing mobile device users to tap into the disparate data that may be present on the devices. The system comprises data directory nodes (DDs) that will store the schemas of the databases on the devices and serve to tell whether a submitted query by a user is answerable fully or partially from the participating mobile database nodes (DBNs). The joining mobile databases will be required to execute query fragments that are sent to them and then combine the individual results in accordance with a schedule that is generate by the DD that received the query before returning the result. A simple protocol is developed to allow the various elements of the architecture (Requesting Nodes (RNs), DDs, and DBNs) to exchange messages for the purpose of executing the submitting query against the distributed mobile database and then returning the results. Experimental performance evaluation was carried out to study the characteristics of the framework and its cost, in terms of bandwidth consumption and response time.
Low power high data rate wireless endoscopy transceiver
Authors: Baoyong Chi, Jinke Yao, Shuguang Han, Xiang Xie, Guolin Li, Zhihua Wang
Venue: Microelectronics Journal (2007)

A low power high data rate wireless endoscopy transceiver is presented. Transceiver architecture, circuit topologies and design trade-offs have been considered carefully to satisfy the tight requirements of the medical endoscopy capsule: lower power consumption, high integration degree and high data rate. The prototype, implemented in 0.25@mm CMOS, integrates a super-heterodyne receiver and a super-heterodyne transmitter on a single chip together with an integrated RF local oscillator and LO buffers. The digital modulation and demodulation is also implemented in analog field and no data converters are needed for the whole endoscopy capsule. The measured sensitivity of the receiver is about -70dBm with a data rate 256kbps, and the measured output power of the transmitter could achieve -23dBm with a data rate 1Mbps. The transceiver operates from a power supply of 2.5V, while only consuming 15mW in receiver (RX) mode and 14mW in transmitter (TX) mode.
Detection and prediction of errors in EPCs of the SAP reference model
Authors: J. Mendling, H. M. W. Verbeek, B. F. van Dongen, W. M. P. van der Aalst, G. Neumann
Venue: Data Knowledge Engineering (2008)

Up to now there is neither data available on how many errors can be expected in process model collections, nor is it understood why errors are introduced. In this article, we provide empirical evidence for these questions based on the SAP reference model. This model collection contains about 600 process models expressed as Event-driven Process Chains (EPCs). We translated these EPCs into YAWL models, and analyzed them using the verification tool WofYAWL. We discovered that at least 34 of these EPCs contain errors. Moreover, we used logistic regression to show that complexity of EPCs has a significant impact on error probability.
Towards the Support of Contextual Information to a Measurement and Evaluation Framework
Authors: Hernan Molina, Luis Olsina
Venue: Proceedings of the 6th International Conference on Quality of Information and Communications Technology (2007)

A framework that precisely defines the information used in measurement and evaluation activities in an organization's software projects can provide more consistent and comparable solutions. Nevertheless, differences in the context, determined by each particular project, could affect the coherence and comparison among results. In this paper, the importance of using context information in measurement and evaluation activities in software projects is discussed. Also, we propose a model and a strategy for representing and using context information to the measurement and evaluation framework socalled INCAMI, in order to assist in the recommendation of design solutions and in the interpretation of results.
Experimental Views on Neighbor Selection in BitTorrent
Authors: Yingchun Lei, Litang Yang, Qi Jiang, Chanle Wu
Venue: Proceedings of the 2007 IFIP International Conference on Network and Parallel Computing Workshops (2007)

BitTorrent is a protocol for P2P content distribution, which has become an important Internet application in recent years. In this paper, we measure the performance of BitTorrent, explain its key elements, and analyze its efficiency. Our contributions are as follows: 1) present an effective way to measure the performance of P2P content distribution systems; 2) quantify Bit- Torrent's Neighbor Selection which impair its efficiency; 3) design a ShareStorm protocol which avoids the BitTorrent flaws. Our preliminary experiment shows that in terms of download time, ShareStorm outperforms BitTorrent by 50+%.
Position/force control of manipulator based on force measurement and its application to gear deburring
Authors: Zhongxu Hu, Robert Bicker, Christopher Marshall
Venue: Journal of Intelligent Fuzzy Systems: Applications in Engineering and Technology (2003)

Robotic gear deburring is a relatively difficult task because traditional position/force control laws are not suitable due to the complicated geometry and inevitable system positioning error. A position/force control algorithm based on force measurement is investigated for unknown gear profile detection and tracking, and its further application to the deburring process. A PID type fuzzy logic controller is applied to deal with the non-linear contact force control problem, and a velocity compensated position control method is utilized to obtain a faster response. Experimental results are provided to verify the efficiency of the proposed control method.
Public Believes Computers Make Life Better But Expresses Major Concerns
Venue: Computer (1972)

Results of a major national attitude survey of the general public indicate a majority of Americans believe computers are making life better. However, there is major public concern in several important areas. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Comparing Size Measures for Predicting Web Application Development Effort: A Case Study
Authors: Sergio Di Martino, Filomena Ferrucci, Carmine Gravino, Emilia Mendes
Venue: Proceedings of the First International Symposium on Empirical Software Engineering and Measurement (2007)

Size represents one of the most important attribute of software products used to predict software development effort. In the past nine years, several measures have been proposed to estimate the size of Web applications, and it is important to determine which one is most effective to predict Web development effort. To this aim in this paper we report on an empirical analysis where, using data from 15 Web projects developed by a software company, we compare four sets of size measures, using two prediction techniques, namely Forward Stepwise Regression (SWR) and Case-Based Reasoning (CBR). All the measures provided good predictions in terms of MMRE, MdMRE, and Pred(0.25) statistics, for both SWR and CBR. Moreover, when using SWR, Length measures and Web Objects gave significant better results than Functional measures, however presented similar results to the Tukutuku measures. As for CBR, results did not show any significant differences amongst the four sets of size measures.
Design of a Raster Display Processor for Office Applications
Authors: D. H. Hartke
Venue: IEEE Transactions on Computers (1978)

In recent years there has been a pronounced emphasis to develop alphanumeric display systems for document creation, filing, and text editing applications. This paper describes the design of a raster scan Display Processor which was specifically implemented to produce full page images ( 8½ in × 11 in or 11 in × 8½ in) which emulate typewriter output. A dual data path architecture is presented in which a Character Generator produces video images of text data, while a FAX Generator generates bit map video images corresponding to graphic forms used in the office. The design approach chosen provides degrees of functional richness that are not commonly present in current systems. Furthermore, the modular approach allows for a choice of whether or not to include forms overlay capability based on application requirements.
Genetic algorithms for soft-decision decoding of linear block codes
Authors: Harpal Maini, Kishan Mehrotra, Chilukuri Mohan, Sanjay Ranka
Venue: Evolutionary Computation (1994)

Soft-decision decoding is an NP-hard problem of great interest to developers of communication systems. We show that this problem is equivalent to the problem of optimizing Walsh polynomials. We present genetic algorithms for soft-decision decoding of binary linear block codes and compare the performance with various other decoding algorithms including the currently developed A* algorithm. Simulation results show that our algorithms achieve bit-error-probabilities as low as 0.00183 for a [104,52] code with a low signal-to-noise ratio of 2.5 dB, exploring only 22,400 codewords, whereas the search space contains 4.5 × 10l5 codewords. We define a new crossover operator that exploits domain-specific information and compare it with uniform and two-point crossover.
An Efficient Real-Coded Genetic Algorithm for Numerical Optimization Problems
Authors: Jianwu Li, Yao Lu
Venue: Proceedings of the Third International Conference on Natural Computation - Volume 03 (2007)

This paper proposes an improved real-coded genetic algorithm(RCGA) with a new crossover operator and a new mutation operator. The crossover operator is designed, based on the evolutionary direction provided by two parents, the fitness ratio of two parents, and the distance between two parents. This crossover operator can improve the convergence speed of RCGAs by using the heuristic information mentioned above. Moreover, the proposed mutation operator, which utilizes the entropy information of every gene locus in chromosomes, can prevent the premature convergence of RCGAs. Experiments on benchmark test functions with different hardness describe the effectiveness of the improved RCGA
On sum rate and power consumption of multi-user distributed antenna system with circular antenna layout
Authors: Jiansong Gan, Yunzhou Li, Limin Xiao, Shidong Zhou, Jing Wang
Venue: EURASIP Journal on Wireless Communications and Networking (2007)

We investigate the uplink of a power-controlled multi-user distributed antenna system (DAS) with antennas deployed on a circle. Applying results from random matrix theory, we prove that for such a DAS, the per-user sum rate and the total transmit power both converge as user number and antenna number go to infinity with a constant ratio. The relationship between the asymptotic per-user sum rate and the asymptotic total transmit power is revealed for all possible values of the radius of the circle on which antennas are placed. We then use this rate-power relationship to find the optimal radius. With this optimal radius, the circular layout DAS (CL-DAS) is proved to offer a significant gain compared with a traditional colocated antenna system (CAS). Simulation results are provided, which demonstrate the validity of our analysis.
A New Framework for Design and Simulation of Complex Hardware/Software Systems
Authors: C. Brandolese, D. Crespi, L. Frigerio, F. Salice
Venue: Proceedings of the 10th Euromicro Conference on Digital System Design Architectures, Methods and Tools (2007)

The growing complexity of digital systems and the increase of available silicon area are drawing attention on the problem of how to fill the productivity gap. Many initiatives are possible, ranging from raising the abstraction level, to mixing solutions targeted to the hardware and software domains. This paper proposes a design approach that raises the abstraction level, maintaining a tight link with the hardware and software domains, through the use of highly parametric, technology independent and easily modifiable hardware and software cores. Key features of the methodology are the exploration of the solution space, carried out to identify not only a hardware/software partitioning but also a finer tuning of alternative implementations in both the domains, and the back-annotations that enrich the description model and allow for faster design-loops and for a closer control on the underlying architecture. As a case study the paper describes the implementation of one physical layer of the 802.16-2004 protocol (WiMax) evaluating different hardware/software solutions.
A Small Target Detection Algorithm Based on Immune Computation and Infrared Background Suppression
Authors: Gao Kanglin, Dong Mei, Cheng Wei
Venue: Proceedings of the Third International Conference on Natural Computation - Volume 03 (2007)

This research paper investigates a target extraction method of infrared point targets and proposes a type of space-time combined target detection algorithm. Starting from the detected target information which has a low signal-to-noise ratio and with very few target characteristics from a small target infrared image formation, it uses an algorithm for least squares involution filtering of the space with changing self-adapted restraints to process single frame images and suppress any background noise. In processing the images in this way a Gaussian white noise sequence is obtained. Then according to the relevance and continuity of the target movement and by adopting an intelligent path matching technology based on immunity computation the target is detected and the moving target path is obtained.
Localization of legged robots combining a fuzzy-Markov method and a population of extended Kalman filters
Authors: Francisco Martín, Vicente Matellán, Pablo Barrera, José M. Cañas
Venue: Robotics and Autonomous Systems (2007)

This paper presents a new approach to robot vision-based self-localization in dynamic and noisy environments for legged robots when efficiency is a strong requirement. The major contribution of this paper is the improvement of a Markovian method based on a fuzzy occupancy grid (FMK). Our proposal combines FMK with a population of Extended Kalman Filters, making the complete algorithm both robust and accurate while keeping its computational cost bounded. Two different strategies have been designed to combine both the methods. They have been tested in the RoboCup environment and quantitatively compared with other approaches in several experiments with the real robot.