ppxscal/embedding_network huggingface dataset:
A P2P Resource Discovery System Based on a Forest of Trees
Authors: Moreno Marzolla, Matteo Mordacchini, Salvatore Orlando
Venue: Proceedings of the 17th International Conference on Database and Expert Systems Applications (2006)

The convergence of the Grid and Peer-to-Peer (P2P) worlds has led to many solutions that try to efficiently solve the problem of resource discovery on Grids. Some of these solutions are extensions of P2P DHT-based networks. We believe that these systems are not flexible enough in the case the data present in the network is very dynamic, i.e. the data values change very frequently over time. This a very common case for some kind of data in typical Grid systems, like CPU loads, queue occupation, etc. In this paper we present a variation of a previous work based on a tree-shaped P2P overlay network. The system uses Routing Indexes to efficiently route queries and update messages in the presence of highly variable data. The new system is based on a twolevel hierarchical network topology, where tree topologies must be only maintained at the lower level of the hierarchy. The main aim of this new organization is to achieve a simpler maintenance of the overall P2P graph topology. This is reached at the cost of some imprecision in the routing indexes built at the upper level of the graph hierarchy.
A review of electronic signatures regulations: do they facilitate or impede international electronic commerce?
Authors: Minyan Wang
Venue: Proceedings of the 8th international conference on Electronic commerce: The new e-commerce: innovations for conquering current barriers, obstacles and limitations to conducting successful business on the internet (2006)

This paper intends to critically review the regulations on electronic signatures (e-signatures) around the world and examine their possible impact on the development of international electronic commerce (e-commerce). Do they facilitate the e-commerce development as expected? If not, why? This paper will examine this issue from an international and comparative perspective, and particularly looks at the US, the UK, Germany and China. It is argued that the landscape of e-signatures regulations is divergent and fragmentary, which, to some extent, impedes the flow of international e-commerce. More efforts are needed to achieve a harmonized and coherent regulatory framework.
Numerical accuracy issues in using Excel for simulation studies
Authors: Kellie B. Keeling, Robert J. Pavur
Venue: Proceedings of the 36th conference on Winter simulation (2004)

Many researchers use Excel to perform simulations, but with each upgrade to Excel -- Excel 97, Excel 2000, Excel XP, and Excel 2003 -- numerical accuracy problems have been noted. In the latest version, Excel 2003, some substantial changes have been made to its algorithms as noted on its Web site. This paper discusses generating random numbers in Excel -- including Uniform, Normal, and Poisson variates. In addition, the study assesses how Excel's accuracy stacks up to other statistical software by using the NIST Statistical Reference Datasets tests as certified benchmarks of numerical accuracy. This paper will reveal that Excel 2003 still has room for improvement.
Correctness by construction: a manifesto for high integrity software
Authors: Roderick Chapman
Venue: Proceedings of the 10th Australian workshop on Safety critical systems and software - Volume 55 (2006)

High integrity software systems are often so large that conventional development processes cannot get anywhere near achieving tolerable defect rates. This paper presents Correctness by Construction (CbyC)--an approach that has delivered very low defect rate software cost-effectively. We describe the main principles of CbyC and the results achieved to date. We also touch on some of the barriers that we have encountered in trying to field CbyC within our own and other organisations.
Mining for misconfigured machines in grid systems
Authors: Noam Palatin, Arie Leizarowitz, Assaf Schuster, Ran Wolff
Venue: Proceedings of the 12th ACM SIGKDD international conference on Knowledge discovery and data mining (2006)

Grid systems are proving increasingly useful for managing the batch computing jobs of organizations. One well-known example is Intel, whose internally developed NetBatch system manages tens of thousands of machines. The size, heterogeneity, and complexity of grid systems make them very difficult, however, to configure. This often results in misconfigured machines, which may adversely affect the entire system.We investigate a distributed data mining approach for detection of misconfigured machines. Our Grid Monitoring System (GMS) non-intrusively collects data from all sources (log files, system services, etc.) available throughout the grid system. It converts raw data to semantically meaningful data and stores this data on the machine it was obtained from, limiting incurred overhead and allowing scalability. Afterwards, when analysis is requested, a distributed outliers detection algorithm is employed to identify misconfigured machines. The algorithm itself is implemented as a recursive workflow of grid jobs. It is especially suited to grid systems, in which the machines might be unavailable most of the time and often fail altogether.
Proceedings 2003 International Conference on Multimedia and Expo (Cat. No.03TH8698)
Venue: Proceedings of the 2003 International Conference on Multimedia and Expo - Volume 1 (2003)

