ppxscal/embedding_network huggingface dataset:
Orthogonality between Key Privacy and Data Privacy, Revisited
Authors: Rui Zhang, Goichiro Hanaoka, Hideki Imai
Venue: Information Security and Cryptology: Third SKLOIS Conference, Inscrypt 2007, Xining, China, August 31 - September 5, 2007, Revised Selected Papers (2007)

Key privacy is a notion regarding the privacy of the owner of a public key, which has important applications in building (receiver) anonymous channels, or privacy-enhanced authentication/signature schemes. Key privacy is considered to be an orthogonal (i.e., independent), notion from data privacy, while the key privacy of many public key encryption schemes has not been explored, though their data privacy is comparatively well understood. In this paper, we study key privacy of many practical encryption schemes and identify evidences that key privacy is not comparable to data privacy. We also formalize key privacy in the plaintext checking attack model and point out some generic transforms to enhance the key privacy of an encryption scheme. Interestingly, these well-known techniques have been used to enhance data security. Finally, we give detailed security analyses on the signed hashed-ElGamal encryption [27] in the random oracle model, of both key privacy and data security against chosen ciphertext attack. Again, this specific example supports our claim on the relation of two notions.
A Lightweight Kernel Objects Monitoring Infrastructure for Embedded Systems
Authors: Lei Sun, Tatsuo Nakajima
Venue: Proceedings of the 2008 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (2008)

In this paper, a lightweight system level monitoring infrastructure known as Kernel Objects Monitoring Infrastructure (KOMI) is presented for commercial-off-the-shelf (COTS) embedded systems. The kernel objects consist of certain critical kernel data structures and entry points of system calls, which are protected as first-class objects inside the system. KOMI provides specific runtime protections to different kernel objects: kernel data structures are protected by the periodic detection and recovery, the interception of arguments is used to protect vulnerable system calls. Both protection methods can provide not only consistency regulations but also recovery actions for the system. During its runtime deployment, once any system inconsistency has been detected, predefined recovery actions will be invoked. Since KOMI requires few modifications to kernel source code, it is easy to integrate into existing embedded systems. The evaluation experiment results indicate our prototype system can correctly detect the inconsistent kernel data structures caused by security attacks and also prevent kernel from exploits due to vulnerable system calls with acceptable penalty to the system performance. Moreover, KOMI is fully software-based without introducing any specific hardware and requires no modifications to system call APIs, therefore legacy applications can be also easily reused.
Energy-Saving Control System of Beam-Pumping Unit Based on Radial Basic Function Network
Authors: Jing-Wen Tian, Mei-Juan Gao, Shi-Ru Zhou, Fan Zhang
Venue: Proceedings of the 4th international conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications - with Aspects of Theoretical and Methodological Issues (2008)

Considering the issues that the energy saving process for beam-pumping unit is a complicated and nonlinear system, and it is very difficult to found the process model to describe it. The radial basic function network (RBFNN) has the ability of strong nonlinear function approach and adaptive learning and also has the feature of fast convergence. In this paper, an intelligent energy-saving control system of beam-pumping unit based on RBFNN is presented. We construct the structure of RBFNN, and adopt the K-Nearest Neighbor algorithm and least square method to train the network. The parameters of energy-saving control process of beam-pumping unit are measured using multi sensors, and then the system can control the working state of beam-pumping unit real-time. The system is used in the oil recovery plant. The experimental results prove that this system is feasible and effective.
Cryptanalysis of the GOST Hash Function
Authors: Florian Mendel, Norbert Pramstaller, Christian Rechberger, Marcin Kontak, Janusz Szmidt
Venue: Proceedings of the 28th Annual conference on Cryptology: Advances in Cryptology (2008)

In this article, we analyze the security of the GOST hash function. The GOST hash function, defined in the Russian standard GOST 34.11-94, is an iterated hash function producing a 256-bit hash value. As opposed to most commonly used hash functions such as MD5 and SHA-1, the GOST hash function defines, in addition to the common iterative structure, a checksum computed over all input message blocks. This checksum is then part of the final hash value computation.As a result of our security analysis of the GOST hash function, we present the first collision attack with a complexity of about 2105 evaluations of the compression function. Furthermore, we are able to significantly improve upon the results of Mendel et al. with respect to preimage and second preimage attacks. Our improved attacks have a complexity of about 2192 evaluations of the compression function.
Exploring effort distribution in RUP projects
Authors: Werner Heijstek, Michel R.V. Chaudron
Venue: Proceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement (2008)

