ppxscal/embedding_network huggingface dataset:
Explorative Learning of Wireless Network Security with Tele-Lab IT-Security
Authors: Dirk Cordel, Christoph Meinel, Stephan Repp, Christian Willems
Venue: Proceedings of the 1st international conference on Hybrid Learning and Education (2008)

Recently, IT-Security education and awareness creation have become important issues --- especially for companies. Enterprises noticed that employees are often unknowingly responsible for security incidents. Due to the significant costs that may arise from such incidents, many companies nowadays spend a lot of money on awareness campaigns. Because today pupils are already able to use current computer technologies and the internet at a young age, the idea arose to start security education and awareness raising early in schools. This paper investigates the feasibility of a special security education program at the "Berufsbildenden Schule für Gewerbe und Technik" (a school providing vocational education) in Trier, Germany. Considering that security education needs to train students to deal with security problems in real environments, the Hasso-Plattner-Institut in Potsdam developed a special interactive web-based security training system. Besides theoretical knowledge, the so-called Tele-Lab system provides students with hands-on experiences by means of a virtual laboratory. This virtual lab is realized on the basis of virtual machines. Every user receives a dedicated virtualized computer to perform practical security exercises with real-life tools in a secure way. Using Tele-Lab, students of the "Berufsbildenden Schule für Gewerbe und Technik" were able to explore wireless network security issues autonomously. This paper subsequently describes the technical foundations of Tele-Lab, the students' hybrid learning process and the evaluation of the Tele-Lab training system.
A Role-Based Peer-to-Peer Approach to Application-Oriented Measurement Platforms
Authors: Kenji Masui, Youki Kadobayashi
Venue: Proceedings of the 3rd Asian conference on Internet Engineering: Sustainable Internet (2007)

The importance of large-scale measurement infrastructures for grasping the global state of the Internet is recently strongly emphasized. However, a fundamental analysis of these infrastructures has not yet been conducted. In this paper, we highlight the formation of measurement networks and provide a first look at measurement activities performed on those networks. We also propose a scheme for constructing a measurement network, which divides the measurement agent's roles into core agent and stub agent. This scheme entails only simple adjustment for changing the formation of the measurement network. Through the transition from a centralized system to hybrid and pure peer-to-peer networks, we visualize the flow of measurement procedures and explore the factors that have an influence on the overall performance of measurement systems.
Parallel Implementation of Vascular Network Modeling
Authors: Krzysztof Jurczuk, Marek Krętowski
Venue: Proceedings of the 8th international conference on Computational Science, Part I (2008)

The paper presents modeling of the vascular system in a parallel environment. The aim of this approach is to accelerate the simulation of vascular network growth and make it closer to analogous real life processes. We concentrated on the perfusion process and made an attempt to parallelize the process of connecting ischemic macroscopic functional units to existing vascular systems. The proposed method was implemented on a computing cluster with the use of the MPI standard. The results show that it is possible to gain a significant speedup that allows us to make simulations for a greater number of macroscopic functional units and vessels in a reasonable time, which increases the possibility to create more complex and more precise virtual organs.
Urban Computing and Mobile Devices
Authors: Francesco Calabrese, Kristian Kloeckl, Carlo Ratti, Mark Bilandzic, Marcus Foth, Angela Button, Helen Klaebe, Laura Forlano, Sean White, Petia Morozov, Steven Feiner, Fabien Girardin, Josep Blat, Nicolas Nova, M. P. Pieniazek, Rob Tieben, Koen van Boerdonk, Sietske Klooster, Elise van den Hoven, J. Martin Serrano, Joan Serrat, Daniel Michelis, Eric Kabisch
Venue: IEEE Pervasive Computing (2007)

This Works in Progress department features 12 urban computing projects that span a range of computing and social areas. The first entry examines how an urban environment could operate as a large-scale, real-time control system. One project focuses on annotating public spaces and sharing the tags with others. Two projects tie together social networking in cyberspace with local urban communities. Two projects examine computing and social interactions in physical spaces. Two entries explore how to combine synthetic and physical views of urban environments. Four entries investigate how we explore urban spaces, interact with technology in those spaces, and create shared community histories. This department is part of a special issue on urban computing.
Partial Discriminative Training of Neural Networks for Classification of Overlapping Classes
Authors: Cheng-Lin Liu
Venue: Proceedings of the 3rd IAPR workshop on Artificial Neural Networks in Pattern Recognition (2008)