The following topics are dealt with: networked video; automatic indexing; multimodal interfaces; speech processing; audio processing; image processing; multimedia architectures; text recognition; graphics recognition; face recognition; song recognition; multimedia security; content protection; virtual reality; authentication; wireless multimedia techniques; content-based retrieval; speech coding; gaming; multimedia learning; quality of service; image rendering; video rendering; layered transmission; scalable transmission; multiple description transmission; image compression; noise removal; watermarking; fingerprinting; video processing; multi-camera surveillance systems; multimedia hardware; multimedia architecture; multimedia indexing; broadcast; signal processing theory; smart camera; multimedia retrieval; network adaptive techniques; multimedia software; error concealment; loss recovery; computational media aesthetics; source coding; channel coding; image coding; image enhancement; video analysis; multimedia streaming; image classification; image detection; segmentation; multimedia semantics; audio-visual analysis; multimedia distribution; multimedia authoring; multimedia presentation; multimedia interaction; motion estimation; multimodal biometrics; multistream audio; telepresence; video tracking; image tracking; human movement analysis; face analysis; multimedia standards; structuring; rate control; packet classification; audio signal processing; bioinformatics; video mining; human-machine interface; human-machine interaction; multimedia communication; speech recognition; and speech enhancement. 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
Performance modelling of distributed e-business applications using Queuing Petri Nets
Authors: S. Kounev, A. Buchmann
Venue: Proceedings of the 2003 IEEE International Symposium on Performance Analysis of Systems and Software (2003)

In this paper we show how Queuing Petri Net (QPN) models can be exploited for performance analysis of distributed e-business systems. We study a real-world application, and demonstrate the benefits, in terms of modelling power and expressiveness, that QPN models provide over conventional modelling paradigms such as Queuing Networks and Petri Nets. As shown, QPNs facilitate the integration of both hardware and software aspects of system behavior in the same model. In addition to hardware contention and scheduling strategies, using QPNs one can easily model simultaneous resource possession, synchronization, blocking and contention for software resources. By validating the models presented through measurements, we show that they are not just powerful as a specification mechanism, but are also very powerful as a performance analysis and prediction tool. However, currently available tools and techniques for QPN analysis are limited. Improved solution methods, which enable larger models to be analyzed, need to be developed. By demonstrating the power of QPNs as a modelling paradigm in realistic scenarios, we hope to motivate further research in this area.
Designing user interfaces for future mobile applications and devices: a user-centred interaction and visual design process walkthrough
Authors: Matt Davies, Richard Peel
Venue: Proceedings of the 8th conference on Human-computer interaction with mobile devices and services (2006)

In this paper, we describe the tutorial content and the target audience for the tutorial.
Security Policies and the Software Developer
Authors: Denis Verdon
Venue: IEEE Security and Privacy (2006)

A wide range of legal and regulatory issues surround Web software development, including the need to protect consumer information. A good set of security policies will limit company exposure. Understanding and implementing good policies is therefore as essential as implementing SSL.
Combinatory Usability Evaluation of an Educational Virtual Museum Interface
Authors: Athanasis Karoulis, Stella Sylaiou, Martin White
Venue: Proceedings of the Sixth IEEE International Conference on Advanced Learning Technologies (2006)

This paper presents the usability evaluation study that has been undertaken for the Augmented Representation of Cultural Objects (ARCO) system. The main purpose of this system is to integrate an enhanced educative and entertaining experience to virtual museum visitors. The aim of the current research is the evaluation of the interface of the system. Users as well as domain experts were recruited to investigate the most effective combination of user-based and expert-based evaluation, in order to elicit the most valuable results. Quantitative as well as qualitative approaches have also been employed, thus providing a framework for a holistic evaluation of the usability of an interface of such kind.
Voltage Sensors for Supply Capacitor in Passive UHF RFID Transponders
Authors: R. Morales-Ramos, Juan A. Montiel-Nelson, R. Berenguer, A. Garcia-Alonso
Venue: Proceedings of the 9th EUROMICRO Conference on Digital System Design (2006)

This paper presents two very low-power consumption voltage-sensor circuits for the supply capacitor in passive UHF RFID transponders. The proposed circuits are key points in a battery-life-free RFID tag, by sensing the charge stored in a supply capacitor, and enabling the rest of the system when enough charge is available. In comparison to previous published circuits, the average current of our circuits is one order of magnitude lower. The average current consumption for our solutions is below 100 nA, for a supply voltage between 2.5 V and 3.3 V. In addition, we have proposed some modifications to the best published results; and diminished the power consumption one order of magnitude.
Review of advanced methods for simulation output analysis
Authors: Christos Alexopoulos, Seong-Hee Kim
Venue: Proceedings of the 37th conference on Winter simulation (2005)

