ppxscal/embedding_network huggingface dataset:
Towards a Requirements-Aware Common Web Engineering Metamodel
Authors: Fernando Molina, Jesús Pardillo, Cristina Cachero, Ambrosio Toval
Venue: Proceedings of the 2008 Latin American Web Conference (2008)

In recent years, Web Engineering development projects have grown increasingly complex and critical for the smooth running of the organizations. However, recent studies reveal that, due to an incorrect requirements management, a high percentage of these projects miss the quality parameters required by stakeholders. Despite this, current Web Engineering methodologies continue focusing on web design features, thus limiting the Requirements Engineering tasks to the elicitation of high-level functional requirements. This fact has caused a requirements-support gap in the recently proposed Common Web Engineering Metamodel. This paper tries to cover this gap and proposes a requirements extension for this Common Web Engineering metamodel that supports measurable requirements. The reinforcement of the role that requirements play in current Web Engineering methodologies, and their explicit connection with quantitative measures that contribute to their fulfilment, is a necessary step in order to reduce some of the quality failures detected in Web Engineering development projects, thus increasing the satisfaction of their users.
Modelling and verification of superscalar Micro-architectures functional approach
Authors: S. Merniz, M. Benmohammed
Venue: Proceedings of the 12th WSEAS international conference on Computers (2008)

Most proof approaches verified a pipelined Micro-Architectural (MA) implementation against an Instruction-Set-Architecture (ISA) specification, and consequently, it was impossible to find a meaningful point where the implementation state and the specification state can be compared easily. An alternative solution to such problem is to verify a pipelined micro-architectural implementation against a sequential multi-cycle implementation. Because both models are formalised in terms of clock cycles, all synchronous intermediate states represent interesting points where the comparison could be achieved easily. Furthermore, by decomposing the state, the overall proof decomposes systematically into a set of verification conditions more simple to reason about and to verify. A major advantage of this elegant choice is the ability to carry out the proof by induction within the same specification language rather than by symbolic simulation through a proof tool which remains very tedious. Also, because both models relate to the MA level, there is no need for a data abstraction function, only a time abstraction function is needed to map between the times used by the two models. The potential features of the proposed proof methodology are demonstrated over the pipelined and the superscalar pipelined MIPS processors within Haskell framework.
Framework of an E-learning Environment in Continuing Education Institutions
Authors: K. S. Cheung, J. Lam, T. Im, R. Szeto
Venue: Proceedings of the 2009 International Conference on Electronic Computer Technology (2009)

Typically, an e-learning environment comprises three basic components. First, there should be a learning management system which provides administrative functions for curriculum design, course content management, communication, discussion and assessment. Second, there should be a rich set of e-courses, in which information technologies are effectively used in content and instruction design. Third, a technical infrastructure should be in place to support the learning management system and e-courses. This paper reviews the e-learning environment in the School of Professional and Continuing Education of the University of Hong Kong. It would provide a good reference for continuing education institutions to practice e-learning.
Seamless handover scheme for proxy mobile IPv6 using smart buffering
Authors: Hyon Young Choi, Sung Gi Min, Kwang Ryoul Kim, Youn-Hee Han, Hyo Beom Lee
Venue: Proceedings of the International Conference on Mobile Technology, Applications, and Systems (2008)

PMIPv6 is proposed as a new network-based mobility protocol and it does not require MN's involving in mobility signaling. PMIPv6 can handover relatively faster than MIPv6 because of using link layer attachment information and micro mobility characteristic. However, current PMIPv6 cannot prevent packet loss in disruption period. We proposed in this paper, Smart Buffering scheme for supporting seamless handover in PMIPv6. Smart Buffering scheme prevents packet loss totally by buffering lost candidate packets in a current serving MAG and forwarding it to a new MAG, after an MN successfully connected. Smart Buffering also performs redundant packet removing in a previous MAG and packet reordering in a new MAG to maximize performance of seamless handover. All these procedures between a previous MAG and a new MAG are processed using simple message exchanges without requiring any involving of an MN. We verified the effectiveness of the Smart Buffering by simulation with various parameters. Simulation results prove that proposed scheme prevent packet loss in the handover and handle buffered packets very efficiently. As a result, we conclude that Smart Buffering is very useful for supporting seamless handover in PMIPv6.
Large deviations perspective on ordinal optimization of heavy-tailed systems
Authors: Jose Blanchet, Jingchen Liu, Bert Zwart
Venue: Proceedings of the 40th Conference on Winter Simulation (2008)