In applications such as character recognition, some classes are heavily overlapped but are not necessarily to be separated. For classification of such overlapping classes, either discriminating between them or merging them into a metaclass does not satisfy. Merging the overlapping classes into a metaclass implies that within-metaclass substitution is considered as correct classification. For such classification problems, I propose a partial discriminative training (PDT) scheme for neural networks, in which, a training pattern of an overlapping class is used as a positive sample of its labeled class, and neither positive nor negative sample for its allied classes (classes overlapping with the labeled class). In experiments of handwritten letter recognition using neural networks and support vector machines, the PDT scheme mostly outperforms cross-training (a scheme for multi-labeled classification), ordinary discriminative training and metaclass classification.
Applying Reinforcement Learning to Multi-robot Team Coordination
Authors: Yolanda Sanz, Javier Lope, José Antonio Martín H.
Venue: Proceedings of the 3rd international workshop on Hybrid Artificial Intelligence Systems (2008)

Multi-robot systems are one of the most challenging problems in autonomous robots. Teams of homogeneous or heterogeneous robots must be able to solve complex tasks. Sometimes the tasks have a cooperative basis in which the global objective is shared by all the robots. In other situations, the robots can be different and even contradictory goals, defining a kind of competitive problems. The multi-robot systems domain is a perfect example in which the uncertainty and vagueness in sensor readings and robot odometry must be handled by using techniques which can deal with this kind of imprecise data. In this paper we introduce the use of Reinforcement Learning techniques for solving cooperative problems in teams of homogeneous robots. As an example, the problem of maintaining a mobile robots formation is studied.
E-portfolios: their impact on self-directed learning and computer technology skills on preservice teachers
Authors: E. Paulette Isaac-Savage
Venue:  (2006)

Students in the Teacher Education Program at the University of Missouri-St. Louis have to complete their professional E-portfolios to be certified for the program. An E-portfolio demonstrates a future teacher's knowledge, skills, and abilities acquired through teaching and learning. Five qualitative case studies were investigated to understand how E-portfolios impact preservice teachers' self-directed learning readiness (SDLR) and computer technology skills (CTS). Data were gathered from the preservice teachers' pre- and post-questionnaires, interviews, observations, and their completed E-portfolios. Two internship students and three student teachers were observed creating their E-portfolios during a 16-week semester. During the period, some sought assistance from the E. Desmond Lee Technology and Learning Center Staff while others worked independently. Using the Self-Directed Learning Readiness Scale (Guglielmino, 1977), all the participants increased their SDLR scores. However, although each of their scores increased, they remained in their initial level. For example, if a person had an initial 'above average' score (227-251), he or she stayed in the same level after creating an E-portfolio. Based on a CTS Questionnaire, which examined the preservice teachers' Internet, PowerPoint, Excel, and E-portfolio skills, just to name a few, each preservice teacher increased his or her computer technology skills. Thus, it appears that creating an E-portfolio can serve as a useful tool in helping preservice teachers enhance their self-direction and computer technology literacy. Teachers should carefully consider how computer technology should be used to further their goals of professional development. The knowledge gained from this study may assist adult educators in motivating student teacher candidates to use E-portfolios. Knowledge about the self-directed learning process would contribute to both theory and practice of self-directed learning in the digital age. In addition, this study may provide the foundation for further research into E-portfolio curriculum design and how to use E-portfolios as an assessment tool for effective professional development. Developing E-portfolios may help students in all programs improve their computer technology skills and trigger their self-direction and desire to learn. In addition, E-portfolios may provide faculty with an effective, alternative assessment tool (Barrett, 2000). Future reasearch could examine more students in other teacher education programs.
From Ensemble of Fuzzy Classifiers to Single Fuzzy Rule Base Classifier
Authors: Marcin Korytkowski, Leszek Rutkowski, Rafał Scherer
Venue: Proceedings of the 9th international conference on Artificial Intelligence and Soft Computing (2006)

Neuro-fuzzy systems show very good performance and the knowledge comprised within their structure is easily interpretable. To further improve their accuracy they can be combined into ensembles. In the paper we combine specially modified Mamdani neuro-fuzzy systems into an AdaBoost ensemble. The proposed modification improves the interpretability of knowledge by allowing merging the subsystems rule bases into one knowledge base. Simulations on two benchmarks shows excellent performance of the modified neuro-fuzzy systems.
Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time
Authors: Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro
Venue: Proceedings of the 5th international colloquium on Theoretical Aspects of Computing (2008)

