Computer and information sciences topic list of research papers
-
The Methods of Approximation and Lifting in Real Computation
Abstract The basic motivation behind this work is to tie together various computational complexity classes, whether over different domains such as the naturals or the reals, or whether defined in different manners, via function algebras (Real...
2007 / Manuel L. Campagnolo, Kerry Ojakian -
Classical Knowledge for Quantum Security
Abstract We propose a decision procedure for analysing security of quantum cryptographic protocols, combining an algebraic logic rewrite system with an operational semantics for quantum distributed computations. We apply our approach to reasoning...
2011 / Ellie D'Hondt, Mehrnoosh Sadrzadeh -
Verification of Fine-grain Concurrent Programs
Abstract Intel has announced that in future each standard computer chip will contain many processors operating concurrently on the same shared memory; their use of memory is interleaved at the fine granularity of individual memory accesses. The...
2008 / Tony Hoare -
A Type System for the Safe Instantiation of Components
Abstract Component composition can lead to multiple instances of the same component. Some components can have only one instance loaded at a time, for example, when a unique external resource is used. We give an abstract component language and a type ...
2004 / Marc Bezem, Hoang Truong -
Bisimulation equivalence of a BPP and a finite-state system can be decided in polynomial time
Abstract In this paper we consider the problem of deciding bisimulation equivalence of a BPP and a finite-state system. We show that the problem can be solved in polynomial time and we present an algorithm deciding the problem in time ...
2005 / Martin Kot, Zdeněk Sawa -
A Boolean Algebra of Contracts for Assume-guarantee Reasoning
Abstract Contract-based design is an expressive paradigm for a modular and compositional specification of programs. It is in turn becoming a fundamental concept in mainstream industrial computer-aided design tools for embedded system design. In this ...
2010 / Yann Glouche, Paul Le Guernic, Jean-Pierre Talpin, Thierry Gautier -
Abstraction and Probabilities for Hybrid Logics
Abstract We suggest and develop mathematical foundations for quantitative versions of hybrid logics by means of two related themes: a relational abstraction technique for hybrid computation tree logic and hybrid Kripke structures as an extension of...
2005 / Michael Huth -
Automatic Generation of Adaptation Contracts
Abstract Software development based on the composition of black-box software like Web Services and Software Components is impeded by incompatibilities in their interfaces. Software adaptation has emerged as a solution to these incompatibilities by...
2009 / José Antonio Martín, Ernesto Pimentel -
Singular Coverings and Non-Uniform Notions of Closed Set Computability
Abstract The empty set of course contains no computable point. On the other hand, surprising results due to Zaslavskiĭ, Tseĭtin, Kreisel, and Lacombe have asserted the existence of non-empty co-r.e. closed sets devoid of computable points: sets...
2008 / Stéphane Le Roux, Martin Ziegler -
The York Abstract Machine
Abstract We introduce the York Abstract Machine (YAM) for implementing the graph programming language GP and, potentially, other graph transformation languages. The advantages of an abstract machine over a direct interpreter for graph transformation ...
2008 / Greg Manning, Detlef Plump -
Quantitative Notions of Leakage for One-try Attacks
Abstract Recent research in quantitative theories for information-hiding topics, such as Anonymity and Secure Information Flow, tend to converge towards the idea of modeling the system as a noisy channel in the information-theoretic sense. The...
2009 / Christelle Braun, Konstantinos Chatzikokolakis, Catuscia Palamidessi -
Contract Performing Scenario Based Services Collaborative Self-evolution Model
Abstract Self-organized service chain formed by service agent can’t complete the scheduled collaborative target because of exceptions of service provider. This paper presents a service chain evolution model based on collaborative state. In the...
2012 / Denghui Zhang, Ji Gao, Bin Xie -
ER-Track: A Wireless Device for Tracking and Monitoring Emergency Responders
Abstract In this paper we present a wireless wearable body area system for locating, tracking and monitoring emergency responders in harsh and remote environments. Tracking an emergency responder and monitoring their vital signs using various...
2012 / Abishek Thekkeyil Kunnath, Preeja Pradeep, Maneesha Vinodini Ramesh -
A Survey on DoS Attacks and Detection Schemes in Wireless Mesh Networks
Abstract A Wireless mesh network is a dynamically self-organized, self-configured, multi-hop wireless network. The WMNs provides wireless services for a variety of applications in personal, local, campus and metropolitan areas. The important...
2012 / Sanam E. Anto, S. Seetha, Robin K. Kuriakose -
An Efficient Forward Error Correction Scheme for Wireless Sensor Network
Abstract The two basic methods to recover erroneous packets in any network are Automatic Repeat Request (ARQ), and Forward Error Correction (FEC). The life time of any wireless sensor network depends directly on the efficient use of its power...
2012 / M.P. Singh, Prabhat Kumar -
Optimization of the Research of an Unknown Object in an Unknown Environment
Abstract This article addresses the problem of the research of an unknown object in an unknown environment using visual servoing. The system is camera-in-hand system mounted directly on the robot manipulator, and a camera-fired system fixed on the...
2012 / Farhat Mariem, M’hiri Slim, Tagina Moncef -
Differential Evolution Based Optimization of SVM Parameters for Meta Classifier Design
Abstract In this paper, we have devised a meta classifier model by simultaneously optimizing different evaluation criteria of classifier performance. For this purpose, a support vector machine (SVM) is used as the underlying classifier and its ernel ...
2012 / Tapas Bhadra, Sanghamitra Bandyopadhyay, Ujjwal Maulik -
Smart Applications of Context Services using Automatic Adaptive Module and Making users Profiles
Abstract Context-awareness is becoming an essential feature of services in smart environments in which various computing and sensing devices and position technologies are involved. Location, the most essential part of contextual information, is...
2012 / Neeraj Garg, J.S. Lather, S.K. Dhurandher -
New Database Architecture for Smart Query Handler of Spatial Database
Abstract A spatial database system is a database system with additional capabilities for handling spatial data. It also supports spatial data types in its implementation, providing spatial indexing and efficient algorithms for spatial join. The...
2012 / Parthasarathi Boyal, Rituparna Chaki -
Programmable Rewriting Strategies in Haskell
Abstract Programmable rewriting strategies provide a valuable tool for implementing traversal functionality in grammar-driven (or schema-driven) tools. The working Haskell programmer has access to programmable rewriting strategies via two similar...
2005 / Ralf Lämmel