ppxscal/embedding_network huggingface dataset:
A method for detecting the theft of Java programs through analysis of the control flow information
Authors: Hyun-il Lim, Heewan Park, Seokwoo Choi, Taisook Han
Venue: Information and Software Technology (2009)

A software birthmark refers to the inherent characteristics of a program that can be used to identify the program. In this paper, a method for detecting the theft of Java programs through a static software birthmark is proposed that is based on the control flow information. The control flow information shows the structural characteristics and the possible behaviors during the execution of program. Flow paths (FP) and behaviors in Java programs are formally described here, and a set of behaviors of FPs is used as a software birthmark. The similarity is calculated by matching the pairs of similar behaviors from two birthmarks. Experiments centered on the proposed birthmark with respect to precision and recall. The performance was evaluated by analyzing the F-measure curves. The experimental results show that the proposed birthmark is a more effective measure compared to earlier approaches for detecting copied programs, even in cases where such programs are aggressively modified.
Towards usable cyber security requirements
Authors: Jose Romero-Mariona, Hadar Ziv, Debra J. Richardson, Dennis Bystritsky
Venue: Proceedings of the 5th Annual Workshop on Cyber Security and Information Intelligence Research: Cyber Security and Information Intelligence Challenges and Strategies (2009)

Security has become a primary and prevalent concern for software systems. The past decade has witnessed a tremendous increase in not only the sheer number of attacks but also the ease with which attacks can be performed on systems. In this paper we exemplify the usage of a novel technique for developing security requirements, by demonstrating each step in the technique when applied to an example usage scenario. Furthermore, this new technique also provides support for deriving testing artifacts from the specified security requirements. We believe that in order to protect a system against harm (intended or not), attention must be given to its requirements. Similar to other system properties and quality attributes, security must be considered at the requirements.
Orbit-product representation and correction of Gaussian belief propagation
Authors: Jason K. Johnson, Vladimir Y. Chernyak, Michael Chertkov
Venue: Proceedings of the 26th Annual International Conference on Machine Learning (2009)

We present a new view of Gaussian belief propagation (GaBP) based on a representation of the determinant as a product over orbits of a graph. We show that the GaBP determinant estimate captures totally backtracking orbits of the graph and consider how to correct this estimate. We show that the missing orbits may be grouped into equivalence classes corresponding to backtrackless orbits and the contribution of each equivalence class is easily determined from the GaBP solution. Furthermore, we demonstrate that this multiplicative correction factor can be interpreted as the determinant of a backtrackless adjacency matrix of the graph with edge weights based on GaBP. Finally, an efficient method is proposed to compute a truncated correction factor including all backtrackless orbits up to a specified length.
Dynamic Learning Networks: Models and Cases in Action, 1st edition
Authors: Aldo Romano, Giustina Secundo
Venue:  (2009)

Dynamic Learning Networks: Models and Cases In Action represents an attempt to provide a network perspective of organizational learning to drive dynamic competition through extended firm learning processes. This edited volume contributed by worldwide experts in this field, provide academics and company managers with an extended view of organizational learning networks from real cases and different perspectives. Dynamic Learning Networks: Models and Cases In Action is based on the workshop, Managing Uncertainty and Competition through Dynamic Learning Networks. It was organized by the E-Business Management Section of Scuola Superiore ISUFI University of Salento (Italy) and held in Ostuni (Italy) 3rd - 5th July 2008. Dynamic Learning Networks: Models and Cases In Action is designed for a professional audience, composed of researchers and practitioners working in corporate learning. This volume is also suitable for advanced-level students in computer science.
A Cooperative Approach for Job Shop Scheduling under Uncertainties
Authors: C. Briand, S. Ourari, B. Bouzouiai
Venue: Proceeding of the 2008 conference on Collaborative Decision Making: Perspectives and Challenges (2008)

This paper focuses on job shop scheduling problems in a cooperative environment. Unlike classical deterministic approaches, we assume that jobs are not known in advance but occur randomly during the production process, as orders appear. Therefore, the production schedule is adapted in a reactive manner all along the production process. These schedule adaptations are made according to a cooperative approach, that is the major originality of this paper. Each resource manages its own local schedule and the global schedule is obtained by point-to-point negotiations between the various machines. We also suppose that local schedules are flexible since several alternative job sequences are allowed on each machine. This flexibility is the key feature that allows each resource, on the one hand, to negotiate with the others and, on the other hand, to react to unexpected events. The cooperative approach aims at ensuring the coherence between the local schedules while keeping a given level of flexibility on each resource.
Keys, Money and Mobile Phone
Authors: Matthias Wagner
Venue: Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications (2009)