We consider the problem of selecting the best among several heavy-tailed systems using a large deviations perspective. In contrast to the light-tailed setting studied by Glynn and Juneja (2004), in the heavy-tailed setting, the probability of false selection is characterized by a rate function that does not require as detailed information about the probability distributions of the system's performance. This motivates the question of studying static policies that could potentially provide convenient implementable in heavy-tailed settings. We concentrate in studying sharp large deviations estimates for the probability of false detection which suggest precise optimal allocation policies when the systems have comparable heavy-tails. Additional optimality insights are given for systems with non-comparable tails.
Asymmetric multivariate normal mixture GARCH
Authors: Markus Haas, Stefan Mittnik, Marc S. Paolella
Venue: Computational Statistics Data Analysis (2009)

An asymmetric multivariate generalization of the recently proposed class of normal mixture GARCH models is developed. Issues of parametrization and estimation are discussed. Conditions for covariance stationarity and the existence of the fourth moment are derived, and expressions for the dynamic correlation structure of the process are provided. In an application to stock market returns, it is shown that the disaggregation of the conditional (co)variance process generated by the model provides substantial intuition. Moreover, the model exhibits a strong performance in calculating out-of-sample Value-at-Risk measures.
IEEE Std 1500 enables core-based SoC test development
Venue: IEEE Design Test (2009)

IEEE Std 1500 supports cost-efficient testing of core-based SoCs. Several popular commercial cores have incorporated IEEE-1500-compliant wrappers, and many complex SoC designs have successfully employed a modular-testing strategy enabled by this standard. This special issue examines the usage experiences of this important standard. Also included in this issue of D&#x0026;T is a Perspectives article from Intel's Gadi Singer on emerging computing trends, challenges of nanoscale device integration, and the resulting gigascale complexity. In addition, there are three general-interest articles on various topics.
Integrated marketing communications in markets with uncertainty and competition
Authors: Ashutosh Prasad, Suresh P. Sethi
Venue: Automatica (Journal of IFAC) (2009)

Firms frequently utilize multiple communications instruments as part of their marketing campaign. Interactions between these instruments suggest that firms should apply Integrated Marketing Communications (IMC) to benefit from the synergies. We review different IMC models and then present a stochastic IMC model for which explicit closed-loop solutions of the optimal advertising and market share are obtained. This enables us to understand the role of firm and market parameters such as synergy on the optimal advertising budget and allocation. For the proposed and existing IMC models, we show that the budget and allocation decisions can be made independently, greatly simplifying the implementation of IMC. We also show that there is an optimal long-run market share that the firm should try to maintain through appropriate use of IMC. Finally, the model and results are generalized to multiple (>2) instruments and multiple competitors.
Evaluating centering for information ordering using corpora
Authors: Nikiforos Karamanis, Chris Mellish, Massimo Poesio, Jon Oberlander
Venue: Computational Linguistics (2009)

In this article we discuss several metrics of coherence defined using centering theory and investigate the usefulness of such metrics for information ordering in automatic text generation. We estimate empirically which is the most promising metric and how useful this metric is using a general methodology applied on several corpora. Our main result is that the simplest metric (which relies exclusively on NOCB transitions) sets a robust baseline that cannot be outperformed by other metrics which make use of additional centering-based features. This baseline can be used for the development of both text-to-text and concept-to-text generation systems.
MPTC --- A Minimum-Energy Path-Preserving Topology Control Algorithm for Wireless Sensor Networks
Authors: Xian Zhou, Yun Li, Weiliang Zhao, Zhanjun Liu, Qianbin Chen
Venue: Proceedings of the 10th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services: Real-Time Mobile Multimedia Services (2008)

The topology control strategies of wireless sensor networks are very important to reduce the energy consumptions of sensor nodes and prolong the life-span of networks. In this paper, we put forward a minimum-energy path-preserving topology control (MPTC) algorithm. MPTC not only resolves the problem of exceeding energy consumption because of the unclosed region in SMECN[2], but also preserves at least one minimum-energy path between every pair of nodes in a communication network. At last, we demonstrate the performance improvements of our algorithm through simulation.
ArborCraft: automatic feature models from textual requirements documents
Authors: Nathan Weston, Awais Rashid
Venue: Proceedings of the 15th workshop on Early aspects (2009)

One of the tasks facing requirements engineers working in the field of Product Line Engineering is the creation of feature models, which represent the domain of the product line and from which product configurations can be derived. Requirements documents, which are to be mined for this information, are often very large and written in potentially ambiguous natural language, and can be written over a long period of time by various authors. This makes the engineer's task very arduous, and a clear separation of concerns is often difficult to infer from textual documents. We present ArborCraft, a tool which automatically mines textual requirements documents, identifies features based on natural-language processing techniques, and produces a candidate feature model. We show that this can significantly reduce the burden on the requirements engineer and promote separation of concerns early in the Product Line Engineering process.
The high precision Man-Hours estimated technique in a system proposal phase
Authors: Yoshinori Fukue, Masakazu Takahashi, Kazuhiko Tsuda
Venue: International Journal of Computer Applications in Technology (2009)