Rational Unified Process (RUP) effort data from industrial projects is explored (1) to improve our understanding of project dynamics from a resource perspective, (2) to develop a method for project management to gain insight in resource allocation and (3) to follow up on earlier work on RUP effort visualization [2].
Neural Networks as Prediction Models for Water Intake in Water Supply System
Authors: Izabela Rojek
Venue: Proceedings of the 9th international conference on Artificial Intelligence and Soft Computing (2006)

The paper presents neural networks as models for prediction of the water intake. For construction of prediction models three types of neural networks were used: linear network, multi-layer network with error backpropagation and Radial Basis Function network (RBF).The prediction models were compared for obtaining optima quality prognosis. Prediction models were done for working days, Saturdays and Sundays. The research was done for selected nodes of water supply system: detached house node and nodes for 4 hydrophore stations from different pressure areas of water supply system. Models for Sundays were presented in detail. Further research concerning the creation of prognosis models should be directed towards constructing models not only for particular days, but also for the complete week, four seasons of the year: spring, summer, autumn and winter, and finally the entire year.
Verification of the Deutsch-Schorr-Waite Marking Algorithm with Modal Logic
Authors: Yoshifumi Yuasa, Yoshinori Tanabe, Toshifusa Sekizawa, Koichi Takahashi
Venue: Proceedings of the 2nd international conference on Verified Software: Theories, Tools, Experiments (2008)

We have proposed an abstraction technique that uses the formulas of variants of the modal μ-calculus as a method for analyzing pointer manipulating programs. In this paper, the method is applied to verify the correctness of the Deutsch-Schorr-Waite marking algorithm, which is regarded as a benchmark of such analysis. Both the partial correctness and the termination are discussed. For the former, we built a system on top of the proof assistant Agda, with which the user constructs Hoare-style proofs. The system is an optimum combination of automatic and interactive approaches. While a decision procedure for a variant of modal μ-calculus, which is available through the Agda plug-in interface, enables the user to construct concise proofs, the run time is much shorter than for automatic approaches.
A Design of Home Network Security Protocol Using User Authentication and Access Control Technology
Authors: Young Gu Lee, Hyun Chul Kim, Jung Jae Kim, Moon Seog Jun
Venue: Proceedings of the 2008 International Conference on Convergence and Hybrid Information Technology (2008)

This paper designs and suggests a home network security protocol using user authentication and access control technology to prevent the threat by unauthorized users towards personal information and user asset in advance by providing the gradual authority to corresponding devices based on authorized information, after authorizing the users with a Public Key Certificate. Also, the excellence of the protocol suggested in this paper can be confirmed by experimenting, comparing, and analyzing many categories such as number of computations and hash computation, quantity of sending out or receiving data, number of encryption, and the size of used keys while authenticating users in existing commercial products.
New Products
Venue: IEEE Computer Graphics and Applications (1983)

A digital TV image processor that provides a wide range of image processing functions¿ either automatically under computer control or selectively through front panel controls¿ has been introduced by Hughes Aircraft Company's industrial products division. Designated the Model 693, the unit, according to the company, is designed as the most versatile of Hughes' Anaram 90 series of solid state picture processors. These processors provide real-time processing for use with raster scanning video systems. 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
A Low-Granularity Classifier for Data Streams with Concept Drifts and Biased Class Distribution
Authors: Peng Wang, Haixun Wang, Xiaochen Wu, Wei Wang, Baile Shi
Venue: IEEE Transactions on Knowledge and Data Engineering (2007)

Many applications track streaming data for actionable alerts, which may include, for example, network intrusions, transaction frauds, biosurveilence abnormalities, etc. Some stream classification models are built for this purpose. Due to concept drifts, maintaining a model's up-to-dateness has become one of the most challenging tasks in mining data streams. State of the art approaches, including both the incrementally updated classifiers and the ensemble classifiers, have proved that model update is a very costly process. In this paper, we show that reducing model granularity reduces update cost, as models of fine granularity enable us to efficiently pinpoint local components in the model that are affected by the concept drift. It also enables us to derive new model components to reflect the current data distribution, thus avoiding expensive updates on a global scale. Furthermore, those actionable alerts being monitored are usually rare occurring. The existing stream classifiers cannot handle this problem. We address this problem and show that the low granularity classifier handles rare events on stream data with ease. Experiments on real and synthetic data show that our approach is able to maintain good prediction accuracy at a fraction of model updating cost of state of the art approaches.
Students' perceptions of college technology programs and acquired technology skills
Authors: Anthony A. Olinzock
Venue:  (2007)