This paper reviews statistical methods for analyzing output data from computer simulations. First, it focuses on the estimation of steady-state system parameters. The estimation techniques include the replication/deletion approach, the regenerative method, the batch means method, and methods based on standardized time series. Second, it reviews recent statistical procedures to find the best system among a set of competing alternatives.
Conflict negotiation among personal calendar agents
Authors: Pauline M. Berry, Cory Albright, Emma Bowring, Ken Conley, Kenneth Nitz, Jonathan P. Pearce, Bart Peintner, Shahin Saadati, Milind Tambe, Tomás Uribe, Neil Yorke-Smith
Venue: Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems (2006)

We will demonstrate distributed conflict resolution in the context of personalized meeting scheduling. The demonstration will show how distributed constraint optimization can be used to facilitate interaction between cognitive agents and their users. The system is part of the CALO personal cognitive assistant that will also be explored during the demonstration.
IRSS: Incident Response Support System
Authors: Gianluca Capuzzi, Luca Spalazzi, Francesco Pagliarecci
Venue: Proceedings of the International Symposium on Collaborative Technologies and Systems (2006)

Computer and network security can be improved by three kinds of tools: tools for intrusion prevention, tools for intrusion detection, and tools for incident response. Several systems have been proposed and developed for the first two kinds of tools. Concerning the third, as far as we know, the response is still left to the system administrator: no automatic tools have been developed. Indeed, even if forensic analysis and data recovery tools there exist, we do not yet have a comprehensive tool which includes log correlation, attack classification, and response plan generation. This paper presents IRSS, an Incident Response Support System that correlates events in order to classify attacks, looks in a knowledge base for past attacks similar to the current one (according to given similarity metrics), and reuses the past responses (adapted to the current attack) in order to restore the normal conditions and improve the network security.
BetweenWeb and Grid-based Mathematical Services
Authors: Dana Petcu
Venue: Proceedings of the International Multi-Conference on Computing in the Global Information Technology (2006)

The recent Web Services Resource Framework suite (WSRF) of evolving standards promises to realize the merging of Web services with the statefull resource management specific for Grid computing. We identify in this paper the benefits of this merging on the way to improve existing Web mathematical services.
DFT of the Cell Processor and its Impact on EDA Test Softwar
Authors: Louis Bushard, Nathan Chelstrom, Steven Ferguson, Brion Keller
Venue: Proceedings of the 15th Asian Test Symposium (2006)

This paper describes aspects of the CELL processor DFT and its effects on the EDA software used to process it. The CELL processor is a very complex multi-core design, and the use of high frequency clocks near 4 GHz drove DFT decisions that had significant implications on several levels. The processor had to support Logic BIST, Memory BIST, OPMISR+, SerDes I/O-WRAP as well as traditional scan-based ATPG all using a freerunning high-speed clock.
Masterpiece: Physical Interaction and 3D Content-Based Search in VR Applications
Authors: Konstantinos Moustakas, Dimitrios Tzovaras, Michael G. Strintzis, Sebastien Carbini, Olivier Bernier, Jean Emmanuel Viallet, Stephan Raidt, Matei Mancas, Mariella Dimiccoli, Enver Yagci, Serdar Balci, Eloisa Ibanez Leon
Venue: IEEE MultiMedia (2006)

The authors discuss Masterpiece (short for Multimodal Authoring Tool with SIMILAR Technologies fromEuropean Research utilizing a Physical Interface in an Enhanced Collaborative Environment), which is aplatform for a multimodal natural interface. They integrated Masterpiece into an authoring tool fordesigners and engineers that uses 3D search capabilities.
Automatic test-based assessment of programming: A review
Authors: Christopher Douce, David Livingstone, James Orwell
Venue: Journal on Educational Resources in Computing (JERIC) (2005)

Systems that automatically assess student programming assignments have been designed and used for over forty years. Systems that objectively test and mark student programming work were developed simultaneously with programming assessment in the computer science curriculum. This article reviews a number of influential automatic assessment systems, including descriptions of the earliest systems, and presents some of the most recent developments. The final sections explore a number of directions automated assessment systems may take, presenting current developments alongside a number of important emerging e-learning specifications.
Fast recursive eigensubspace adaptive filters
Authors: P. Strobach
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1995. on International Conference - Volume 02 (1995)

