Computer and information sciences topic list of research papers
-
The STSLib Project: Towards a Formal Component Model Based on STS
Abstract We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that our components are equipped with a protocol description,...
2008 / Fabricio Fernandes, Jean-Claude Royer -
Declaring Numbers
Abstract Most implementations of functional and functional logic languages treat numbers and the basic numeric operations as external entities. The main reason for this is efficiency. However, this basic design decision has many unfortunate...
2008 / Bernd Braßel, Sebastian Fischer, Frank Huch -
Preface2011 / Edward Hermann Haeusler, Luis Farinas del Cerro
-
Distribution, Approximation and Probabilistic Model Checking
Abstract APMC is a model checker dedicated to the quantitative verification of fully probabilistic systems against LTL formulas. Using a Monte-Carlo method in order to efficiently approximate the verification of probabilistic specifications, it...
2006 / Guillaume Guirado, Thomas Herault, Richard Lassaigne, Sylvain Peyronnet -
Preface2009 / Elvira Albert, Samir Genaim
-
Testing for the Conformance of Real-time Protocols Implemented by Operating Systems
Abstract The priority inversion problem arises when prioritized processes concurrently attempt to enter critical sections. This phenomenon results in extremely pessimistic estimations of worst case response times for real-time processes. Various...
2005 / Dieter Zöbel, David Polock, Andreas van Arkel -
Continuous-Time Probabilistic KLAIM2005 / Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
-
PVS#: Streamlined Tacticals for PVS
Abstract The semantics of a proof language relies on the representation of the state of a proof after a logical rule has been applied. This information, which is usually meaningless from a logical point of view, is fundamental to describe the...
2007 / Florent Kirchner, César Muñoz -
Incremental Verification for On-the-Fly Controller Synthesis
Abstract The CIRCA system automatically synthesizes hard real-time discrete event controllers from plant and environment descriptions. CIRCA's automatically-synthesized controllers provide guaranteed real-time performance and safety preservation in...
2006 / David J. Musliner, Michael J.S. Pelican, Robert P. Goldman -
The Monitoring System for the Wind Power Generation Based on the Wireless Sensor Network
Abstract Aim at meeting the requirements of the wind power generation monitoring system, this thesis describes a system which builds up a wireless, real-time, multi-object remote monitoring system of the wind power generation. The hardware part of...
2012 / Wu Chunming, Cheng Liang -
Performance Testing on GOOSE and MSV Transmission in One Network
Abstract lEC 61850 “Communication networks and systems in substation” is not only the most advanced and universal standard for communication but also a comprehensive system oriented standard for substation automation system (SAS). This paper...
2011 / Jing Li, Qi Huang, Feng-kai Hu, Shi Jing -
Parallel Algorithms for Network Routing Problems and Recurrences2005 / John A. Wisniewski, Ahmed H. Sameh
-
Adaptive fractal image compression using PSO
Abstract At low bitrate and with acceptable quality in Fractal Image Compression (FIC) of the coded image, the encoding time is very large for most existing algorithms. In this paper, a fast fractal encoding system is proposed using particle swarm...
2010 / A. Muruganandham, R.S.D. Wahida Banu -
ADIC2: Development of a component source transformation system for differentiating C and C++
Abstract We present a new tool, ADIC2, for automatic differentiation (AD) of C and C++ code through source-to-source transformation. ADIC2 is the successor of the ADIC differentiation tool, which supports forward mode AD of C and a small subset of...
2010 / Sri Hari Krishna Narayanan, Boyana Norris, Beata Winnicka -
An Effective chaos-based image watermarking scheme using fractal coding
Abstract The image watermarking technology is a technique of embedding hidden data in an original image. In this paper, a new watermarking method for embedding watermark bits based on Chaos-Fractal Coding is given. A chaotic signal is defined as...
2011 / MohammadReza Keyvanpour, Farnoosh Merrikh-Bayat -
Bitopological rough approximations with medical applications
Abstract In this paper, we introduce new generalizations concepts of lower and upper approximations of Pawlak rough sets by using two topological structures (bitopologies). Also, we study the concept of the generalized topological rough set and some ...
2010 / A.S. Salama -
Optimization and Refinement of XML Schema Inference Approaches
Abstract XML is a widely used technology. Although in most real life applications XML data is required to conform to particular schemas, the majority of real-world XML documents does not contain any explicit declaration. To fill the gap, the research ...
2012 / Michal Klempa, Jakub Stárka, Irena Mlynková -
The road to intelligence
Abstract It is argued that robotic platforms are the way forward towards building intelligent systems, where multiple sensors and manipulation are used for cognitive processes. It is also argued that the cue for developing the right architecture for ...
2012 / Maria Petrou -
Testing XML constraint satisfiability
Abstract In a previous paper, we have showed that Hybrid Modal Logic can be successfully used to model semistructured data and provides a simple and well suited formalism for capturing “well typed” references and of course a powerful language for...
2007 / Nicole Bidoit, Dario Colazzo -
Enhancing Test Coverage by Back-tracing Model-checker Counterexamples
Abstract The automatic detection of unreachable coverage goals and generation of tests for "corner-case" scenarios is crucial to make testing and simulation based verification more effective. In this paper we address the problem of coverability...
2005 / A. Fantechi, S. Gnesi, A. Maggiore