ppxscal/embedding_network huggingface dataset:
Emergence of automated assignment conceptions in a functional programming course
Authors: Tamar Paz, Tami Lapidot
Venue: ACM SIGCSE Bulletin (2004)

This paper reports a research into the performance of high school students while they were first exposed to the paradigm of functional programming. The findings have been organized using three categories. In this paper we will concentrate on the "Automated assignment to parameters" conception which was the most widespread conception found in the research. We will describe the conception and will discuss some possible factors that could influence its development.
PAC-MEN: Personal Autonomic Computing Monitoring Environment
Authors: Roy Sterritt, David F. Bantz
Venue: Proceedings of the Database and Expert Systems Applications, 15th International Workshop (2004)

The overall goal of this research is to improve the 'environment awareness' aspect of personal autonomic computing. Personal Computing offers unique challenges for self-management due to its multi-equipment, multi-situation, and multi-user nature. The aim is to develop a support architecture for multi-platform working, based on autonomic computing concepts and techniques. Of particular interest is collaboration among personal systems to take a shared responsibility for environment awareness. Concepts mirroring human mechanisms, such as 'reflex reactions' and the use of 'vital signs' to assess operational health, are used in designing and implementing the personal computing architecture. A proof of concept self-healing tool is considered and lessons learned used for the requirements specification of the community-based environment awareness prototype environment-PAC-MEN (Personal Autonomic Computing Monitor ENvironment).
The HMM-Based Model for Evaluating Recommender's Reputation
Authors: Weihua Song, Vir V. Phoha, Xin Xu
Venue: Proceedings of the E-Commerce Technology for Dynamic E-Business, IEEE International Conference (2004)

There is limited research on evaluating an agent's reputation as a recommender. A key challenge is that a recommender's reputation is affected by both the recommender's trustworthiness and the recommender's expertise, including the recommender's trust knowledge of others and the reliability of the recommender's trust evaluation models. In this paper, we give an ordered depth-first search with threshold (ODFST) algorithm to find the optimal referral chain. We then develop a Hidden Markov Model (HMM) based approach to measure an agent's reputation as a recommender. This approach models chained recommendation events as an HMM. The features of the trust model are: (1) no explicit requirement of chained recommendation reputations; (2) flexible recommendation network with presence of loops; and (3) integration of learning speed into trust evaluation reliability. The experimental results showed the convergence and reliability of the proposed trust model.
Note: On the Structure of Graphs with Bounded Clique Number
Authors: Stephan Brandt
Venue: Combinatorica (2003)

In this note, a structural result for maximal Kr-free graphs is proven, which provides a simple proof of the Andr&#x00e1;sfai&#x2013;Erd&#x0151;s&#x2013;S&#x00f3;s Theorem, saying that every Kr-free graph with minimum degree $$\delta > {\left( {1 - \frac{1}{{r - \frac{4}{3}}}} \right)}n$$ is (r&#x2212;1)-colourable.
A Dynamic Data Structure for Geospatial Web Services Integration
Authors: Luo Chen, Ning Jing
Venue: Proceedings of the IEEE International Conference on Web Services (2004)

This paper investigates the issues whenseveral complementary geospatial web services arechained to be a customized application process. Thispaper proposes a conceptual framework and a datastructure, called Service Chain Graph (SCG), todescribe the geospatial web service integration and thedynamic construction of service chaining process. Aset of dynamic structural transformation rules is givento model the dynamic process of service chaining.Implementation issues are discussed and a prototypesystem is briefly presented for integration of severaldistributed, heterogeneous geospatial data servicesbased on the model proposed by this paper.
A novel method for supporting collaborative interaction management in Web-based CVE
Authors: Qingping Lin, Weihua Wang, Liang Zhang, Tian Fook Choo
Venue: Proceedings of the ACM symposium on Virtual reality software and technology (2003)

The capabilities of Virtual Reality Modeling Language (VRML)/Extensible 3D (X3D) permit building collaborative virtual environments (CVE) using the Internet and the World Wide Web. However, they do not provide a multi-user collaborative interaction management mechanism for CVE applications except the External Authoring Interface that allows communication between external program and VRML browser. The authors of such applications must manage the interactions among the interactive entities by themselves through capturing user interaction with particular virtual entities and propagating them to the affected users. This application-specific method leads to inflexibility in reusing collaborative role definitions and adapting various collaborative interaction management methods. In this paper, we propose a Collaborative Behavior Description Language(CDBL) to address the identified issues. The syntax and sample applications of CBDL will be presented in details. Our work shows that CBDL enables the reuse of collaborative role definitions and scene descriptions to construct flexible CVE with adaptive underlying collaborative interaction management methods.
Understanding Web Applications through Dynamic Analysis
Venue: Proceedings of the 12th IEEE International Workshop on Program Comprehension (2004)