Enterprises adopt various Small Scale Office Information System (SOIS) for business operations. SOIS requires frequent modifications because of the operation changes schedule, but it includes significant errors. This paper proposes an MH estimation technique of SOIS. In this technique, regression analysis is conducted using results of MH and it derives a relationship that is "the square of the number of input data is in proportion to MH". We applied this relationship and confirmed to estimate MH within 10% error. Consequently, risks to fall into the red can be avoided.
Memory buddies: exploiting page sharing for smart colocation in virtualized data centers
Authors: Timothy Wood, Gabriel Tarasuk-Levin, Prashant Shenoy, Peter Desnoyers, Emmanuel Cecchet, Mark D. Corner
Venue: Proceedings of the 2009 ACM SIGPLAN/SIGOPS international conference on Virtual execution environments (2009)

Many data center virtualization solutions, such as VMware ESX, employ content-based page sharing to consolidate the resources of multiple servers. Page sharing identifies virtual machine memory pages with identical content and consolidates them into a single shared page. This technique, implemented at the host level, applies only between VMs placed on a given physical host. In a multi-server data center, opportunities for sharing may be lost because the VMs holding identical pages are resident on different hosts. In order to obtain the full benefit of content-based page sharing it is necessary to place virtual machines such that VMs with similar memory content are located on the same hosts. In this paper we present Memory Buddies, a memory sharing-aware placement system for virtual machines. This system includes a memory fingerprinting system to efficiently determine the sharing potential among a set of VMs, and compute more efficient placements. In addition it makes use of live migration to optimize VM placement as workloads change. We have implemented a prototype Memory Buddies system with VMware ESX Server and present experimental results on our testbed, as well as an analysis of an extensive memory trace study. Evaluation of our prototype using a mix of enterprise and e-commerce applications demonstrates an increase of data center capacity (i.e. number of VMs supported) of 17%, while imposing low overhead and scaling to as many as a thousand servers.
The sandpile group of a tree
Authors: Lionel Levine
Venue: European Journal of Combinatorics (2009)

A wired tree is a graph obtained from a tree by collapsing the leaves to a single vertex. We describe a pair of short exact sequences relating the sandpile group of a wired tree to the sandpile groups of its principal subtrees. In the case of a regular tree these sequences split, enabling us to compute the full decomposition of the sandpile group as a product of cyclic groups. This resolves in the affirmative a conjecture of E. Toumpakari concerning the ranks of the Sylow p-subgroups.
A Self-adaptive Genetic Algorithm Based on Region Balance Variation
Authors: Siyan Wang, Guoli Zhang
Venue: Proceedings of the 2009 Second International Workshop on Knowledge Discovery and Data Mining (2009)

Proposing a new algorithm which is simple but effective. Using characteristic of biological evolution and common sense to design the selection operator, improve the variation method of the crossover probability and the mutation probability. Numerical experiments show that the new algorithm is more effective than the comparative algorithm in realizing the high convergence speed, convergence precision, reducing the convergence generation and good at keeping the stability of the adaptive genetic algorithm.
Crash! The Story of Information Technology
Authors: Ludovic Smith
Venue:  (2007)

The development of the computer and information technology in the latter half of the twentieth century had a huge impact on the way we worked and the way we lived our lives. Its impact continues to be felt in the twenty first century with the increase in off-shoring, outsourcing and automation. But where will technology take us next? Crash! Looks back at the history of computer hardware, software and networking. It tells the story of the computer's development and the stories of the key personalities and technologies encountered along the way. The trajectory is extended into the future with the current hot topics of information security, open source software and web services all reviewed in depth. Written to include the minimum of technical jargon, Crash! serves as an excellent introduction to the world of commercial IT as well as an opportunity for experienced practitioners to gain an unrivaled perspective of the past, present and future of information technology.
Exploring the relationship between Internet ethics in university students and the big five model of personality
Authors: Nor Shahriza Abdul Karim, Nurul Hidayah Ahmad Zamzuri, Yakinah Muhamad Nor
Venue: Computers Education (2009)