Across cultures, genders and generations, the mobile phone has become one of the most essential objects in peoples everyday life. In this talk we will go through the evidence on how, next to money and keys, the mobile phone is the third-most thing to be carried around by almost everybody, nearly all the time. By looking at the demands and needs of todays mobile users, we discuss how Semantic technologies can add value to phones as well as to mobile services.Walking through selected projects of DOCOMO Euro-Labs, we advocate that the success of future mobile services will largely depend on their ability to maximize their value in varying context. Contextual Intelligence in devices, mobile applications and service platforms will be needed to manage different mobile terminals, personalize content and services or to narrow down possibly very large sets of applicable services in a given situation. With this vision of Contextual Intelligence in mind, we are exploiting technologies from the Semantic Web for the mobile domain. For instance, to extend location-based service with knowledge and reasoning on places, people and things. 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
Design of dependable personal networks
Authors: Javad Vazifehdan, Mohamed Gamal Hawas, Ramin Hekmat, Ignas Niemegeers
Venue: Proceedings of the 3rd international workshop on Adaptive and dependable mobile ubiquitous systems (2009)

The notion of personal networks (PN) is a modus operandi in communication networking, which can simplify people's interactions with their personal devices. A PN is a user-centric network consisting of personal devices, regardless of their geographical locations. PNs provide users ubiquitous access to their personal resources and offer variety of personalized services to the users. Dependability of these networks is essential for their adoption by the end-user as a new communication paradigm. In this paper, for the first time, we rigorously analyze the dependability of PNs. Through fault analysis, we show that the routing mechanism can profoundly affect dependability of these networks. We focus on energy-efficiency as well as reliability of various routing protocols, to find out which routing mechanism can make PNs more dependable. In our evaluation, not only single-path protocols, but also multi-path protocols are considered. We argue that among different varieties of routing protocols, a protocol with backup routes, packet salvaging enhanced with cooperative caching, per-connection traffic allocation, and hybrid nature provides the best dependability for PNs. Our work paves the way toward dependable ubiquitous mobile computing using personal networks.
Effect of the food traceability system for building trust: Price premium and buying behavior
Authors: Young Chan Choe, Joowon Park, Miri Chung, Junghoon Moon
Venue: Information Systems Frontiers (2009)

Facing a series of food-related accidents, consumers worldwide have become more concerned with the safety of the food they consume. The Food Traceability System has been introduced in many countries to reduce the uncertainties originating in the food purchasing process by providing information about the entire food process, from farm to table, in terms of quality and safety. However, this relatively new information system has not yet been explored with an academic approach. The main goal of this study was to determine whether reduced uncertainty provides benefits for producers and consumers, thereby warranting the adoption of the food traceability system. We also analyzed the factors and mechanisms that explain consumer behavior within the system. We have modified and applied the uncertainty model of Pavlou et al. (MIS Quarterly 31(1):105---136, 2007) derived from the principal---agent perspective in order to fulfill our research objectives. Through a survey conducted in Korea, we found that Korean consumers were not only willing to purchase greater quantities of food, but also willing to pay more for food managed with the traceability system. The results of this study indicate that the mitigated uncertainty given by the traceability system plays a key role in price premium and purchase intention. In addition, mitigated uncertainty has a larger impact on purchase intention than on price premium, implying that consumers are inclined to buy more rather than pay more. These results provide valuable suggestions for producers for how to deal with increased costs resulting from adoption of the system. We also found that in the context of the Food Traceability System, perceived uncertainty was mitigated as a result of a reduced fear of seller opportunism originating from increased trust and reduced information asymmetry originating from increased product diagnosticity, informativeness, and trust. Reduced fear of seller opportunism had a stronger impact than reduced information asymmetry on perceived mitigated uncertainty.
Developing with Ext GWT: Enterprise RIA Development
Authors: Grant Slender
Venue:  (2009)