The relevance and pervasiveness of web applications asa vital part of modern enterprise systems has significantlyincreased in recent years. However, the lack of adequatedocumentation promotes the need for reverse engineeringtools aiming at supporting web application maintenanceand evolution tasks.A non trivial web application is a complex artifact integratingtechnologies such as scripting languages, middleware,web services, data warehouses and databases. Thetask to recover abstractions requires the adoption of dynamicanalyses to complement the information gatheredwith static analyses.This paper presents an approach and a tool, namedWANDA, that instruments web applications and combinesstatic and dynamic information to recover the as-is architectureand, in general, the UML documentation of the applicationitself. To this aim we propose an extension of theConallen UML diagrams to account for detailed dynamicinformation. The tool has been implemented and tested onseveral web applications. Its architecture has been conceivedto allow easy customization and extension. The paperpresents our tool in the context of a program understandingtask; however, it can be usefully applied to manyother tasks such as profiling, security and dependability verificationand application restructuring.
Statistical Verification of Two Non-linear Real-time UAV Controllers
Venue: Proceedings of the 10th IEEE Real-Time and Embedded Technology and Applications Symposium (2004)

We present a versatile statistical verification methodologyand we illustrate different uses of this methodology ontwo examples of non-linear real-time UAV controllers. Thefirst example applies our statistical methodology to the verifyicationof a computation time property for a software implementationof a high-performance controller as a functionof controller state variable values. The second example illustratesour statistical verification methodology applied tofinding verifiably safe flight envelopes for a class of maneuvers,again as a function of controller state variable values.We compare our approach to verification with other statisticaltechniques used for estimating execution times and controllerperformance. We close with candidate topics for futurework.
The Most Important Design Guideline?
Authors: Scott Meyers
Venue: IEEE Software (2004)

The activity of "design" includes many things, but certainly one of the most important aspects is interface specification. Regardless of your role in the development of a software system, it almost certainly involves some interface design, so it's helpful to have some heuristics that indicate when youýre doing it well--or poorly. Read on to learn what could be the most important general interface design guideline.
Three-dimensional finite element simulation of curing of polymer composites
Authors: A. Cheung, Y. Yu, K. Pochiraju
Venue: Finite Elements in Analysis and Design (2004)

A coupled thermo-kinetic simulation of the liquid composite molding process based on a three-dimensional Galerkin finite element method is presented. The thermal equilibrium and chemical kinetics during the curing phase of Resin Transfer Molding process are obtained subject to mold temperature history and corresponding manufacturing process plans. The temperature and degree of cure fields, as well as their respective gradients are obtained during the curing process. The finite element implementation is geared toward solving large mesh problems in reasonable computational time by using banded in-core storage and storage of equations at the boundary nodes in a sparse matrix. Two numerical solutions are presented to illustrate the results obtained using this methodology. The obtained numerical solutions are compared with experimental data available in the literature.
A model of BGP routing for network engineering
Authors: Nick Feamster, Jared Winick, Jennifer Rexford
Venue: ACM SIGMETRICS Performance Evaluation Review (2004)

The performance of IP networks depends on a wide variety of dynamic conditions. Traffic shifts, equipment failures, planned maintenance, and topology changes in other parts of the Internet can all degrade performance. To maintain good performance, network operators must continually reconfigure the routing protocols. Operators configure BGP to control how traffic flows to neighboring Autonomous Systems (ASes), as well as how traffic traverses their networks. However, because BGP route selection is distributed, indirectly controlled by configurable policies, and influenced by complex interactions with intradomain routing protocols, operators cannot predict how a particular BGP configuration would behave in practice. To avoid inadvertently degrading network performance, operators need to evaluate the effects of configuration changes before deploying them on a live network. We propose an algorithm that computes the outcome of the BGP route selection process for each router in a single AS, given only a static snapshot of the network state, without simulating the complex details of BGP message passing. We describe a BGP emulator based on this algorithm; the emulator exploits the unique characteristics of routing data to reduce computational overhead. Using data from a large ISP, we show that the emulator correctly computes BGP routing decisions and has a running time that is acceptable for many tasks, such as traffic engineering and capacity planning.
Self-organized load balancing in proxy servers: algorithms and performance
Authors: Kwok Ching Tsui, Jiming Liu, Markus J. Kaiser
Venue: Journal of Intelligent Information Systems (2003)