Students, the nation&rsquo;s potential workforce, must acquire the needed entry-level technology skills demanded in the work environment. Business leaders question whether students are graduating from technology programs with appropriate and adequate technology skills. The purpose of this study was to determine how two-year and four-year college students assess their college technology programs and how they perceive the adequacy of the technology skills they had acquired in meeting workplace needs. A secondary purpose was to determine if differences existed based on demographic characteristics of participants. A survey research design was used in this study. The survey instrument consisted of three sections: Section I sought demographic information, Section II dealt with students&rsquo; perceptions of their technology programs, and Section III of the questionnaire was designed to have students assess their skills related to various computer applications and functions. Major skill areas include Word&reg;, Access&reg;, Excel &reg;, and PowerPoint&reg;. The findings indicated that participants were satisfied with the quality of their technology programs but they expressed some concern with the areas of instructional materials and integrating technology. Four-year college participants agreed that they had acquired the necessary Word, Excel, PowerPoint, and Access skills. Two-year college participants agreed that they have acquired the necessary Word, Excel, and PowerPoint skills but did not express they had acquired the necessary Access skills. Recommendations included: (a) conducting survey research to identify businesses/industries&rsquo; technology needs, (b) improving the questionnaire, (c) interviewing faculty members and students for survey research, (d) conducting a pilot study, (e) establishing validity and reliability for the modified questionnaire, and (f) using research design. Keywords. Word skills; Excel skills; PowerPoint skills; Access skills.
A distributed and cooperative semantic system for geographic information management
Authors: Michele Nucci, Ernesto Marcheggiani
Venue: Proceedings of the 8th international conference on New technologies in distributed systems (2008)

The aim of this paper is to present a novel implementation of a distributed and cooperative system to manage geographic information for rational use and planning of landscape resources. The system is being developed for the diverging needs of heterogeneous and distributed communities. It is strongly based on standard Semantic Web technologies and computational ontologies for the organisation of knowledge. This enables data sharing and interoperability among different applications and users communities. In addiction, the proposed system uses geographical information advanced technologies and supports specific data editors and visualisers to edit and show different kind of geographic data. The presented tool is based on a customised version of the DBin platform which provides facilities to structure information in according to the Semantic Web standards but also dedicated tools for data-browsing, data-retrieval and exchanging. Moreover, the system provides an intelligent and flexible query engine, a completly customizable user interface and tools for "semantic annotations".
Approaches to Knowledge Management in Greek Firms
Authors: Panagiotis Kyriazopoulos, Irene Samanta-Rounti
Venue: Proceedings of the 1st world summit on The Knowledge Society: Emerging Technologies and Information Systems for the Knowledge Society (2008)

The purpose of this research is to examine knowledge-sharing in organizations from a number of aspects, including innovation culture, roles, structure, and teamwork and leadership creativity.A survey was conducted of 100 Greek firms and we interviewed top and bottom management using a questionnaire which comprised twenty-eight questions divided into five categories. Most organizations appeared to have a knowledge system but its existence does not guarantee its use. This can be largely attributed to the fact that knowledge-sharing initiatives are preoccupied with technology infrastructure as the basic knowledge-sharing enabler. Most of them fail to focus on the individuals who engage in knowledge-sharing. It was found that resistance by management and employees was a critically important factor influencing the success or otherwise of organizational knowledge efforts. Knowledge-sharing is difficult to accomplish in such circumstances According to our cluster analysis, two types of firms are identified: those which have benefited from KM to invest in innovative strategies, and those which have not.
A Secure Mediator for Integrating Multiple Level Access Control Policies
Authors: Isabel F. Cruz, Rigel Gjomemo, Mirko Orsini
Venue: Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part II (2008)

We present a method for mapping security levels among the components of a distributed system where data in the local sources are represented in XML. Distributed data is integrated using a semantic-based approach that maps each XML schema into an RDF schema and subsequently integrates those schemas into a global RDF schema using a global as view (GAV) approach. We transform the security levels defined on the XML schema elements of each local source into security levels on the triples of the local RDF schemas, which form a lattice. We show how the merged data in the global schema can be classified in different security classes belonging to the global partially ordered security graph.
An exact algorithm for solving MDPs under risk-sensitive planning objectives with one-switch utility functions
Authors: Yaxin Liu, Sven Koenig
Venue: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 1 (2008)