A class of adaptive filters based on sequential eigen-decomposition of the data covariance matrix is introduced. These new algorithms are completely rank revealing and hence they can perfectly handle the following two relevant data cases where conventional RLS methods fail to provide satisfactory results: 1) highly oversampled "smooth" data with rank deficient or almost rank deficient covariance matrix. 2) Noise-corrupted data where a signal must be separated effectively from superimposed noise. The paper corrects the widely held belief that eigenbased algorithms must be computationally more demanding than conventional RLS techniques. A spatial RLS adaptive filter has a principal complexity of O(N/sup 2/) operations per time step, where N is the filter order. Somewhat ironically, though, the corresponding new eigensubspace or low rank adaptive filter requires only O(Nr) operations per time step where r/spl les/N denotes the numerical rank of the data covariance matrix. Thus eigensubspace adaptive filters can be computationally less or even much less demanding depending on the rank/order ratio r/N or the "compressibility" of the signal. Some high-performance subspace trackers are obtained as by-products of this research. Simulation results confirm the present claims. 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
Addressing complexity using distributed simulation: a case study in Spaceport modeling
Authors: Jaebok Park, Reinaldo Moraga, Luis Rabelo, Jeffrey Dawson, Mario Marin, Jose Sepulveda
Venue: Proceedings of the 37th conference on Winter simulation (2005)

As the size, complexity, and functionality of systems to model and simulate continue to increase, benefits such as interoperability and reusability enabled by distributed discrete-event simulation are of interest, especially for distributed manufacturing and enterprise engineering. The High Level Architecture (HLA), a standard distributed simulation environment, is one technology that enables the interconnection of distributed model components. Many applications in industry are developed by a variety of Commercial Off-The-Shelf (COTS) simulation tools, which require some form of gateway to integrate the models into the HLA component-based simulation. This paper summarizes a study conducted to integrate COTS simulation models using gateway tools and visualization of the system states running as part of other simulation models under HLA. The study focused on the prototype of a virtual engineering environment, called the Virtual Test Bed, designed to analyze operations of current and future space vehicles, spaceports, and ranges as a distributed simulation environment.
Two Obvious Intuitions: Ontology-Mapping Needs Background Knowledge and Approximation
Authors: Frank van Harmelen
Venue: Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology (2006)

Ontology mapping (or: ontology alignment, or integration) is one of the most active areas the Semantic Web area. An increasing amount of ontologies are becoming available in recent years, and if the Semantic Web is to be taken seriously, the problem of ontology mapping must be solved. Numerous approaches are being proposed, a yearly competition is being organized, and a number of survey papers have appeared.
Hierarchical planning in BDI agent programming languages: a formal approach
Authors: Sebastian Sardina, Lavindra de Silva, Lin Padgham
Venue: Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems (2006)

This paper provides a general mechanism and a solid theoretical basis for performing planning within Belief-Desire-Intention (BDI) agents. BDI agent systems have emerged as one of the most widely used approaches to implementing intelligent behaviour in complex dynamic domains, in addition to which they have a strong theoretical background. However, these systems either do not include any built-in capacity for "lookahead" type of planning or they do it only at the implementation level without any precise defined semantics. In some situations, the ability to plan ahead is clearly desirable or even mandatory for ensuring success. Also, a precise definition of how planning can be integrated into a BDI system is highly desirable. By building on the underlying similarities between BDI systems and Hierarchical Task Network (HTN) planners, we present a formal semantics for a BDI agent programming language which cleanly incorporates HTN-style planning as a built-in feature. We argue that the resulting integrated agent programming language combines the advantages of both BDI agent systems and hierarchical offline planners.
Capacity Planning and Stochastic Scheduling in Large-Scale Grids
Authors: Ali Afzal, John Darlington, A. Stephen McGough
Venue: Proceedings of the Second IEEE International Conference on e-Science and Grid Computing (2006)

Grid Infrastructures are inherently dynamic and unpredictable environments where resource management and scheduling play an important part in ensuring that Grid applications execute while satisfying defined cost and performance constraints. Traditional Grid Scheduling approaches have focused on the scheduling and optimisation of single applications, typically without regard to the state of the other applications and the Grid in general. Advance Reservation-based approaches, in particular, have been quite popular and play a pivotal part in most Grid scheduling architectures. In this paper, we aim to demonstrate that advance reservation-based approaches show uncertainty and their performance is heavily defined by the workload characteristics and resource costs and that these approaches do not scale well as the size of the Grid increases. We demonstrate that an alternative scheduling approach, which borrows from Capacity Planning and Operations Research techniques, can improve upon the performance of the existing Grid schedulers.
Application of LVQ to novelty detection using outlier training data
Authors: Hyoung-joo Lee, Sungzoon Cho
Venue: Pattern Recognition Letters (2006)

We propose to use learning vector quantization (LVQ) in novelty detection where a few outliers exist in training data. The codebook update of original LVQ is modified and the scheme to determine a threshold for each codebook is proposed. Experimental results on artificial and real-world problems are quite promising.