Computer and information sciences topic list of research papers
-
A Virtual Machine for Supporting Reversible Probabilistic Guarded Command Languages
Abstract We describe a reversible stack based virtual machine designed as an execution platform for a sequential programming language used in a formal development environment. We revoke Dijkstra's “law of the excluded miracle” to obtain a formal...
2010 / Bill Stoddart, Robert Lynas, Frank Zeyda -
A Duality in Proof Systems for Recursive Type Equality and for Bisimulation Equivalence on Cyclic Term Graphs
Abstract This paper is concerned with a proof-theoretic observation about two kinds of proof systems for regular cyclic objects. It is presented for the case of two formal systems that are complete with respect to the notion of “recursive type...
2007 / Clemens Grabmayer -
Automatic, Model-Based Software Performance Improvement for Component-based Software Designs
Abstract Formal performance prediction methods, based on queueing network models, allow evaluating software architectural designs for performance. Existing methods provide prediction results such as response times and throughputs, but do not guide...
2009 / Anne Martens, Heiko Koziolek -
Membrane Systems with Marked Membranes
Abstract Membrane computing is a biologically inspired computational paradigm. Motivated by brane calculi we investigate membrane systems which differ from conventional membrane systems by the following features: (1) biomolecules (proteins) can move ...
2007 / Robert Brijder, Matteo Cavaliere, Agustín Riscos-Núñez, Grzegorz Rozenberg, Dragoş Sburlan -
Games for Counting Abstractions
Abstract It has been recently shown that monotonicity is not sufficient to obtain decidability results for two-player games. However, positive results can be obtained on restricted subclasses of monotonic two-player games. In this paper, we identify ...
2005 / J.-F. Raskin, M. Samuelides, L. Van Begin -
An Optimized Intruder Model for SAT-based Model-Checking of Security Protocols
Abstract In previous work we showed that automatic SAT-based model-checking techniques based on a reduction of protocol (in)security problems to a sequence of propositional satisfiability problems can be used to effectively find attacks on...
2005 / Alessandro Armando, Luca Compagna -
Deciding Nondeterministic Hierarchy of Deterministic Tree Automata
Abstract We show an algorithm which, for a given deterministic parity automaton on infinite trees, computes the minimal Mostowski (or Rabin) index of a nondeterministic automaton recognizing the same language. This extends a previous result of...
2005 / Damian Niwiński, Igor Walukiewicz -
Exploratory Functions on Nondeterministic Strategies, up to Lower Bisimilarity
Abstract We consider a typed lambda-calculus with no function types, only alternating sum and product types, so that closed terms represent strategies. We add nondeterminism and consider strategies up to lower (i.e. divergence-insensitive)...
2009 / Paul Blain Levy, Kidane Yemane Weldemariam -
Preface2007 / Paqui Lucio, Fernando Orejas
-
Exploiting Target Enlargement and Dynamic Abstraction within Mixed BDD and SAT Invariant Checking
Abstract In this paper, we propose a methodology to make Binary Decision Diagrams (BDDs) and Boolean Satisfiability (SAT) Solvers cooperate. The underlying idea is simple: We start a verification task with BDDs, we go on with them as long as the...
2005 / Gabriel P. Bischoff, Karl S. Brace, G. Cabodi, S. Nocco, S. Quer -
Diagnosing internal illnesses using pervasive healthcare computing and neural networks
Abstract This paper presents a novel distributed pervasive healthcare system for diagnosing internal illnesses using pervasive healthcare computing and artificial neural networks (ANNs) and reporting healthcare results to the patients. Mobile...
2011 / Canan Bayraktar, Oğuz Karan, Halûk Gümüşkaya -
Visualising spins and clusters in regular and small-world Ising models with GPUs
Abstract Visualising computational simulation models of solid state physical systems is a hard problem for dense lattice models. Fly-throughs and cutaways can aid viewer understanding of a simulated system. Interactive time model parameter updates...
2010 / A. Leist, D.P. Playne, K.A. Hawick -
Architectural platform: a social network site for architects
Abstract Social network sites (SNSs) are becoming the platforms where socialization is practiced widely. The users of SNSs like Facebook and Twitter are increasing rapidly. Parallel to the increasing developments of social networking in the world,...
2011 / Özerk Önder, Halûk Gümüşkaya -
Generative topographic mapping by deterministic annealing
Abstract Generative Topographic Mapping (GTM) is an important technique for dimension reduction which has been successfully applied to many fields. However the usual Expectation-Maximization (EM) approach to GTM can easily get stuck in local minima...
2010 / Jong Youl Choi, Judy Qiu, Marlon Pierce, Geoffrey Fox -
Image dewarping and text extraction from mobile captured distinct documents
Abstract Camera Based Document Analysis (CBDA) is an emerging field in computer vision and pattern recognition. In recent days, cameras are moulded with several items of additional equipment. Thus, they play a vital role in the replacement of...
2010 / H.K. Chethan, G. Hemantha Kumar -
Iterative learning control of dynamic memory caching to enhance processing performance on java platform
Abstract In this study, computing system performance enhancement by dynamic memory scheduling has been presented. CPU processing time of the computing systems has been enhanced by classifying the arriving computing jobs on an “intelligent manner”...
2010 / Mutlu Ercan, Tankut Acarman -
Is Scrum and XP suitable for CSE Development?
Abstract This article discusses the question if Scrum and XP is well suited for development of Computational Science and Engineering (CSE) software. The reason for choosing Scrum and XP is based on two facts. Firstly, CSE developers are not used to...
2010 / Martin Blom -
A Theoretical Framework for the Maintainability Model of Aspect Oriented Systems
Abstract Aspect Oriented Software Development is gaining wide attention because of its key feature modularization. Aspect Oriented paradigm supports the separation of concerns that are scattered over the system which helps in achieving modularity....
2015 / (Mrs). Ananthi Sheshasaayee, Mrs. Roby Jose -
COMPARISON AND ENUMERATION OF CHEMICAL GRAPHS
Abstract Chemical compounds are usually represented as graph structured data in computers. In this review article, we overview several graph classes relevant to chemical compounds and the computational complexities of several fundamental problems...
2013 / Tatsuya Akutsu, Hiroshi Nagamochi -
Urban Infrastructure Deployment for Wireless On-Street Parking Sensor Networks
Abstract The deployment strategy of wireless applications in metropolitan areas is essential for their efficiency and functionality. In this paper, we introduce and study a deployment strategy for wireless on-street parking sensor networks. We...
2015 / Trista Lin, Hervé Rivano, Frédéric Le Mouël