ppxscal/embedding_network huggingface dataset:
Implementing ITIL-Based CMDB in the Organizations to Minimize or Remove Service Quality Gaps
Authors: Mohammad Sharifi, Masarat Ayat, Shamsul Sahibudin
Venue: Proceedings of the 2008 Second Asia International Conference on Modelling & Simulation (AMS) (2008)

“Gap” is a fundamental problem in every organization and there are some models and methods to “identify” and remove or minimize those gaps in the organizations. This paper tries to use an ITIL based solution to remove or abate those “key discrepancies” in the organizations based on using Model of Service Quality Gaps(S.Q.G) as a most known model to identify gaps in the organizations in perspective of service quality. In this study the following questions were answered: Which gap or gaps are in the organizations based on S.Q.G. model? ; Which method is better to make such ITIL- based repository? ; And How CMDB can be used within S.Q.G. model in order to remove or abate known gaps?
FEATUREImage search at the speed of thought
Authors: Santosh Mathan
Venue: interactions (2008)

Editors' Note: The ability to sense cognitive activity---ranging from information-processing load, attention levels, and perceptual judgments---using EEG sensors provides a basis for developing systems that adapt to users and exploit latent human capabilities. Santosh Mathan describes a neural interface being developed by Honeywell for searching through large image sets efficiently.
Differentiation of semi-arid vegetation types based on multi-angular observations from MISR and MODIS
Authors: L. Su, M. J. Chopping, A. Rango, J. V. Martonchik, D. P. C. Peters
Venue: International Journal of Remote Sensing (2007)

Mapping accurately vegetation type is one of the main challenges for monitoring arid and semi-arid grasslands with remote sensing. The multi-angle approach has been demonstrated to be useful for mapping vegetation types in deserts. The current paper presents a study on the use of directional reflectance derived from two sensor systems, using two different models to analyse the data and two different classifiers as a means of mapping vegetation types. The multiangle imaging spectroradiometer (MISR) and the moderate resolution imaging spectroradiometer (MODIS) provide multi-spectral and angular, off-nadir observations. In this study, we demonstrate that reflectance from MISR observations and reflectance anisotropy patterns derived from MODIS observations are capable of working together to increase classification accuracy. The patterns are described by parameters of the modified Rahman-Pinty-Verstraete and the RossThin-LiSparseMODIS bidirectional reflectance distribution function (BRDF) models. The anisotropy patterns derived from MODIS observations are highly complementary to reflectance derived from radiances observed by MISR. Support vector machine algorithms exploit the information carried by the same data sets more effectively than the maximum likelihood classifier.
Cryptanalysis and Improvement of an "Improved Remote Authentication Scheme with Smart Card'
Authors: Marko Hölbl, Tatjana Welzer
Venue: Proceedings of the 2008 Third International Conference on Availability, Reliability and Security (2008)

Remote authentication schemes with smart cards have gained much attention in recent years. Recently Lee and Chiu proposed an improved remote authentication scheme with smart cards. It enables the user to freely choose his password and claim that their scheme is secure. Nevertheless, we present attacks and weaknesses of the scheme. Additionally, we propose a new improved scheme to counter these attacks.
Objective Types for the Valuation of Secure Business Processes
Authors: Thomas Neubauer, Johannes Heurix
Venue: Proceedings of the Seventh IEEE/ACIS International Conference on Computer and Information Science (icis 2008) (2008)

In today's business environments, the unimpeded execution of corporate business processes is crucial for a company's success. As business processes are permanently exposed to a variety of threats, companies are increasingly forced to pay attention to security issues. Existing approaches for the evaluation of security measures often neglect the consideration of business needs and multiple objectives. This paper gives an overview of the Atana approach that supports decision makers with the elicitation of security safeguards based on corporate business processes and according to multiple objectives. It introduces different objectives types that are needed for measuring the value of security investments.
A robust gaze detection method by compensating for facial movements based on corneal specularities
Authors: You Jin Ko, Eui Chul Lee, Kang Ryoung Park
Venue: Pattern Recognition Letters (2008)