The widespread use of the Internet and the convenient mechanism it provides, such as easy access, easy downloads, and easy copy and paste functions have made many types of unethical behaviors easier, particularly those involving students in academic settings. Among the issues in ethics within the academic environment that can be triggered by the Internet are fraudulence, plagiarism, falsification, delinquency, unauthorized help, and facility misuse. Given these issues, the study seeks to investigate the extent to which students at a public university in Malaysia engage in such unethical behavior and their relationship with the big five personality model. This study was conducted using a survey method of 252 students in three different academic faculties. The results of factor analyses confirm and refine the reliability of the scales for both big five personality variables and unethical Internet behaviors as conceptualized through Internet triggered academic dishonesty (ITADS). The findings indicate that personality traits such as (1) agreeableness, (2) conscientiousness and (3) emotional stability are significantly and negatively correlated with unethical Internet behavior in university students. Significant differences in facility misuse are also observed between the three academic faculties investigated. This research should provide significant contributions to educators in designing the computer ethics curriculum and in allowing for educational institutions as well as other organizations in developing relevant policies and guidelines on matters pertaining to academic conduct, utilization of computers and Internet, and recruitment exercises.
A software solution for dynamic stack management on scratch pad memory
Authors: Arun Kannan, Aviral Shrivastava, Amit Pabalkar, Jong-eun Lee
Venue: Proceedings of the 2009 Asia and South Pacific Design Automation Conference (2009)

In an effort to make processors more power efficient scratch pad memory (SPM) have been proposed instead of caches, which can consume majority of processor power. However, application mapping on SPMs remain a challenge. We propose a dynamic SPM management scheme for program stack data for processor power reduction. As opposed to previous efforts, our solution does not mandate any hardware changes, does not need profile information, and SPM size at compile-time, and seamlessly integrates support for recursive functions. Our technique manages stack frames on SPM using a scratch pad memory manager (SPMM), integrated into the application binary by the compiler. Our experiments on benchmarks from MiBench [15] show average energy savings of 37% along with a performance improvement of 18%
Reviewing the role of photosensors in lighting control systems
Authors: L. Doulos, A. Tsangrassoulis, F. V. Topalis
Venue: Proceedings of the 6th conference on Applications of electrical engineering (2007)

The application of innovative technologies of automatic control in lighting systems gains daily the interest of engineers, constructors and users. The main purpose of these applications is the energy savings. Daylight control is a form of automatic control that replaces the manual control of the users. The core of this system is the photosensor, which creates a signal in proportion to the amount of the daylight that detects, using its spatial and spectral response. The signal of the photosensor can be combined with dimming electronic ballasts which adjust the electric light output giving a great potential for energy savings in areas with high levels of daylight. Nevertheless, the daylight responsive systems are widely misunderstood and they have been characterized hastily as problematic systems. The lack of knowledge and comprehension of these systems is a great withdraw against their widespread use and a lost opportunity for energy savings. In this present study becomes effort to overcome these difficulties clarifying the operation procedures of the photosensors and their function as part of the lighting system. Also the characteristics that influence their operation are presented with advices for their optimum placement in spaces of application.
Adaptability in an agent-based virtual organisation
Authors: G. Frackowiak, M. Ganzha, M. Gawinecki, M. Paprzycki, M. Szymczak, C. Badica, Yo-Sub Han, Myon-Woong Park
Venue: International Journal of Agent-Oriented Software Engineering (2009)

In this paper we consider the adaptability in an agent-based Virtual Organisation (VO). After introducing the system and the need for adaptive behaviours, human resource adaptability in particular, we discuss how the goal of 'agent adaptation' can be implemented. Specifically, we propose how agent behaviours can be added into/removed from/replaced in an agent skeleton, and, in this way, agent functionality modified.
One year of ICTP diploma courses on-line using the automated EyA recording system
Authors: Enrique Canessa, Carlo Fonda, Marco Zennaro
Venue: Computers Education (2009)

The 12-month pre-Ph.D. ICTP Diploma Courses in the fields of Condensed Matter Physics, High Energy Physics, Mathematics, Earth System Physics and Basics Physics have been recorded using the automated, low cost recording system called EyA developed in-house. We discuss the technical details on how these recordings were implemented, together with some web usage statistics and students feedback. As yet, no similar endeavor has been made to put on-line a complete high-level Diploma Programme, due to the high costs involved when using alternative recording solutions. These recordings are freely available on the website www.ictp.tv.
Start-up Unveils Flexible Supercomputing Approach
Authors: Linda Dailey Paulson
Venue: Computer (2009)

Topics include a new flexible, easily programmable supercomputer; an API that helps developers build applications for multicore chips; a private wireless-spectrum marketplace; and an intelligent pill that comes with its own microprocessor.
Utility computing: a superior alternative?
Authors: George J. Feeney, Robert D. Hilton, Robert L. Johnson, Thomas J. O'Rourke, Thomas E. Kurtz
Venue: Proceedings of the May 6-10, 1974, national computer conference and exposition (1974)

In 1905, approximately 50,000 small, privately-owned generating stations produced roughly half the total U.S. supply of electricity---largely for their own needs. Today, only about six percent of the nation's electric power is produced by such small local generating stations with the bulk of the country's power needs being met by some 200 large utilities.