Proxy servers are common solutions to relieve organizational networks from heavy traffic by storing the most frequently referenced web objects in their local cache. These proxies are commonly known as cooperative proxy systems and are usually organized in such a way as to optimize the utilization of their storage capacity. However, the design of the organizational structure of such proxy system depends heavily on the designer's knowledge of the network's performance. This article describes three methods to tackle this load balancing problem. They allow the self-organization of proxy servers by modeling each server as an autonomous entity that can make local decisions based on the traffic pattern it has served.
Scenario-based prototyping for requirements identification
Authors: James W. Hooper, Pei Hsia
Venue: Proceedings of the workshop on Rapid prototyping (1982)

The three major facets of software requirements engineering are: (1) requirements identification, (2) requirements analysis, and (3) requirements communication. Much research addresses the latter two aspects, but few practical approaches exist for addressing the first one. Hence, system requirements remains the most critical and problemprone area of system development. There is thus an urgent need for a methodology which helps a user identify requirements and realize potential impacts, in a timely manner.The objectives of this research are: (1) develop a methodology (and accompanying tools) to aid users in identifying requirements before building a system, and (2) evaluate the effectiveness of the methodology (and tools) in actual use.The novel approach of this research is an attempt to capture the conceptual system as visualized by the user, by use of operational examples ("scenarios"). By means of simulation and man-machine interface techniques, the scenarios may serve as a "quick and dirty" prototype of the intended system, providing the means for requirements analysis and validation, and for communicating the real intent of the requirements. It is anticipated that the methodology can be extended to fully support the concept of step-wise refinement and continuing system validation.
Better Privacy and Security in E-Commerce: Using Elliptic Curve-Based Zero-Knowledge Proofs
Authors: Sultan Almuhammadi, Nien T. Sui, Dennis McLeod
Venue: Proceedings of the IEEE International Conference on E-Commerce Technology (2004)

We propose an approach using elliptic curve-based zero-knowledge proofs in e-commerce applications. We demonstrate that using elliptic curved-based zero-knowledge proofs provide privacy and more security than other existing techniques. The improvement of security is due to the complexity of solving the discrete logarithm problem over elliptic curves.
Formal methods software engineering for the CARA system
Authors: John C. Martin
Venue: International Journal on Software Tools for Technology Transfer (STTT) (2004)

This paper discusses the application of formal methods software engineering (FMSE) to the development of the Computer Automated Resuscitation A (CARA) medical device at Walter Reed Army Institute of Research. Because this system is potentially life critical, a high level of quality was required. A formal engineering approach to the software development activities was chosen to satisfy this need. Specifically, a technique called sequence enumeration was applied to elicit and refine requirements while deriving a formal specification. The fundamentals of the specification process that was used on the project are described along with a brief summary of the project experience in the development and testing phases. The project employed recent advances in Cleanroom software engineering methods along with older box-structured development and usage-model-based statistical testing techniques.
Handling Backtracking in Web Applications
Authors: Bettina Biel, Matthias Book, Volker Gruhn, Dirk Peters, Clemens Schafer
Venue: Proceedings of the 30th EUROMICRO Conference (2004)

A common challenge in the development of web applications today lies in the handling of unforeseen navigation steps initiated by the user through the browser's Back, Forward and Reload buttons. These operations break the synchrony of dialog states on the server and the client, provoking non-intuitive and possibly destructive application behaviour if not properly handled. We therefore present an approach to handling Back and Forward navigation that realizes undo/redo semantics and illustrate its implementation using the example of a web-based conference management system. The presented approach is subsequently discussed with regard to its general applicability and alternative handling semantics.
High Level Synthesis Methodology from C to FPGA Used for a Network Protocol Communication
Authors: M. Diaby, M. Tuna, J.-L. Desbarbieux, F. Wajsburt
Venue: Proceedings of the 15th IEEE International Workshop on Rapid System Prototyping (2004)

This paper presents a "Kahn Process Network" methodologybased on the DISYDENT platform (DIgital SYstemDesign ENvironmenT). The system is described by a setof communicating Kahn processes. This processes are CPOSIX threads representing both software and hardwaretasks. Each thread communicates with the others usingchannel-read / channel-write primitives. Thus, the systemcan be validated efficiently and quickly by software. Systemýsrealization consists of synthesizing hardware tasksto RTL-VHDL language. This step is automated from Ctask to FPGA mapping. This paper shows the methodýs effectivenessthrough the realization of a network controlleron FPGA enabling communication between two Linux stations.
A Framework for Interactive Visualization of Component-Based Software
Authors: Alexandru Telea, Lucian Voinea
Venue: Proceedings of the 30th EUROMICRO Conference (2004)

In this paper, we advocate the use of visual tooling for the development and maintenance of component-based software systems. Our contribution is twofold. First, we demonstrate how an interactive visualization tool effectively supports understanding large component based software. Secondly, we show how to design such a tool in order to make it applicable for a wide range of component systems and investigation goals. We demonstrate our approach by several visualization scenarios for real-world systems.
Towards virtual environment authoring tools for content developers
Authors: Mark Green
Venue: Proceedings of the ACM symposium on Virtual reality software and technology (2003)

