Computer and information sciences topic list of research papers
-
Sorting Algorithms in MOQA
Abstract A high-level overview of the MOQA language is presented. The representation of its data structure, a labeled series-parallel partial order, is shown along with some of the functions allowed upon this data structure. The combination of...
2009 / Jacinta Townley, Joseph Manning, Michel Schellekens -
Soft Output Decoding Algorithm for Turbo Codes Implementation in Mobile Wi-Max Environment
Abstract In the area of wireless communication system, researchers are concentrating on powerful forward error correction (FEC) coding techniques. A literature survey has shown that in the field of mobile Wi-Max environment Turbo code provides a...
2012 / Jagdish D. Kene, Kishor D. Kulat -
Preface2009 / Filippo Bonchi, Davide Grohmann, Paola Spoletini, Angelo Troina, Emilio Tuosto
-
Multifacility ordered median problems on networks: A further analysis2003 / J�rg Kalcsics, Stefan Nickel, Justo Puerto
-
Modeling Web Applications by the Multiple Levels of Integrity Policy
Abstract We propose a formal method to validate the reliability of a web application, by modeling interactions among its constituent objects. Modeling exploits the recent “Multiple Levels of Integrity” mechanism which allows objects with dynamically ...
2006 / G. Amato, M. Coppola, S. Gnesi, F. Scozzari, L. Semini -
Harvesting and analysis of weak signals for detecting lone wolf terrorists2013 / Joel Brynielsson, Andreas Horndahl, Fredrik Johansson, Lisa Kaati, Christian Mårtenson, et al.
-
Categorifying Computations into Components via Arrows as Profunctors
Abstract The notion of arrow by Hughes is an axiomatization of the algebraic structure possessed by structured computations in general. We claim that an arrow also serves as a basic component calculus for composing state-based systems as...
2010 / Kazuyuki Asada, Ichiro Hasuo -
Formal Verification of Timed Systems Using Cones and Foci
Abstract The cones and foci verification method from Groote and Springintveld [J.F. Groote and J. Springintveld. Focus points and convergent process operators. A proof strategy for protocol verification. Journal of Logic and Algebraic Programming,...
2005 / Wan Fokkink, Jun Pang -
A Logic for Application Level QoS
Abstract Service Oriented Computing (SOC) has been proposed as a paradigm to describe computations of applications on wide area distributed systems. Awareness of Quality of Service (QoS) is emerging as a new exigency in both...
2006 / Dan Hirsch, Alberto Lluch-Lafuente, Emilio Tuosto -
BAT2XML: XML-based Java Bytecode Representation
Abstract The creation, transformation and analysis of bytecode is widespread. Nevertheless, several problems related to the reusability and comprehensibility of the results and tools exist. In particular, the results of tools for bytecode analysis...
2005 / Michael Eichberg -
Compositional CSP Traces Refinement Checking
Abstract Compositional verification using assume-guarantee reasoning has recently seen an uprise due to the introduction of automatic techniques for learning assumptions. In this paper, we transfer this technique to a setting with CSP as modelling...
2009 / Heike Wehrheim, Daniel Wonisch -
Approximated Reachability on Hybrid Automata: Falsification meets Certification
Abstract Undecidability of the reachability problem is ubiquitous in the context of hybrid automata. Being mostly based on either bounded reachability or on the notion of simulation preorder, current techniques for the approximated reachability...
2008 / K. Bauer, R. Gentilini, K. Schneider -
An Eclipse-based Integrated Environment for Developing Executable Structural Operational Semantics Specifications
Abstract The Structural Operational Semantics Development Tooling (SOSDT) Eclipse Plugin integrates the Relational Meta-Language (RML) compiler and debugger with the Eclipse Integrated Development Environment Framework. SOSDT, together with the RML...
2007 / Adrian Pop, Peter Fritzson -
Certificateless Generalized Signcryption
Abstract Generalized Signcryption is a fresh cryptographic primitive that not only can obtain encryption and signature in a single operation, but also provide encryption or signature model alone when needed. This paper proposed a formal definition...
2012 / Huifang Ji, Wenbao Han, Long Zhao -
An Efficient Dynamic Route Optimization Algorithm for Mobile Ad hoc Networks
Abstract In mobile Ad hoc networks, topology changes caused by mobile nodes may lead to the occurrence of link failure and redundant links. The link failure issue can be solved by insert relay nodes, but the latter question is not settled well. This ...
2012 / Liang Huang, Fubao Wang, Guoqiang Yan, Weijun Duan -
Inter-ring transmission method in mine next generation network transmission layer platform
Abstract The recent discussion on “Digital Mine” (DM) and “Next Generation Network” (NGN) has made them the hot topics in both the research area of mining and communication network. Then the concept of “Mine Next Generation Network” (MNGN) came up....
2009 / Zhang Lin -
Farsi Font Face Recognition in Letter Level
Abstract Most of the presented papers about font recognition, are in block or line level. In this paper a new approach is presented which is able to recognize font of a Farsi document image in letter level. In this approach using the Euclidean...
2012 / Yaghoub Pourasad, Houshang Hassibi, Azam Ghorbani -
Analyzability Quantification Model of Object Oriented Design
Abstract In this paper a significant effort is made to quantify analyzability using object oriented software. Analyzability is the key attribute of maintainability for high quality products. A metric based model for analyzability quantification has...
2012 / Suhel Ahmad Khan, Raees Ahmad Khan -
Secure System Architecture for Wide Area Surveillance Using Security, Trust and Privacy (STP) Framework
Abstract Mobile computing emerged in the market for the past few years to provide solution for various platforms that range from smart phone, tablet, laptop, desktop computer, server to virtual computing systems such as cloud computing. The design...
2012 / Mohd Anuar Mat Isa, Habibah Hashim, Jamalul-lail Ab Manan, Ramlan Mahmod, Mohd Saufy Rohmad, et al. -
Multiple Robots Formation–A Multiobjctive Evolution Approach
Abstract In this paper, we present a new method for multiple robots formation, which means certain geometrical constrains on the relative positions and orientations of the robots throughout their travel. In our method, we apply multiobjective...
2012 / Genci Capi, Zulkifli Mohamed