In this paper, we propose an analytical method for robust gaze detection by compensating for facial movements based on corneal specularities. Our method has following four novelties compared to previous works. (i) We used a USB (Universal Serial Bus) camera with four IR-LED (infra-red light emitting diodes) which were attached on each corner of a monitor, so we could simply calculate the user's gaze position based on 2D relations between the center of pupil and four corneal reflections without considering the complex 3D relations among the camera, the monitor and the pupil coordinates, (ii) the detection accuracy of four corneal reflections was much enhanced by removing the imposter reflections based on the analysis of 3D structure of the human eye, (iii) by analyzing and compensating the shape change of quadrangle which was formed by four corneal reflections according to facial movement, we could reduce the gaze detection errors caused by facial movements, (iv) by compensating the error caused by angle Kappa based on user-dependent calibration, we could much enhance the accuracy of our gaze detection method. Experimental results showed that the gaze detection error was about 1.0^o and we could know our method could track user's gaze position at real-time speed.
Negative Save Sign Extension for Multi-term Adders and Multipliers
Authors: Robert T. Grisamore, Earl E. Swartzlander,  Jr.
Venue: Journal of Signal Processing Systems (2008)

This paper outlines a new sign extension technique for use in carry save adder trees that reduces the computational complexity. The "Negative Save" technique presented is a modification to the Baugh---Wooley sign extension technique developed for array multipliers. Applying this sign extension technique to both parallel adder and multiplier partial product structures reduces the hardware required. The speed of the resulting structures is also improved.
Experimental Evaluation of Different Intensity Distributions for Palmprint Identification
Authors: Yanqiang Zhang, Zhengding Qiu, Dongmei Sun
Venue: Proceedings of the 2008 International Conference on Information Security and Assurance (isa 2008) (2008)

The purpose of this paper is to investigate the influence of different intensity distributions on palmprint identification. A intensity adjustment function, which can overcome the shortage of intensity translation caused by unstable lighting, is used to generate intensity distributions. Experiments, which are based on the database of 98 individuals, using Gabor features and PCA features show that the performances of each experiment are varied more or less, and they perform better when the mapping weighted toward darker than the mapping weighted toward brighter. Two assumptions are considered that when the mapping weighted toward darker, plamprints have more distinction(or contrast) for individuals; and the intensity distributions have more consistency which can overcome the shortage brought by the unstable lighting. They would be validated in future work. That the Gabor features perform better than PCA features is an additional conclusion of this paper.
On the Longest Fault-Free Paths in Hypercubes with More Faulty Nodes
Authors: Tz-Liang Kueng, Tyne Liang, Jimmy J. M. Tan, Lih-Hsing Hsu
Venue: Proceedings of the The International Symposium on Parallel Architectures, Algorithms, and Networks (2008)

Faults in a network may take various forms such as hardware/software errors, node/link faults, etc. In this paper, node-faults are addressed. Let F be a faulty set of f ≤ 2n − 6 conditional node-faults in an injured n-cube Qn such that every node of Q_n still has at least two faultfree neighbors. Then we show that Qn − F contains a path of length at least 2^n − 2f − 1 (respectively, 2^n − 2f − 2) between any two nodes of odd (respectively, even) distance. Since an n-cube is a bipartite graph, such kind of the faultfree path turns out to be the longest one in the case when all faulty nodes belong to the same partite set.
Reduction of the gain errors in multi - input Nagaraj - 89 very large time constant integrators
Authors: Nikolay Radev, Nikos Mastorakis, Kantcho Ivanov, Valeri Mladenov
Venue: Proceedings of the 9th International Conference on Circuits (2005)

The multi-input very large time (VLT) constant switched-capacitor (SC) integrators, connected in a feedback loop, are considered. The corresponding gain errors are minimized by modifying the values of the integrating capacitances and the capacitances in the inverting gain branches. Analytical expressions for the prewarped capacitance values are obtained. The effectiveness of this prewarping technique is demonstrated by designing a 60 Hz notch biquad. The minimized gain errors automatically reduce the notch frequency shift.
SFMD: A Secure Data Forwarding and Malicious Routers Detecting Protocol
Authors: Xiang-he Yang, Hua-ping Hu, Xin Chen
Venue: Proceedings of the 2008 Third International Conference on Availability, Reliability and Security (2008)