Developing in Ext GWT is a fastpaced, practical guide to quickly learning the tasks necessary in building enterpriseclass Rich Internet Applications. Based around the exciting new UI library from Ajax leaders Ext JS and the latest GWT release, this book takes the reader through setup, the available widgets, and advanced custom widgets and templates, and concludes with a functional sample clientserver application in less than 150 pages. Not your typical beginner's guide to programming, this book provides a rapid approach to becoming effective with leading commercial RIA tools and libraries. A practical approach to enterprise RIA development using industryproven tools. Full coverage of the new Ext GWT 2.0 widget library based on GWT 1.6 Designed for professional developers needing a quick, nononsense overview of the initial requirements to get started, ending with an example clientserver application What youll learn Understand the Ext GWT UI framework, its history, and what you need to get started quickly. Prepare a build enviroment, debug, and troubleshoot, and find out whats needed to reliably build an application based on Ext GWT. Know how to use the various widgets, layouts, and combinations to get the right look and feel for a professional result. Get an overview of some of the advanced features (such as Drag-n-Drop and Portal). Understand how Store, Model and RPC, can be used in a clientserver model. Step through an example application that showcases an enterprisestyle RIA. Who is this book for? This book is for enterprise developers with a need to rapidly get highquality results in the RIA space. The reader is assumed to have a sound knowledge of Java and understands the basics of web development. The book also offers some insight on Ext GWT to casual developers who want to add that enterpriseRIA look to their existing GWT applications.
Java and SQL
Authors: Malcolm Taylor
Venue:  (2007)

The book presents the key features of both Java and SQL, with particular emphasis on building applications which use both languages. It includes sections on accessing collections and large objects as well as simple types. Packed with useful code samples as well as discussions of general principles, it provides a valuable guide for students and professionals alike. Further information is available at www.javasql.co.uk 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
Model driven development with mechatronic UML
Authors: Wilhelm Schafer
Venue: Proceedings of the 2008 IEEE Symposium on Visual Languages and Human-Centric Computing (2008)

Visual languages form a constituent part of a well-established software development paradigm, namely model driven development. The structure and functionality of the software is precisely specified by a model which can be formally analyzed concerning important (safety and liveness) properties of the system under construction. Executable code is automatically generated from the model. Although model-driven development has been recognized as a potential to improve significantly the productivity and quality of software, success stories are restricted to particular domains, mainly in business applications. Other domains, especially embedded systems employ model-driven development only in very special cases and on a limited scale, namely in the continuous world of control theory.
Novel Precomputation Schemes for Elliptic Curve Cryptosystems
Authors: Patrick Longa, Catherine Gebotys
Venue: Proceedings of the 7th International Conference on Applied Cryptography and Network Security (2009)

We present an innovative technique to add elliptic curve points with the form P ±Q, and discuss its application to the generation of precomputed tables for the scalar multiplication. Our analysis shows that the proposed schemes offer, to the best of our knowledge, the lowest costs for precomputing points on both single and multiple scalar multiplication and for various elliptic curve forms, including the highly efficient Jacobi quartics and Edwards curves.
6 Microsoft Office Business Applications for Office SharePoint Server 2007
Authors: Microsoft Corporation
Venue:  (2008)

Get the practical guide to implementing the Microsoft Office system as an application-development platform. This book highlights the breadth of approaches developers can take for extending line-of-business information to information workers in the familiar, usable format of the Microsoft Office interface. These approaches, Microsoft Office Business Application (OBA) patterns, are based on real-world implementations in many cases. In other cases, they are built on Microsoft Office features that have a generalized solution rooted in input from customers and partners. This reference delivers the seven key Microsoft Office Business Application patterns and provides professional developers with extensible examples and the architectural guidance needed for developing custom enterprise applications and extending business information to users.Provides both extensible examples and architectural guidance for custom solutionsFeatures expert insights from key developers on the Microsoft Office and SharePoint teams at Microsoft and the MVP community 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
Satisfiability Parsimoniously Reduces to the Tantrix&trade; Rotation Puzzle Problem
Authors: Dorothea Baumeister, Jörg Rothe
Venue: Fundamenta Informaticae (2009)

Holzer and Holzer [10] proved that the Tantrix&trade; rotation puzzle problem is NP-complete. They also showed that for infinite rotation puzzles, this problem becomes undecidable. We study the counting version and the unique version of this problem. We prove that the satisfiability problem parsimoniously reduces to the Tantrix&trade; rotation puzzle problem. In particular, this reduction preserves the uniqueness of the solution, which implies that the unique Tantrix&trade; rotation puzzle problem is as hard as the unique satisfiability problem, and so is DP-complete under polynomial-time randomized reductions, where DP is the second level of the boolean hierarchy over NP.
Development of a very large-area ultraviolet imprint lithography process
Authors: Ki-don Kim, Jun-ho Jeong, Sang-hu Park, Dae-geun Choi, Jun-hyuk Choi, Eung-sug Lee
Venue: Microelectronic Engineering (2009)