Model checking techniques traditionally deal with temporal logic languages and automata interpreted over ¿-words, i.e., where time is infinite in the future but finite in the past. This is motivated by the study of reactive systems, which are typically nonterminating: system termination may be abstracted away by allowing an infinite future. In the same way, if time is infinite also in the past one is allowed to ignore the complexity of system initialization. Specifications may then be simpler and more easily understandable, because they do not necessarily include the description of operations (such as configuration or installation) typically performed at system deployment time. In this paper, we investigate the feasibility of bounded model checking and bounded satisfiability checking when dealing with bi-infinite automata and logics. We present a tool and we discuss its application to a set of case studies, arguing that bi-infinite time does not entail significant penalties in verification time and space.
Multi-resolution Texture Classification Based on Local Image Orientation
Authors: Ovidiu Ghita, Paul F. Whelan, Dana E. Ilea
Venue: Proceedings of the 5th international conference on Image Analysis and Recognition (2008)

The aim of this paper is to evaluate quantitatively the discriminative power of the image orientation in the texture classification process. In this regard, we have evaluated the performance of two texture classification schemes where the image orientation is extracted using the partial derivatives of the Gaussian function. Since the texture descriptors are dependent on the observation scale, in this study the main emphasis is placed on the implementation of multi-resolution texture analysis schemes. The experimental results were obtained when the analysed texture descriptors were applied to standard texture databases.
Reliable Broadcast Tolerating Byzantine Faults in a Message-Bounded Radio Network
Authors: Marin Bertier, Anne-Marie Kermarrec, Guang Tan
Venue: Proceedings of the 22nd international symposium on Distributed Computing (2008)

We consider the problem of reliable broadcast tolerating Byzantine faults in a message-bounded radio network. Following the same model as in [4] and with a different assumption on the message bounds of nodes, we investigate the possibility of reliable broadcast given the communication range, message bounds of honest and dishonest nodes, and the maximum number of dishonest nodes per neighborhood.
On the Strong Completeness of Åqvist's Dyadic Deontic Logic G
Authors: Xavier Parent
Venue: Proceedings of the 9th international conference on Deontic Logic in Computer Science (2008)

Åqvist's dyadic deontic logic G, which aims at providing an axiomatic characterization of Hansson's seminal system DSDL3 for conditional obligation, is shown to be strongly complete with respect to its intended modelling.
Development of Image and Color Evaluation Algorithm for the Web Accessibility Evaluation Tools
Authors: Seong Je Park, Young Moo Kang, Hyung Rim Choi, Soon Goo Hong, Yang Suk Kang
Venue: Proceedings of the 8th Asia-Pacific conference on Computer-Human Interaction (2008)

In the web accessibility evaluation, many studies have been carried out on the evaluation methods related to the content types and features, and in particular, some problems have been raised in relation to the automatic evaluation tools from the aspect of image and color. Thus, this study has attempted to analyze the problems of typical automatic evaluation tools based on WCAG and KWCAG, to suggest improvements for the images and colors, and to prove validity of new algorithms suggested in this study.
Model driven middleware: A new paradigm for developing distributed real-time and embedded systems
Authors: Aniruddha Gokhale, Krishnakumar Balasubramanian, Arvind S. Krishna, Jaiganesh Balasubramanian, George Edwards, Gan Deng, Emre Turkay, Jeffrey Parsons, Douglas C. Schmidt
Venue: Science of Computer Programming (2008)

Distributed real-time and embedded (DRE) systems have become critical in domains such as avionics (e.g., flight mission computers), telecommunications (e.g., wireless phone services), tele-medicine (e.g., robotic surgery), and defense applications (e.g., total ship computing environments). These types of system are increasingly interconnected via wireless and wireline networks to form systems of systems. A challenging requirement for these DRE systems involves supporting a diverse set of quality of service (QoS) properties, such as predictable latency/jitter, throughput guarantees, scalability, 24x7 availability, dependability, and security that must be satisfied simultaneously in real-time. Although increasing portions of DRE systems are based on QoS-enabled commercial-off-the-shelf (COTS) hardware and software components, the complexity of managing long lifecycles (often ~15-30 years) remains a key challenge for DRE developers and system integrators. For example, substantial time and effort is spent retrofitting DRE applications when the underlying COTS technology infrastructure changes. This paper provides two contributions that help improve the development, validation, and integration of DRE systems throughout their lifecycles. First, we illustrate the challenges in creating and deploying QoS-enabled component middleware-based DRE applications and describe our approach to resolving these challenges based on a new software paradigm called Model Driven Middleware (MDM), which combines model-based software development techniques with QoS-enabled component middleware to address key challenges faced by developers of DRE systems - particularly composition, integration, and assured QoS for end-to-end operations. Second, we describe the structure and functionality of CoSMIC (Component Synthesis using Model Integrated Computing), which is an MDM toolsuite that addresses key DRE application and middleware lifecycle challenges, including partitioning the components to use distributed resources effectively, validating software configurations, assuring multiple simultaneous QoS properties in real-time, and safeguarding against rapidly changing technology.
Guiding Distributed Systems Synthesis with Language-Based Security Policies
Authors: Andrew Myers
Venue: Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems (2008)