Network routers play a key role in modern network communications and are attractive targets to attackers. By mistakenly forwarding, dropping, eavesdropping or modifying packets, malicious routers are great threat to network communications. Most papers emphasize particularly on securing routing protocols. In this paper, we present a protocol providing securely data packet forwarding with Byzantine robustness. The protocol has low overhead, low processing requirements and can detect misbehavior quickly. Through the simulation, our protocol increases throughput by 10% in the presence of 10% malicious nodes, and by 19% in the presence of 20% malicious nodes. Also, due to the authentication method, our protocol is suitable for wireless Ad Hoc networks.
An Environment to Support Large Scale Experimentation in Software Engineering
Authors: Guilherme H. Travassos, Paulo Sérgio Medeiros dos Santos, Paula Gomes Mian, Arilo Cláudio Dias Neto, Jorge Biolchini
Venue: Proceedings of the 13th IEEE International Conference on on Engineering of Complex Computer Systems (2008)

Experimental studies have been used as a mechanism to acquire knowledge through a scientific approach based on measurement of phenomena in different areas. However it is hard to run such studies when they require models (simulation), produce large amount of information, and explore science in large scale. In this case, a computerized infrastructure is necessary and constitutes a complex system to be built. In this paper we discuss an experimentation environment that has being built to support large scale experimentation and scientific knowledge management in Software Engineering.
Falling for Science: Objects in Mind (Representation and Mind Series)
Authors: Sherry Turkle, Sherry Turkle
Venue:  (2008)

"This is a book about science, technology, and love," writes Sherry Turkle. In it, we learn how a love for science can start with a love for an object--a microscope, a modem, a mud pie, a pair of dice, a fishing rod. Objects fire imagination and set young people on a path to a career in science. In this collection, distinguished scientists, engineers, and designers as well as twenty-five years of MIT students describe how objects encountered in childhood became part of the fabric of their scientific selves. In two major essays that frame the collection, Turkle tells a story of inspiration and connection through objects that is often neglected in standard science education and in our preoccupation with the virtual. The senior scientists' essays trace the arc of a life: the gears of a toy car introduce the chain of cause and effect to artificial intelligence pioneer Seymour Papert; microscopes disclose the mystery of how things work to MIT President and neuroanatomist Susan Hockfield; architect Moshe Safdie describes how his boyhood fascination with steps, terraces, and the wax hexagons of beehives lead him to a life immersed in the complexities of design. The student essays tell stories that echo these narratives: plastic eggs in an Easter basket reveal the power of centripetal force; experiments with baking illuminate the geology of planets; LEGO bricks model worlds, carefully engineered and colonized. All of these voices--students and mentors--testify to the power of objects to awaken and inform young scientific minds. This is a truth that is simple, intuitive, and easily overlooked. Introductory and concluding essays by: Sherry Turkle. Mentor essays by: Susan Hockfield, Donald Ingber, Alan Kay, Sarah Kuhn, Donald Norman, Seymour Papert, Rosalind Picard, Moshe Safdie.
Using remote sensing to assess the protective role of coastal woody vegetation against tsunami waves
Authors: M. F. Olwig, M. K. Sørensen, M. S. Rasmussen, F. Danielsen, V. Selvam, L. B. Hansen, L. Nyborg, K. B. Vestergaard, F. Parish, V. M. Karunagaran
Venue: International Journal of Remote Sensing (2007)

