waashk/dblp huggingface dataset:
a light-weight feedback method for reconstructing a document vector space on a feature extraction model. in this paper, we propose a document retrieval system with a light-weight feedback method for reconstructing a document vector space, which is developed on a feature extraction model (fem). fem makes it possible to realize a light-weight creation of vector spaces by feature terms extracted from the pre-prepared documents and we can apply the feedback method dynamically to reconstruct the vector spaces based on intensions of users. retrieval results can be improved through the proposed feedback process because the distributions of documents on the reconstructed vector space are arranged properly according to purposes and interests of users.
design pattern detection by template matching. in this paper, we adopt a template matching method to detect design patterns from a software system by calculating their normalized cross correlation. because design patterns document flexible design ideas, there can be various ways of implementing them. in our approach, not only the exact matches of pattern instances are detected from system source code, but also the variations of pattern candidates can be identified. based on our method, we provide tool support and perform experiments on different large open-source systems.
a framework for dependable qos adaptation in probabilistic environments. distributed protocols executing in uncertain environments, like the internet, had better adapt dynamically to environment changes in order to preserve qos. in a previous work, it was shown that qos adaptation should be dependable, if correctness of protocol properties is to be maintained. in this paper we provide concrete strategies and methodologies to improve the implementation of dependable qos adaptation. during its lifetime, a system alternates periods where its temporal behavior is well characterized, with transition periods where a variation of the environment conditions occurs. our method is based on the following: if the environment is generically characterized in analytical terms, and we can detect the alternation of these stable and transient phases, we can drastically improve the effectiveness of dependable qos adaptation. to prove our point, we conduct an evaluation based on "synthetic" data flows generated from one or more probabilistic distributions, and we show that the proposed strategies can indeed be effective and still dependable in the considered cases.
special track on dependable and adaptive distributed systems: editorial message. distributed systems, services and databases are at the core of the information society and increasingly pervade many aspects of our daily lives. while mobility and pervasiveness require support for systems that adapt themselves to changing environments, resources, and user needs, the middleware infrastructures become more and more heterogeneous and complex. this trend is further fueled by the emergence of service oriented computing. in addition, we can see an increasing demand for dependability and security of such systems, taking into account the software as well as the surrounding environment. this mismatch between increasing demand for dependability on one hand and a degradation of dependability caused by complexity, scale, and dynamics has recently been termed by laprie as the "dependability gap".
repart: a reputation-based simulation tool for partnership formation. reputation is a concept diffused among several research fields, such as social sciences and economics. recently, it has been used in the multi-agent systems field, and several different models for its calculation have been proposed. this work presents a simulation tool, named repart, whose goal is the study of partnership formation based on reputation.
user interface derivation from business processes: a model-driven approach for organizational engineering. this paper defines a model-driven approach for organizational engineering in which user interfaces of information systems are derived from business processes. this approach consists of four steps: business process modeling in the context of organizational engineering, task model derivation from the business process model, task refinement, and user interface model derivation from the task model. each step contributes to specify and refine mappings between the source and the target model. in this way, each model modification could be adequately propagated in the rest of the chain. by applying this model-driven approach, the user interfaces of the information systems are directly meeting the requirements of the business processes and are no longer decoupled from them. this approach has been validated on a case study in a large bank-insurance company.
formal definition of measures for uml statechart diagrams using ocl. the informal definition of a measure in natural language is ambiguous, so it must be accompanied by a precise and formal definition, for avoiding misunderstanding and misinterpretation. in this paper we show the formal definition of measures for uml statechart diagrams using ocl, upon the uml statechart metamodel. the use of a formal definition upon a metamodel (where the main concepts and relationships are modelled) assure that measures capture the concepts they intend for and could facilitate the implementation of measures extraction tools.
augmented vision for medical applications. computer vision techniques for tracking real objects as surgical tools and organs of patients are been integrated in medical scenarios. we present a marker-based approach followed by a rigid registration procedure to align real and virtual objects. a maxillofacial surgery is being used as case study and our method provides virtual and augmented aid to the surgeon while performing osteotomy tasks. results reached with the proposed system shows to be acceptable when compared with previous work.
a reusable object-oriented design to support self-testable autonomic software. as the enabling technologies of autonomic computing continue to advance, it is imperative for researchers to exchange the details of their proposed techniques for designing, developing, and validating autonoinic systems. many of the software engineering issues related to building dependable autonomic systems can only be revealed by studying detailed designs and prototype implementations. in this paper we present a reusable object-oriented design for developing self-testable autonoinic software. our design aims to reduce the effort required to develop autonomic systems that are capable of runtime testing. furthermore, we provide low-level implementation details of a case study, autonomic job scheduler (ajs), developed using the proposed design.
cross-organizational erp management: how to create a successful business case? this paper deals with the development and use of business cases in support of cross-organizational enterprise resource planning (erp)-enabled e-business integration initiatives. in order to ensure that such a project starts successfully, we will focus on pre-implementation activities. we propose a set of business case guidelines that emphasize the importance of benefits management during erp implementations.
topology determination and isolation for implicit plane curves. a method is proposed to generate an isolation for a plane curve, which is a set of boxes covering the curve, having the same topology as the curve, and approximating the curve to any given precision. the method uses symbolic computation to guarantee correctness and uses interval analysis whenever possible to enhance efficiency. this leads to a quite effective hybrid method for plane curve isolation.
simulating antigenic drift and shift in influenza a. computational models of the immune system and pathogenic agents have several applications, such as theory testing and validation, or as a complement to first stages of drug trials. one possible application is the prediction of the lethality of new influenza a strains, which are constantly created due to antigenic drift and shift. here, we present an agent-based model of immune-influenza a dynamics, with focus on low level molecular antigen-antibody interactions, in order to study antigenic drift and shift events, and analyze the virulence of emergent strains. at this stage of the investigation, results are presented and discussed from a qualitative point of view against recent and generally recognized immunology and influenza literature.
knowledge-based coordination with a reliable semantic subscription mechanism. semantic technologies promise to solve challenging problems of current enterprise information systems, e.g., the integration of heterogeneous information clients and the evaluation of complex data dependencies. as many of these problems also apply to coordination applications, recent research initiatives have proposed to integrate coordination models with semantic technology. in this paper, we present such an integrated coordination model which combines logic-based reasoning with a reliable semantic subscription mechanism. we present a formal definition of the model's behavioral semantics and investigate the added value of using semantic technologies. finally, we draw first conclusions about the practical applicability of the proposed approach based on performance benchmarks of a prototype implementation.
a flexible qos-aware routing protocol for infrastructure-less b3g networks. current mobile devices support multiple network technologies and network composition via such devices can enable service provisioning across heterogeneous networks. one of the key challenges for realizing this view is inter-domain routing. indeed, given the diversity of involved network technologies and infrastructures, a flexible routing protocol that takes into account their quality properties and dynamics is an important requirement. in this paper, we present a flexible quality-aware routing protocol for infrastructure-less b3g environments that enables discovery of routes with optimal bandwidth, delay or cost according to the preference of each client. the protocol is based on the optimized link-state routing (olsr) protocol and is designed to enable computation of quality-aware routes in multi-network environments. we detail the protocol, discuss its deployment and provide experimental results.
length-lex bound consistency for knapsack constraints. this paper considers the length-lex domain for set-variables in constraint programming which includes not only membership but also cardinality and lexicographic information. the paper studies how to enforce bound consistency on a knapsack constraint over a set variable in this domain and proposes a bound-consistency algorithm which runs in o(c log n) time with a one-time preprocessing cost o(cn2) when the constraint is posted.
an extensible source-level debugger. standard debuggers are limited in the amount of analysis that they perform in order to assist with debugging. this paper presents udb, a source-level debugger for the unicon programming language with a novel architecture and capabilities. udb combines classical debugging techniques such as those found in gdb with a growing set of automatic debugging extensions. udb tests the hypotheses that a debugger built on top of a high-level framework enables better debugging capabilities as well as easier and more efficient extension than ordinary debuggers.
building a self-healing embedded system in a multi-os environment. in this paper we describe our approach to improve dependability of a commodity os for embedded systems. usually it is too difficult for end-users to resolve the problem inside a single os, especially for embedded systems. we propose a self-healing mechanism for linux kernel to improve the system dependability without any operations by administrators. this paper presents our white box approach for monitoring and recovering linux kernel. key components are a system monitor and a virtual machine monitor. the system monitor is used to detect the inconsistency of data structures inside linux kernel. the virtual machine monitor provides a multi-os environment and it isolates the system monitor from linux kernel. in a multi-os environment, the system monitor is able to resolve failures inside linux kernel without stopping crucial services running on another os. we have developed a prototype for an embedded system to verify our approach. the experiment results show that our system can remove hidden processes and reload buggy kernel modules. the performance evaluation results show that our self-healing mechanism can be used even when linux kernel is heavily-loaded and the overhead of the system monitor is vanishingly small in actual use.
an optimistic technique for transactions control using rest architectural style. soa is a service oriented architecture that allows development of software with interoperability and weak coupling. nowadays ws-* is the most used soap-based specification set for constructing web services. rest is an architectural style that permits the development of services in a simpler way and obeys the soa's paradigm, however, it does not provide standardized support to address some nonfunctional requirements of services, for instance, security, reliability, transaction control. this article proposes a technique, based on rest, to support the web services transactional control implementation. the technique uses the optimistic method to control distributed systems transactions. an example of application was implemented to show its feasibility.
an implementation substrate for languages composing modularized crosscutting concerns. we present the implementation of several programming languages with support for multi-dimensional separation of concerns (mdsoc) on top of a common delegation-based substrate, which is a prototype for a dedicated mdsoc virtual machine. the supported mdsoc language constructs range from aspects, pointcuts and advice to dynamically scoped and activated layers. the presented language implementations show that the abstractions offered by the substrate are a viable target for high-level language compilers.
applying semantic web technology to feature modeling. feature models are models used to capture differences and commonalities between software features, enabling the representation of variability within software. there are many variations of feature models and different notations are often used to represent the same information. currently support for validating or integrating feature models is missing. in this paper, we provide an ontology framework for feature modeling which consists of an ontology that formally provides a specification for feature models. in addition, we provide means to integrate segmented feature models and provide a rule based model consistency check and conflict detection. we use swrl rules to implement the rules and a dl reasoner to evaluate the rules and infer extra interesting information regarding the variability of the software.
hivsetsubtype: software for subtype classification of hiv-1 sequences. an automated web based tool for assigning hiv-1 pure and recombinant subtypes within unaligned sequences is presented. the system combines the blast search algorithm and the recombination identification program for genetic subtyping of hiv-1. the software was validated through combined analysis of simulated and other hiv-1 real data.
architecture-driven requirements engineering. this paper discusses the impact of the enterprise architecture paradigm on requirements engineering. these ideas have been refined and validated during a case study performed at a large dutch insurance provider. an account of the preliminary results from this case study is also included.
simulating business processes with epml.sim. business process simulation (bps) is widely acknowledged as an effective technique to increase the chance for success of business process (re-)engineering projects and, in general, to drive strategic business decisions. business processes are complex entities resulting from the coordination of several users and software systems, potentially spanning across different organizations. simulating a business process is then not just about modeling the structure of the process but also its logic (the decisions that have to be taken during a process), the structure of the interested organization(s) and the environment the process operates in. most of the existing bps tools, however, assume rather simple models which can turn out to be a limiting factor when they do not fit the real world business process that has to be simulated. in this paper we present a tool that can be used to simulate business processes with complex structure and logic and eases the interaction with complex organizational and environment models, addressing the limitations of the existing simulation tools.
celling shim: compiling deterministic concurrency to a heterogeneous multicore. parallel architectures are the way of the future, but are notoriously difficult to program. in addition to the low-level constructs they often present (e.g., locks, dma, and non-sequential memory models), most parallel programming environments admit data races: the environment may make nondeterministic scheduling choices that can change the function of the program. we believe the solution is model-based design, where the programmer is presented with a constrained higher-level language that prevents certain unwanted behavior. in this paper, we describe a compiler for the shim scheduling-independent concurrent language that generates code for the cell broadband heterogeneous multicore processor. the complexity of the code our compiler generates relative to the source illustrates how difficult it is to manually write code for the cell. we demonstrate the efficacy of our compiler on two examples. while the shim language is (by design) not ideal for every algorithm, it works well for certain applications and simplifies the parallel programming process, especially on the cell architecture.
uncertainty apportionment for air quality forecast models. effective environmental protection policy making depends on comprehensive and accurate air quality model (aqm) prediction results. the confidence level associated with the model prediction, as well as the uncertainty sources that contribute to the prediction uncertainty are important information that should not be neglected when interpreting simulation results. in this work, we explore the capability of the polynomial chaos (pc) method for uncertainty quantification (uq) and propose a uncertainty apportionment (ua) approach that can be easily applied to any forecast models. the numerical tests on the stem (sulfur transport eulerian model) for the northeast region of the united states provide a categorization for the major uncertainty sources that contribute to the uncertainty in the ozone concentration prediction. this information can be used to guide the optimal investment decisions as to which input measurement accuracy should be improved to make the maximum impact on reducing the uncertainty in the prediction result.
semi-supervised co-training and active learning based approach for multi-view intrusion detection. although there is immense data available from networks and hosts, a very small proportion of this data is labeled due to the cost of obtaining expert labels. this proves to be a significant bottle-neck for developing supervised intrusion detection systems that rely solely on labeled data. in spite of the data being collected from real network environments and hence potentially holding valuable information for intrusion detection, such systems can not exploit the remaining unlabeled data. in this work, we intelligently leverage both labeled and unlabeled data. also, intrusion detection tasks naturally lend themselves into a multi-view scenario, and can benefit significantly if these multiple views are combined meaningfully. in this paper, we propose a co-training method framework for intrusion detection, which is a semi-supervised learning method and can not only utilize unlabeled data, but can also combine multi-view data. we also employ an active learning framework where statistically ambiguous parts of the unlabeled data are identified, which can then be labeled by an expert. this allows for minimal expert labeling while ensuring that the labels obtained from the expert are most informative. in our experiments, we demonstrate that leveraging the unlabeled data using our proposed method significantly reduces the error rate as compared to using the labeled data alone. in addition, our proposed multi-view method has a lower error rate than using a single view.
impact of nvram write cache for file system metadata on i/o performance in embedded systems. file systems make use of part of dram as the buffer cache to enhance its performance in traditional systems. in this paper, we consider the use of non-volatile ram (nvram) as a write cache for metadata of the file system in embedded systems. nvram is a state-of-the-art memory that provides characteristics of both non-volatility and random byte addressability. by making nvram a write cache for dirty metadata, we retain the same integrity of a file system that always synchronously writes its metadata to storage, while at the same time improving file system performance to the level of a file system that always writes asynchronously. to show quantitative results, we develop an embedded board with nvram and modify the vfat file system provided in linux 2.6.21 to accommodate the nvram write cache. the experimental results show that substantial reductions in execution time are possible from an application viewpoint. another consequence of the write cache is its benefits at the ftl layer, leading to improved wear leveling of flash memory and increased energy savings, which are important measures in embedded systems.
applying test-driven code search to the reuse of auxiliary functionality. software developers spend considerable effort implementing auxiliary functionality used by the main features of a system (e.g. compressing/decompressing files, encryption/decription of data, scaling/rotating images). with the increasing amount of open source code available on the internet, time and effort can be saved by reusing these utilities through informal practices of code search and reuse. however, when this type of reuse is performed in an ad hoc manner, it can be tedious and error-prone: code results have to be manually inspected and extracted into the workspace. in this paper we introduce the use of test cases as an interface for automating code search and reuse and evaluate its applicability and performance in the reuse of auxiliary functionality. we call our approach test-driven code search (tdcs). test cases serve two purposes: (1) they define the behavior of the desired functionality to be searched; and (2) they test the matching results for suitability in the local context. we present codegenie, an eclipse plugin that performs tdcs using a code search engine called sourcerer. our evaluation presents evidence of the applicability and good performance of tdcs in the reuse of auxiliary functionality.
bayesian bot detection based on dns traffic similarity. bots often are detected by their communication with a command and control (c&c) infrastructure. to evade detection, botmasters are increasingly obfuscating c&c communications, e.g., by using fastflux or peer-to-peer protocols. however, commands tend to elicit similar actions in bots of a same botnet. we propose and evaluate a bayesian approach for detecting bots based on the similarity of their dns traffic to that of known bots. experimental results and sensitivity analysis suggest that the proposed method is effective and robust.