Computer and information sciences topic list of research papers
-
Preface2008 / Jürgen Giesl
-
Fundamental Nano-Patterns to Characterize and Classify Java Methods
Abstract Fundamental nano-patterns are simple, static, binary properties of Java methods, such as ObjectCreator and Recursive. We present a provisional catalogue of 17 such nano-patterns. We report statistical and information theoretic metrics to...
2010 / Jeremy Singer, Gavin Brown, Mikel Luján, Adam Pocock, Paraskevas Yiapanis -
A Framework for Modelling and Simulating Networks of Cells
Abstract Several complex biological phenomena are to be modelled in terms of a large and dynamic network of compartments, where the interplay between inter-compartment and intra-compartment events plays an essential role. Key examples are...
2010 / Sara Montagna, Mirko Viroli -
A Compositional Natural Semantics and Hoare Logic for Low-Level Languages
Abstract The advent of proof-carrying code has generated significant interest in reasoning about low-level languages. It is widely believed that low-level languages with jumps must be difficult to reason about by being inherently non-modular. We...
2006 / Ando Saabas, Tarmo Uustalu -
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings
Abstract We introduce special pseudo-models for the interval logic of proper subintervals over dense linear orderings. We prove finite model property with respect to such pseudo-models, and using that result we develop a decision procedure based on...
2009 / Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala -
Preface2006 / Djamal Benslimane, Chirine Ghedira, Zakaria Maamar
-
Improvement of a Result on Sequencing Elementary Cellular Automata Rules for Solving the Parity Problem
Abstract The understanding of how simple predefined computations can be achieved with cellular automata, either through individual rules, or with rules organised in spatial arrangements or in temporal sequences is a key conceptual underpinning in...
2009 / Claudio L.M. Martins, Pedro P.B. de Oliveira -
Preventing Timing Leaks Through Transactional Branching Instructions
Abstract Timing channels constitute one form of covert channels through which programs may be leaking information about the confidential data they manipulate. Such timing channels are typically eliminated by design, employing ad-hoc techniques to...
2006 / Gilles Barthe, Tamara Rezk, Martijn Warnier -
Synthesising Efficient and Effective Security Protocols
Abstract The logical correctness of security protocols is important. So are efficiency and cost. This paper shows that meta-heuristic search techniques can be used to synthesise protocols that are both provably correct and satisfy various...
2005 / Chen Hao, John A. Clark, Jeremy L. Jacob -
Towards a Quantitative Analysis of Security Protocols
Abstract This paper contributes to further closing the gap between formal analysis and concrete implementations of security protocols by introducing a quantitative extension of the usual Dolev-Yao intruder model. This extended model provides a basis ...
2006 / Pedro Adão, Paulo Mateus, Tiago Reis, Luca Viganò -
Modeling and Model Checking Web Services
Abstract We give an overview on web services and the web service technology stack. We then show how to build Petri net models of web services formulated in the specification language BPEL4WS. We define an abstract correctness criterion for these...
2005 / Holger Schlingloff, Axel Martens, Karsten Schmidt -
Language Parametric Module Management for IDEs
Abstract An integrated development environment (IDE) monitors all the changes that a user makes to source code modules and responds accordingly by flagging errors, by reparsing, by rechecking, or by recompiling modules and by adjusting...
2008 / P. Klint, A.T. Kooiker, J.J. Vinju -
A Duality Theorem for Quantitative Semantics
Abstract This paper mainly studies quantitative possibility theory in the framework of domain. Using Sugeno's integral and the notion of module a duality theorem is obtained between the extended possibilistic powerdomain over a continuous domain X...
2009 / Hengyang Wu, Yixiang Chen -
Algebraic Semantics for Coalgebraic Logics
Abstract With coalgebras usually being defined in terms of an endofunctor T on sets, this paper shows that modal logics for T-coalgebras can be naturally described as functors L on boolean algebras. Building on this idea, we study soundness,...
2004 / Clemens Kupke, Alexander Kurz, Dirk Pattinson -
Architectural Unit Testing
Abstract A formal testing methodology is outlined in this paper, that proves applicable to validation of architectural units in object-oriented models, and its use is illustrated in the context of the design of a robot teleoperation architecture....
2005 / Giuseppe Scollo, Silvia Zecchini -
Preface2007 / Myla Archer, Thierry Boy de la Tour, César Muñoz
-
Partial Order Reduction for Rewriting Semantics of Programming Languages
Abstract Software model checkers are typically language-specific, require substantial development efforts, and are hard to reuse for other languages. Adding partial order reduction (POR) capabilities to such tools typically requires sophisticated...
2007 / Azadeh Farzan, José Meseguer -
eTiPs: A Rule-based Team Performance Prediction Model Prototype
Abstract Understanding human potentials in teams are crucial because having the right people in a team can impact team performance. However, to date, there is no consensus on the right composition of team members because team dynamism and its...
2012 / Mazni Omar, Sharifah-Lailee Syed-Abdullah, Naimah Mohd Hussin -
Sensor Fusion for Tool State Classification in Nickel Superalloy High Performance Cutting
Abstract A multiple sensor monitoring system, endowed with cutting force, acoustic emission and vibration sensing units, was employed for tool state classification in turning of Inconel 718. A sensor fusion signal processing paradigm based on the...
2012 / Tiziana Segreto, Alessandro Simeone, Roberto Teti -
Secure Collision-Free Frequency Hopping for OFDMA-Based Wireless Networks2009 / Leonard Lightfoot, Lei Zhang, Jian Ren, Tongtong Li