We propose a very large-area ultraviolet imprint lithography process as a promising alternative to expensive conventional optical lithography for the production of display panels. This process uses a large-area hard stamp in a low vacuum environment. The hard quartz stamp is used to achieve high overlay accuracy, and the vacuum environment is required to ensure that air bubble defects do not occur during imprinting. We demonstrate that the quartz stamp with microscale patterns can be used for imprinting 18-in. diagonal substrates via single-step UV imprint in a low vacuum environment to obtain a practical residual layer thickness (RLT) for micro pattern transfer to the substrate. Numerical analysis is performed to clarify the physical phenomena underlying imprint process.
Software deployment in a dynamic cloud: From device to service orientation in a hospital environment
Authors: Sander van der Burg, Merijn de Jonge, Eelco Dolstra, Eelco Visser
Venue: Proceedings of the 2009 ICSE Workshop on Software Engineering Challenges of Cloud Computing (2009)

Hospital environments are currently primarily device-oriented: software services are installed, often manually, on specific devices. For instance, an application to view MRI scans may only be available on a limited number of workstations. The medical world is changing to a service-oriented environment, which means that every software service should be available on every device. However, these devices have widely varying capabilities, ranging from powerful workstations to PDAs, and high-bandwidth local machines to low-bandwidth remote machines. To support running applications in such an environment, we need to treat the hospital machines as a cloud, where components of the application are automatically deployed to machines in the cloud with the required capabilities and connectivity. In this paper, we suggest an architecture for applications in such a cloud, in which components are reliably and automatically deployed on the basis of a declarative model of the application using the Nix package manager.
An Architecture for Modeling and Applying Quality Processes on Evolving Software
Authors: Fadrian Sudaman, Christine Mingins, Martin Dick
Venue: Proceedings of the International Conference on Software Process: Trustworthy Software Development Processes (2009)

Software process and product views should be closely linked in order to better manage quality improvement. However until now the two views have not been effectively synchronized. Current approaches to Software Configuration Management (SCM) are strongly based on files and lacking in logical and semantic understanding. Some impediments faced when modeling and analyzing software evolution include additional effort for dealing with language dependent source code analysis and continuous mining of the evolving system. By leveraging features offered by modern VMs and other enabling technologies, we have developed a language neutral architecture with extensibility mechanisms to support continuous Software Evolution Management (SEM). Our research aims to contribute to an SEM infrastructure where semantic artifacts can be consistently accessed, tracked and managed for performing software evolution analytics beyond the file-based model. This paper presents compelling factors for our infrastructure, the architecture we have developed, and then sketches a case study to demonstrate its application.
Measuring of organization in traffic systems
Authors: Zuzana Bělinová
Venue: Proceedings of the 2009 Euro American Conference on Telematics and Information Systems: New Opportunities to increase Digital Citizenship (2009)

In this paper, the possibility for describing (measuring) the organization of transport systems is presented. This evaluation of organization is motivated by the need to describe the behaviour of traffic systems in general but with respect to particular elements. As the basis for the proposed method the position and speed of each particle is used. The method recognizes two main components of the organization description -- global and local one.
Left Ventricle Segmentation from Contrast Enhanced Fast Rotating Ultrasound Images Using Three Dimensional Active Shape Models
Authors: Meng Ma, Marijn Stralen, Johan H. Reiber, Johan G. Bosch, Boudewijn P. Lelieveldt
Venue: Proceedings of the 5th International Conference on Functional Imaging and Modeling of the Heart (2009)

In this paper we propose a novel segmentation technique for quantification of sparsely sampled single-beat 3D contrast enhanced echocardiographic data acquired with a Fast Rotating Ultrasound transducer (FRU). The method uses a 3D Active Shape Model of the Left Ventricle (LV) in combination with local appearance models as prior knowledge to steer the segmentation. From a set of semi-manually delineated contours, 3D meshes of the LV endocardium are constructed for different cardiac phases. Mesh surfaces are partitioned into a fixed number of regions, each of which is modeled by a local image appearance. During segmentation, model update points are generated based on similarity matches with these local appearance models in multiple curved 2D cross-sections, which are then propagated over a dense 3D mesh. The Active Shape Model effectively constrains the shape of the 3D mesh to a statistically plausible cardiac shape. Leave-one-out cross validation was carried out on single-beat contrast enhanced FRU data from 18 patients suffering from various cardiac pathologies. Experiments show that the proposed method generates segmentation results that agree with the ground truth contours with average Point to Point (P2P) error of 4.1±2.0 mm and average Point to Surface (P2S) error of 2.4±2.1mm. Convergence tests show that the proposed method is capable of producing acceptable segmentation results (with less than 1.5X error compared to favorable initialization) within the range of 18~22 mm of in-plane displacement and 12~14 degrees of long-axial orientation error.