The distributed information systems we use every day are becoming more complex and interconnected. Can we trust them with our information? Currently there is no good way to check that distributed software uses information securely, even if we have the source code. Many mechanisms are available, but are error-prone: for example, encryption, various cryptographic protocols, access control, and replication. But it is hard to know when we are using these mechanisms in a way that correctly enforces application security requirements.This talk describes a higher-level approach to programming secure systems. Instead of using security mechanisms directly, the programming language incorporates explicit security policies specifying the confidentiality, integrity, and availability of information. The compiler then automatically transforms the source code to run securely on the available host machines, and uses a variety of security mechanisms in order to satisfy security policies. The result is systems that are secure by construction. We look at two applications of this approach: building secure web applications using partitioning beween clients and servers, and building more general secure systems by synthesizing fault-tolerance protocols for availability.Joint work with Steve Chong, Jed Liu, Nate Nystrom, Xin Qi, K. Vikram, Steve Zdancewic, Lantian Zheng, and Xin Zheng.
Discovering Synonyms Based on Frequent Termsets
Authors: Henryk Rybinski, Marzena Kryszkiewicz, Grzegorz Protaziuk, Adam Jakubowski, Alexandre Delteil
Venue: Proceedings of the international conference on Rough Sets and Intelligent Systems Paradigms (2007)

Synonymy has been of high importance in information retrieval and automatic indexing. Recently, in the view of special needs for domain ontology building and maintenance, the problem returns with a higher demand. In the presented paper, we present a novel text mining approach to discovering synonyms or close meaning terms. The offered measures of closeness of terms (or their contexts) are expressed by means of data mining notions; namely, frequent termsets and association rules. The measures can be calculated by using data mining techniques, such as the well known Apriori algorithm. The approach is domain-independent and large-scale. It is, however, restricted to the recognition of parts of speech. In that sense the approach is language dependent, up to the language dependency of the parts of speech tagging process. The experimental results obtained with the approach are presented.
What a Difference a Default Setting Makes
Authors: Te Taka Keegan, Sally Jo Cunningham
Venue: Proceedings of the 12th European conference on Research and Advanced Technology for Digital Libraries (2008)

This paper examines the effect of the default interface language on the usage of a bilingual digital library. In 2005 the default interface language of a bilingual digital library was alternated on a monthly basis between M¿ori and English. A comprehensive transaction log analysis over this period reveals that not only did usage in a particular language increase when the default interface language was set to that language but that the way the interface was used, in both languages, was quite different depending on the default language.
Polymorphism and page tables: systems programming from a functional programmer's perspective
Authors: Mark P. Jones
Venue: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming (2008)

With features that include lightweight syntax, expressive type systems, and deep semantic foundations, functional languages are now being used to develop an increasingly broad range of complex, real-world applications. In the area of systems software, however, where performance and interaction with low-level aspects of hardware are central concerns, many practitioners still eschew the advantages of higher-level languages for the potentially unsafe but predictable behavior of traditional imperative languages like C. It is ironic that critical applications such as operating systems kernels, device drivers, and VMMs - where a single bug could compromise the reliability or security of a whole system - are among the least likely to benefit from the abstractions and safety guarantees of modern language designs. Over the last few years, our group has been investigating the potential for using Haskell to develop realistic operating systems that can boot and run on bare metal. The House system, developed primarily by Thomas Hallgren and Andrew Tolmach, demonstrates that it is indeed possible to construct systems software in a functional language. But House still relies on a layer of runtime support primitives - some written using unsafe Haskell primitives and others written in C - to provide services ranging from garbage collection to control of the page table structures used by the hardware memory management unit. We would like to replace as much of this layer as possible with code written in a functional language without compromising on type or memory safety. Our experiences with House have led us to believe that a new functional language is required to reflect the needs of the systems domain more directly. Interestingly, however, we have concluded that this does not require fundamental new language design. In this invited talk, I will give an update on the current status of our project and I will describe how we are leveraging familiar components of the Haskell type system - including polymorphism, kinds, qualified types and improvement - to capture more precise details of effect usage, data representation, and termination. I will also discuss the challenges of writing and compiling performance-sensitive code written in a functional style. It was once considered radical to use C in place of assembly language to construct systems software. Is it possible that functional languages might one day become as commonplace in this application domain as C is today?