Computer and information sciences topic list of research papers
-
Performance Analysis of IPv6 QoS for Multimedia Applications Using Real Testbed
Abstract IPv6 is intended to provide better network QoS than IPv4, however, service providers still lacking confidence to claim this. The reason lies in less IPv6 QoS mechanisms, evaluation for several challenging scenarios, i.e. live streaming and...
2014 / Sheneela Naz, Tariq Siraj, Muhammad Sajjad Akbar, Muhammad Yousaf, Amir Qayyum, et al. -
High Performance Computations for Decision Support in Critical Situations: Introduction to the Third Workshop on Urgent Computing
Abstract This paper is the preface to the Third Workshop on Urgent Computing.The Urgent Computing workshops have been traditionally embedded in frame of International Conference of Computational Science (ICCS) since 2012. They are aimed to develop a ...
2014 / Alexander Boukhanovsky, Marian Bubak -
Design of Signal Distortion Measurement System based on TMS320F2808
Abstract TMS320F2808 DSP chip as the core, combined with signal conditioning and keyboard scan peripheral circuits, made up the hardware circuit of the measuring system. As for software,DSP as the main controller, realized the data...
2014 / Xuehui Wang, Minggang Hao, Liang Liu, Gui Liu, Yi Wang -
Text Detection in Born-Digital Images using IT-LBP2014 / Chao Zeng, Wenjing Jia, Xiangjian He, Liming Zhang
-
Typical Functions of e-Textbook, Implementation, and Compatibility Verification with Use of ePub3 Materials
Abstract This paper shows typical functions required on electronic textbooks to be adopted in various countries, trial implementation of these functions, and their verification of representation and behavior in six e-book platforms. First, the...
2013 / Toshiya Nakajima, Shun Shinohara, Yasuhisa Tamura -
Virtual 3D Atlas of a Human Body – Development of an Educational Medical Software Application
Abstract This paper presents a process of building a prototype of an educational application for teaching anatomy with elements of physiology, with use of a Virtual Reality environment. Preparation of mesh models of individual human organs is...
2013 / Adam Hamrol, Filip Górski, Damian Grajewski, Przemysław Zawadzki -
Towards a Semi-automatic Semantic Approach for Satellite Image Analysis
Abstract The extended use of high and very high spatial resolution imagery inherently demands the adoption of classification methods capable of capturing the underlying semantic. Object-oriented classification methods are currently considered the...
2013 / Cecilia di Sciascio, Cecilia Zanni-Merk, Cédric Wemmert, Stella Marc-Zwecker, François de Bertrand de Beuvron -
Quantization in zero leakage helper data schemes2016 / Joep de Groot, Boris Škorić, Niels de Vreede, Jean-Paul Linnartz
-
A Formal Composition and Interaction Model for a Web Component Platform
Abstract A framework for components on the Web needs a formal model that captures essential concepts such as contractual information and service matching. We propose a typed π-calculus-based model for Web components that formalises an extension of...
2004 / Claus Pahl -
The Building of Multimedia Communications Network based on Session Initiation Protocol
Abstract In this paper, we presented a novel design for a distributed multimedia communications network. We introduced the distributed tactic, flow procedure and particular structure. We also analyzed its scalability, stability, robustness,...
2012 / Han Yuexiao, Zhang Yanfu -
ELAN
Abstract ELAN implements computational systems, a concept that combines rewriting logic with the powerful description of rewriting strategies. ELAN can be used either as a logical framework or to describe and execute deterministic as well as...
2004 / Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Marian Vittek -
The Theory of Contexts for First Order and Higher Order Abstract Syntax1 1Research supported by the MURST Project TOSCA.
Abstract We present two case studies in formal reasoning about untyped λ-calculus in Coq, using both first-order and higher-order abstract syntax. In the first case, we prove the equivalence of three definitions of α-equivalence; in the second, we...
2004 / Furio Honsell, Marino Miculan, Ivan Scagnetto -
Petri Nets with Discrete Phase Type Timing
Abstract The addition of timing specification in Petri Nets (PN) has followed two main lines: intervals for functional analysis or stochastic durations for performance and dependability analysis. The present paper proposes a novel technique to...
2004 / Andrea Bobbio, András Horváth -
Compact Normalisation Trace via Lazy Rewriting
Abstract Innermost strategies are usually used in compiling term rewriting systems (TRSs) since they allow to efficiently build result terms in a bottom-up fashion. However, innermost strategies do not always give the shortest normalising...
2004 / Quang-Huy Nguyen -
Comprehension for Coalgebras
Abstract The notion of an endofunctor having “greatest subcoalgebras” is introduced as a form of comprehension. This notion is shown to be instrumental in giving a systematic and abstract proof of the existence of limits for coalgebras—proved...
2004 / Bart Jacobs -
Deriving Event-Based Document Transformers from Tree-Based Specifications
Abstract Structured documents are usually processed by tree-based document transformers, which transform the document tree representing the structure of the input document into another tree structure. Event-based document transformers, by contrast,...
2004 / Keisuke NAKANO, Susumu NISHIMURA -
Usage of a Digital Eco-factory for Green Production Preparation
Abstract This paper proposes green production preparation using a digital eco-factory. When a digital eco-factory is used, green performance is examined in addition to productivity and manufacturability at the same time. A digital eco-factory shows...
2013 / Michiko Matsuda, Fumihiko Kimura -
Axiomatizing a Fragment of PAFAS
Abstract In previous work, we have presented a CCS-like process algebra PAFAS for comparing the efficiency of asynchronous systems. Here, we give a complete axiomatization for a fragment of PAFAS; the advantage of this axiomatization is that it does ...
2005 / Walter Vogler, Lars Jenner -
Refactoring by Transformation
Abstract In this paper we present how refactoring of object-oriented programs can be accomplished by using refinement. Our approach is based on algebraic laws of an object-oriented language for refinement similar to Java. We follow a strategy...
2005 / Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio -
Preface
Abstract This volume of Electronic Notes in Theoretical Computer Science is the proceedings of HOOTS99, the Third International Workshop on Higher Order Operational Techniques in Semantics. HOOTS addresses fundamental principles and important...
2005 / Andrew Gordon, Andrew Pitts