This paper describes how remote sensing techniques were used to study the effect of mangroves and other woody coastal vegetation as a protective measure against the 2004 Indian Ocean Tsunami. Remote sensing made it possible to compare pre-and post-Tsunami images of large areas. A study site was selected based on medium resolution Landsat imagery and existing topographic maps. Selection criteria included substantial damages reported, presence of woody vegetated and non-vegetated shorelines, homogeneous bathymetry and good coverage of pre-and post-Tsunami satellite imagery. The Pichawaram mangrove, Tamil Nadu, India, matched these criteria. Pre-and post-Tsunami Ikonos and QuickBird images were compared through the visual interpretation of pre-Tsunami coastal vegetation and post-Tsunami damage. The results were validated in the field. The analysis showed that mangrove forests and coastal shelterbelts provided protection from the Tsunami. This was concluded from analysing the spatial distribution of damage relative to woody vegetation along the coast as well as transects detailing the amount of damage behind the coastline and the coastal woody vegetation.
Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems
Venue: International Conference on Software Engineering (2008)

It is our great pleasure to welcome you to the Software Engineering for Adaptive and Self-Managing Systems --SEAMS 2008- workshop. This year's workshop continues the tradition of SEAMS 2006 and SEAMS 2007 of being the premier forum for presenting new research results and experience reports, discussing challenges and establishing research collaborations in the area of software engineering for self-adaptive and self-managing systems. The call for papers attracted 31 submissions from Asia, Canada, Europe, Australia, and the United States. The program committee accepted 17 high quality papers that cover a variety of topics, including requirements, architecture, design, implementation and quality assurance for adaptive and self-managing systems. In addition, the program includes roundtables and keynote speakers on a variety of topics related to engineering adaptive and self-managing systems. We hope that these proceedings will serve as a valuable reference for researchers and developers working in those areas. We hope that you will find this program interesting and thought-provoking and that the workshop will provide you with a valuable opportunity to share ideas with other researchers and practitioners from institutions around the world.
Irho: An imperative rewriting calculus
Authors: Luigi Liquori, Bernard paul Serpette
Venue: Mathematical Structures in Computer Science (2008)

We propose an imperative version of the Rewriting Calculus, a calculus based on pattern matching, pattern abstraction and side effects, which we call iRho. We formulate both a static and big-step call-by-value operational semantics of iRho. The operational semantics is deterministic, and immediately suggests how an interpreter for the calculus may be built. The static semantics is given using a first-order type system based on a form of product types, which can be assigned to term-like structures (that is, records). The calculus is à la Church, that is, pattern abstractions are decorated with the types of the free variables of the pattern. iRho is a good candidate for the core of a pattern-matching imperative language, where a (monomorphic) typed store can be safely manipulated and where fixed points are built into the language itself. Properties such as determinism of the interpreter and subject-reduction have been completely checked using a machine-assisted approach with the <monospace>Coq</monospace> proof assistant. Progress and decidability of type checking are proved using pen and paper.
Life cycle support for sensor network applications
Authors: Urs Bischoff, Gerd Kortuem
Venue: Proceedings of the 2nd international workshop on Middleware for sensor networks (2007)

Developing applications for sensor networks is a challenging task. Most programming systems narrowly focus on programming issues while ignoring that programming represents only a tiny fraction of the typical life cycle of an application. Furthermore, application developers face the prospect of investing a lot of time in writing code that has "nothing" to do with the actual application logic. A lot of this code is related to different life cycle concerns such as distributed programming issues or runtime services (e.g. group communication or time synchronisation). In this paper we introduce an engineering method that simplifies the development of sensor network applications by providing comprehensive life cycle support for programming as well as ongoing evolutionary modification of embedded applications throughout the application life cycle. The proposed engineering method is realised in form of a concrete system called RuleCaster. To verify the utility of the engineering method and RuleCaster we use a scenario-based evaluation method.
Cooperative XPath caching
Authors: Kostas Lillis, Evaggelia Pitoura
Venue: Proceedings of the 2008 ACM SIGMOD international conference on Management of data (2008)