One-switch utility functions are an important class of nonlinear utility functions that can model human beings whose decisions change with their wealth level. We study how to maximize the expected utility for Markov decision problems with given one-switch utility functions. We first utilize the fact that one-switch utility functions are weighted sums of linear and exponential utility functions to prove that there exists an optimal policy that is both stationary and deterministic as the wealth level approaches negative infinity. We then develop a solution method, the backward-induction method, that starts with this policy and augments it for higher and higher wealth levels. Our backward-induction method determines maximal expected utilities in finite time, different from the previous functional value iteration method, that typically determines only approximately maximal expected utilities.
Combining Prioritized Decisions in Classification
Authors: Yaxin Bi, Shengli Wu, Gongde Guo
Venue: Proceedings of the 4th international conference on Modeling Decisions for Artificial Intelligence (2007)

In this paper we present an alternative evidential method of combining prioritized decisions, in order to arrive at a "consensus", or aggregate, decision. Previous studies have suggested that, in some classification domains, the better performance can be achieved through combining the first and second decisions from each evidence source. However, it is easy to illustrate the fact that going further down a decision list, to give longer preferred decisions, can provide the alternative to the method of combining only the first one and second decisions. Our objective here is to examine the theoretical aspect of an alternative method in terms of quartet ¿ how extending a decision list of any length by one extra preferred decision affects classification results. We also present the experimental results to demonstrate the effectiveness of our alternative method.
Process and Pitfalls in Writing Information Visualization Research Papers
Authors: Tamara Munzner
Venue: Information Visualization: Human-Centered Issues and Perspectives (2008)

The goal of this chapter is to help authors recognize and avoid a set of pitfalls that recur in many rejected information visualization papers, using a chronological model of the research process. Selecting a target paper type in the initial stage can avert an inappropriate choice of validation methods. Pitfalls involving the design of a visual encoding may occur during the middle stages of a project. In a later stage when the bulk of the research is finished and the paper writeup begins, the possible pitfalls are strategic choices for the content and structure of the paper as a whole, tactical problems localized to specific sections, and unconvincing ways to present the results. Final-stage pitfalls of writing style can be checked after a full paper draft exists, and the last set of problems pertain to submission.
Model---Driven, View---Based Evolution of Relational Databases
Authors: Eladio Domínguez, Jorge Lloret, Ángel L. Rubio, María A. Zapata
Venue: Proceedings of the 19th international conference on Database and Expert Systems Applications (2008)

Among other issues, database evolution includes the necessity of propagating the changes inside and between abstraction levels. There exist several mechanisms in order to carry out propagations from one level to another, that are distinguished on the basis of when and how the changes are performed. The strict mechanism, which implies the immediate realization of modifications, is a time---consuming process. In this paper we propose a solution that is closer to the lazy and logical mechanisms, in which changes are delayed or not finally realized, respectively. This solution makes use of the notion of view. The use of views allows the data not to be changed if it is not necessary and facilitates carrying out changes when required.
The Parallel Computing Based on Cluster Computer in the Processing of Mass Aerial Digital Images
Authors: Jianqing Zhang, Tao Ke, Mingwei Sun
Venue: Proceedings of the 2008 International Symposiums on Information Processing (2008)

With the development of electronic information, the aerial digital image updating is more frequent and the data is more mass, and the traditional method of data processing based on serial computing is difficult to meet the needs of high production efficiency and the quick updating of mass data. For improving the efficiency of data processing, the computing must be parallel. The paper discusses the application and realization method of parallel computing in aerial photogrammetry based on cluster computer. The experiment results demonstrate the feasibility of the method and the high efficiency of the system. By the method of parallel computing, the production efficiency is improved 3 to 10 times.
A Hierarchical Leader Election Protocol for Mobile Ad Hoc Networks
Authors: Orhan Dagdeviren, Kayhan Erciyes
Venue: Proceedings of the 8th international conference on Computational Science, Part I (2008)

Leader Election is an important problem in mobile ad hoc networks and in distributed computing systems. In this study, we propose a hierarchical, cluster based protocol to elect a leader in a mobile ad hoc network. The initial phase of the protocol employs a clustering algorithm to group nodes of the network after which a leader for a cluster(clusterhead) is elected. The second phase is performed by forming a connected ring of these leaders using the Ring Formation Algorithm. Finally, Chang Roberts Leader Election Algorithm for rings is employed in the final phase to elect the super-leader among the clusterheads. We provide performance results of this protocol for various mobility parameters and analyze its time and message complexities.