Computer and information sciences topic list of research papers
-
Preface
Abstract Introduction Algorithmic MeThods and Models for Optimization of RailwayS - ATMOS 2001 This part of the volume contains the papers accepted for presentation, as well as the extended or short abstracts of...
2005 / Christos Zaroliagis -
Controlling Rewriting: study and implementation of a strategy formalism (Abstract)
Abstract This paper summarizes my PhD thesis devoted to an introduction of a new strategy formalism for the first-order rewrite system, called ELAN. Goals of my PhD thesis are proposing and studying different constructions expressing the control of...
2005 / Peter Borovanský -
Alternating Context-Free Languages and Linear Time μ-Calculus with Sequential Composition
Abstract This paper shows that linear time μ-calculus with sequential composition defines exactly those properties that are expressible with alternating context-free grammars for ω-words. This helps to understand the expressive power of modal...
2005 / Martin Lange -
Foreword
Abstract One of the main research objectives of computer science is the development of formal methods for the design and implementation of concurrent programming languages. A most prominent feature of this research area is the proliferation of...
2005 / Catuscia Palamidessi, Joachim Parrow -
Ad hoc networking, markov random fields, and decision making2006 / L.E. Doyle, A.C. Kokaram, S.J. Doyle, T.K. Forde
-
Discussion of “Analysis of spatio-temporal mobile phone data: a case study in the metropolitan area of Milan” by Piercesare Secchi, Simone Vantini and Valeria Vitelli2015 / Pedro Delicado
-
A type preserving translation of F ickle into Java
Abstract We present a translation from F ickle (a Java-like language allowing objects that can change their class at run-time) into plain Java. The translation, which maps ...
2004 / D. Ancona, C. Anderson, F. Damiani, S. Drossopoulou, P. Giannini, et al. -
Information Flow Security for Boxed Ambients
Abstract We study the problem of secure information flow for Boxed Ambients in terms of non-interference. We develop a sound type system that provides static guarantees of absence of unwanted flow of information for well typed processes....
2004 / Silvia Crafa, Michele Bugliesi, Giuseppe Castagna -
Deadlock Behaviour in Split and ST Bisimulation Semantics
Abstract We investigate split and ST bisimulation semantics, in particular the deadlock behaviour of processes in these semantics. We define and axiomatise a variant of ACP, where atomic actions and durational actions coexist, and define split and...
2004 / J.C.M. Baeten, J.A. Bergstra -
Probabilistic behaviours of reactive agents
Abstract We present a simple logic-based formalisation of the behaviours of agents capable of reacting to changes occurring in the external environment. Logic programming is chosen as the specification language of agents, and a quantitative analysis ...
2004 / Antonio Brogi -
Integration of Sentiment Analysis into Customer Relational Model: The Importance of Feature Ontology and Synonym
Abstract Online business or Electronic Commerce (EC) is getting popular among customers today, as a result large number of product reviews have been posted online by the customers. This information is very valuable not only for prospective customers ...
2014 / Mohd Ridzwan Yaakub, Yuefeng Li, Jinglan Zhang -
Incorporating Formal Techniques into Industrial Practice: an Experience Report
Abstract We report about experiences at Philips Healthcare with component-based development supported by formal techniques. The formal Analytical Software Design (ASD) approach of the company Verum has been incorporated into the industrial workflow. ...
2013 / Ammar Osaiweran, Mathijs Schuts, Jozef Hooman, Jacco Wesselius -
Computational Cost Analysis on Securing RFID Protocols Conforming to EPC Class-1 Generation-2 Standard
Abstract A Radio Frequency Identification (RFID) system is a contactless automatic identification system that uses small and low-cost tags. RFID systems communicate with the tags attached to the objects using radio frequency waves. The major problem ...
2014 / Azam Zavvari, Masoud Shakiba, Mohammad Tariqul Islam, Elankovan Sundararajan, Mandeep Jit Singh -
Learning Binary Tree Algorithm Using 3-D Visualization: An Early Results
Abstract Computer technologies have the ability to transmit theoretical and conceptual processes for greater understanding of the education environment. Todays’ computer animated instruction not only popular for getting an interactive education...
2013 / Mohd Zulhisam, Riaza Riaza -
Evaluation of Educational Authoring Tools for Teachers Stressing of Perceived Usability Features
Abstract In this study, perceived usability of educational authoring tools was analyzed with participants who have different subject matter expertise and content development experience. The analyzed authoring tools were Microsoft LCDS, Course Lab...
2014 / Funda Dağ, Levent Durdu, Serpil Gerdan -
Lexical Statistics and Tipological Structures: A Measure of Lexical Richness
Abstract For some time now research has been carried out in the field of lexicometry into the statistical indices that enable lexical richness to be evaluated. The main problem lies in the fact that there should be no influence at all in the results ...
2013 / Joan Torruella, Ramon Capsada -
System of Systems Acquisition Trade-offs
Abstract During System of Systems acquisition, organisations aim to satisfy their goals through the procurement of systems, people, training and processes. The most successful organisations undertake these acquisitions as efficiently as possible....
2014 / Frank R. Burton, Richard F. Paige, Simon Poulding, Simon Smith -
J-Calc: A Typed Lambda Calculus for Intuitionistic Justification Logic
Abstract In this paper we offer a system J-Calc that can be regarded as a typed λ-calculus for the { → , ⊥ } fragment of Intuitionistic Justification Logic. ...
2014 / Konstantinos Pouliasis, Giuseppe Primiero -
An Improved Parallel Prefix Computation on 2D-Mesh Network
Abstract Parallel prefix is an important technique that has been widely accepted in many area of scientific and engineering research. In this paper we propose an improved parallel prefix computation algorithm on n × n mesh network that requires 2n + ...
2014 / Sudhanshu Kumar Jha -
Knowledge Discovery in Databases: A Query-Guided Approach
Abstract The paper identifies a novel approach to mine knowledge from data, where answers returned to queries issued by a user are used to guide supervised knowledge discovery in data. This approach differs from previous, unsupervised approaches...
2013 / Saud S. Al-Mathami