Motivated by the fact that XML is increasingly being used in distributed applications, we propose building a cooperative caching scheme for XML documents. Our scheme allows sharing cache content among a number of peers. To facilitate sharing, a distributed prefix-based index is built based on the queries whose results are cached. In the loosely-coupled sharing approach, each peer stores in its local cache results of its own queries and just publishes the associated queries to the index. In the tightly-coupled approach, each peer is assigned a specific part of the query space and stores in its local cache the results of the corresponding queries. Both approaches result in a dynamic organization of content that evolves over time based on the query load, the number of peers and the overall storage available. We present a number of associated design choices such as using a DHT for distributing the prefix-based index and a proactive cache replacement policy. We also report on a number of experiments that show the benefits of cooperative caching and highlight the pros and cons of loosely and tightly coupled cache sharing.
The Venn of Identity: Options and Issues in Federated Identity Management
Authors: Eve Maler, Drummond Reed
Venue: IEEE Security and Privacy (2008)

Digital identities can be associated with everything from people to software applications to entire companies, but human digital identities prove the most interesting and challenging. Human digital identities can simplify network usage and enable new classes of applications, but they also introduce security and privacy risks. Federated identity management addresses scenarios in both enterprise and consumer contexts by defining how to dynamically distribute identity information and delegate identity tasks across security domains. This article explains federated identity's components, discusses security and privacy risks and architectural challenges, surveys the SAML, OpenID, and InfoCard protocols, and reviews new developments in federated identity management.
Automatic synthesis of clock gating logic with controlled netlist perturbation
Authors: Aaron P. Hurst
Venue: Proceedings of the 45th annual Design Automation Conference (2008)

Clock gating is the insertion of combinational logic along the clock path to prevent the unnecessary switching of registers and reduce dynamic power consumption. The conditions under which the transition of a register may be safely blocked can either be explicitly specified by the designer or detected automatically. We introduce a new method for automatically synthesizing these conditions in a way that minimizes netlist perturbation and is both timing- and physical-aware. Our automatic method is also scalable, utilizing simulation and satisfiability tests and necessitating no symbolic representation. On a set of benchmarks, our technique successfully reduces the dynamic clock power by 14.5% on average. Furthermore, we demonstrate how to apply a straightforward logic simplification to utilize resulting don't cares and reduce the logic by 7.0% on average.
Documenting and automating collateral evolutions in linux device drivers
Authors: Yoann Padioleau, Julia Lawall, René Rydhof Hansen, Gilles Muller
Venue: ACM SIGOPS Operating Systems Review (2008)

The internal libraries of Linux are evolving rapidly, to address new requirements and improve performance. These evolutions, however, entail a massive problem of collateral evolution in Linux device drivers: for every change that affects an API, all dependent drivers must be updated accordingly. Manually performing such collateral evolutions is time-consuming and unreliable, and has lead to errors when modifications have not been done consistently. In this paper, we present an automatic program transformation tool Coccinelle, for documenting and automating device driver collateral evolutions. Because Linux programmers are accustomed to manipulating program modifications in terms of patch files, this tool uses a language based on the patch syntax to express transformations, extending patches to semantic patches. Coccinelle preserves the coding style of the original driver, as would a human programmer. We have evaluated our approach on 62 representative collateral evolutions that were previously performed manually in Linux 2.5 and 2.6. On a test suite of over 5800 relevant driver files, the semantic patches for these collateral evolutions update over 93% of the files completely. In the remaining cases, the user is typically alerted to a partial match against the driver code, identifying the files that must be considered manually. We have additionally identified over 150 driver files where the maintainer made an error in performing the collateral evolution, but Coccinelle transforms the code correctly. Finally, several patches derived from the use of Coccinelle have been accepted into the Linux kernel.
Collaborative BPEL Design with a Rich Internet Application
Authors: Markus Held, Wolfgang Blochinger
Venue: Proceedings of the 2008 Eighth IEEE International Symposium on Cluster Computing and the Grid (2008)

Workflow design is often an effort of distributed and inhomogeneous teams. We present a collaborative workflow design tool, which is implemented as a Rich Internet Application. The tool provides a desktop like user experience, but can easily be embedded into web sites. It enables synchronous as well as asynchronous cooperation of design team members and encourages a well coordinated design process.