The development of digital media requires the skills of both technical and creative individuals. Technical experts produce the underlying technology that makes the medium possible, but without high quality content the medium won't be successful. In order for a digital medium to be successful it must be possible for content designers to have as much access as possible to the technology without requiring the hands-on assistance of technology experts. This paper examines the problem of creating authoring tools for virtual environments that allow content designers to produce interesting artistic environments without the direct assistance of programmers. Over the past two years we have been developing authoring tools for artistic virtual environments, and these tools form the basis of our virtual reality courses. Most of the students in these courses have limited programming abilities, so they cannot use programming based tools for producing their virtual environments. This paper presents some of the important things that we have learned and a brief discussion of the tools that we have produced.
Group Rekeying with a Customer Perspective
Authors: Melek Onen, Refik Molva
Venue: Proceedings of the Parallel and Distributed Systems, Tenth International Conference (2004)

In secure multi-party communications, several solutionshave been proposed to deal with group rekeying. However,most of existing solutions including the most efficient onesstill are severely lacking with respect to reliability and realcustomer expectations. Since in these solutions, each rekeyingoperation requires the update of the keying materialof all members alike, frequent rekeying caused by volatilemembers would strongly affect long-lived members. We thuspropose to restructure the Logical Key Hierarchy (LKH)scheme, by separately regrouping members based on theirmembership duration aiming at preserving members withlong duration membership from the impact of rekeying operationscaused by arrivals or departures of short-lived members.We designed a hybrid reliability scheme based on acombination of ARQ and FEC that assures a quasi certaindelivery of keying material to long-lived members. We thencome up with an extensive method to determine the systemparameters applicable to each member set based on the targetcustomer satisfaction criteria.
Dynamic Resource Allocation For Forest Fire Risk Management
Authors: Paolo Fiorucci, Francesco Gaetani, Riccardo Minciardi, Roberto Sacil, Eva Trasforini
Venue: Proceedings of the Database and Expert Systems Applications, 15th International Workshop (2004)

The occurrence of one or more simultaneous forest fires requires that decision makers are able to solve a complex problem of resources allocation to fight the fires. The efficiency of the emergency management system can be deeply affected by these decisions, which, in turn, are influenced by the predicted behavior of forest fires. In this paper, a methodology is introduced, based on system modeling and optimization, to manage resource allocation, for real time control of forest fires, over a regional area. While several studies have proposed different models of forest fire dynamics, a proper formalization related to the decision support aspect has not been so deeply investigated. In this work, a graph model and a mathematical formalization are introduced in order to describe the territory under consideration, and the dynamics of the detected fires. A specific case study in Liguria region (Italy) is presented, in order to highlight the feasibility of the proposed approach.
A Distributed Arithmetic Online Rotator for Signal Processing Applications
Authors: Robert Prain, Andrew Paplinski
Venue: Proceedings of the Digital System Design, EUROMICRO Systems (2004)

A rotation algorithm is presented which uses Distributed Arithmetic to re-arrange a complex rotation into a form more suited to FPGA implementation. The algorithm uses precomputed sine values in the Two's Complement number system and creates partial results in the redundant Binary Signed Digit (BSD [Signed-digit number representation for fast parallel arithmetic]) number system. Partial results are summed to produce output digits on-line in BSD. A bit-serial architecture is presented which produces a favorable foot-print and is well suited to working with wide input/output signal processing systems such as beam-formers [Evolution of ultrasound beamformers]. High through-put is maintained despite the bit-serial approach by utilizing the highly parallel nature of beam-forming.
Hierarchical Reasoning Based on Stratified Graphs Application in Image Synthesis
Authors: Nicolae Tandareanu, Mihaela Ghindeanu
Venue: Proceedings of the Database and Expert Systems Applications, 15th International Workshop (2004)

In this paper we introduce a method by means of which we can reconstruct a graphical image by extracting the semantics of a linguistic spatial description given in a natural language.
Analysis and Prediction of Performance for Evolving Architectures
Authors: E. M. Eskenazi, A. V. Fioukov, D. K. Hammer, H. Obbink, B. Pronk
Venue: Proceedings of the 30th EUROMICRO Conference (2004)

This paper describes a method for the "Analysis and Prediction of Performance for Evolving Architectures" (APPEAR). The method aims at performance estimation of adapted parts of software product families during the architecting phase. It combines both structural and statistical techniques in a flexible way, that is, it allows choosing which part of the component is structurally described, modeled and simulated, and which part is statistically evaluated. The method was exemplified by case studies in the Consumer Electronics and the Medical Imaging System domains. The results of the initial validation of the method are encouraging.