Computer and information sciences topic list of research papers
-
From Coalition Logic to STIT
Abstract STIT is a logic of agency that has been proposed in the nineties in the domain of philosophy of action. It is the logic of constructions of the form “agent a sees to it that φ”. We believe that STIT theory may contribute to the logical...
2006 / Jan Broersen, Andreas Herzig, Nicolas Troquard -
External Control in Process Algebra for Systems Biology
Abstract A critical aspect in the modeling of biological systems is the description view point. On the one hand, the Stochastic π-calculus formalism provides an intuitive and compact representation from an internal perspective. On the other hand,...
2009 / Filippo Del Tedesco, Carla Piazza -
Distributed Backup through Information Dispersal
Abstract The formal aspects underlying a novel distributed backup service are discussed. Strength and originality of the service lie in the combined adoption of an established information dispersal algorithm with a simplified version of an existing...
2005 / Giampaolo Bella, Costantino Pistagna, Salvatore Riccobene -
Augur 2 — A New Version of a Tool for the Analysis of Graph Transformation Systems
Abstract We describe the design and the present state of the verification tool Augur 2 which is currently being developed. It is based on Augur 1, a tool which can analyze graph transformation systems by approximating them by Petri nets. The main...
2008 / Barbara König, Vitali Kozioura -
Using Aspect-orientation Techniques to Improve Reuse of Metamodels
Abstract Metamodelling is an activity that attracts attention of the research community dealing with the Model-Driven Development (MDD). To be reusable in different MDD approaches a metamodel should be unaware of being extended by another metamodel. ...
2007 / A.M. Reina Quintero, J. Torres Valderrama -
Store Atomicity for Transactional Memory
Abstract We extend the notion of Store Atomicity [Arvind and Jan-Willem Maessen. Memory model = instruction reordering + store atomicity. In ISCA '06: Proceedings of the 33rd annual International Symposium on Computer Architecture, 2006] to a system ...
2007 / Jan-Willem Maessen, Arvind -
Automated Verification of Completeness and Consistency of Abstract State Machine Specifications using a SAT Solver
Abstract In the requirements engineering community, consistency and completeness have been identified as important properties of system specifications. Custom algorithms to verify these properties automatically have been devised for a number of...
2007 / Martin Ouimet, Kristina Lundqvist -
Grammar Engineering Support for Precedence Rule Recovery and Compatibility Checking
Abstract A wide range of parser generators are used to generate parsers for programming languages. The grammar formalisms that come with parser generators provide different approaches for defining operator precedence. Some generators (e.g. YACC)...
2008 / Eric Bouwers, Martin Bravenboer, Eelco Visser -
Trusted Directory Services for Secure Internet Connectivity
Abstract The Internet today is a highly dynamic environment which frequently requires secure communication between peers that do not have a direct trust relationship. Current solutions for establishing trust often require static and...
2008 / J.F. Zandbelt, R.J. Hulsebosch, M.S. Bargh, R. Arends -
Assessing the quality of web sites
Abstract This paper reviewed the most recent evaluation criteria methods which were used in different e-business services. Furthermore, it proposes general criteria for evaluating the quality of any website regardless of the type of service that it...
2011 / Layla Hasan, Emad Abuelrub -
Nonlinear Models for Short-time Load Forecasting
Abstract Short Term Load Forecasting (STLF) is essential for planning the day-to-day operation of an electric power system. As this forecasting leads to increased security operation's conditions and economic cost savings, numerous techniques have...
2012 / Philippe Lauret, Mathieu David, Didier Calogine -
A Comparison of Lock-based and Lock-free Taskpool Implementations in Haskell
Abstract Today, synchronization of shared data structures in multithreaded software is mostly implemented using locks, which leads to difficult to understand and error-prone programs. Software Transactional Memory allows lock-free concurrent...
2011 / Michael Lesniak -
Medical image retrieval using modified DCT
Abstract An innovative medical image retrieval is proposed to extract low-level image texture features. These low level texture features were extracted directly using Modified Discrete Cosine Transform (MDCT). MDCT coefficients represent dominant...
2010 / K. Rajakumar, S. Muttan -
An event based formal specification method to diabetic’s behavior monitor system
Abstract Modern medical monitor systems shoulder the responsibility of patients’ surveillance. Such life-critical systems steering by software will put patient’s life in peril if they try in vain to satisfy patient’s requirements. As a prelude to...
2011 / S.M. Babamir, M. Borhani Dehkordi -
Cellular Microscopic Pattern Recogniser – A Distributed Computational Approach for Macroscopic Event Detection in WSN
Abstract A light weight one-shot learning pattern recognition scheme, known as Cellular Microscopic Pattern Recogniser (CMPR) is proposed that will lead to macroscopic event detection with wireless sensor networks (WSN). The scheme simplifies...
2011 / Waleed M. Alfehaid, Asad I. Khan -
DynaSched: a dynamic Web service scheduling and deployment framework for data-intensive Grid workflows
Abstract Grid computing boosts productivity by maximizing resource utilization and simplifying access to resources which are shared among virtual organizations. Recently, the Grid and Web Service communities have established a set of common...
2010 / Shayan Shahand, Stephen J. Turner, Wentong Cai, Maryam Khademi H. -
Object construction and destruction design patterns in Fortran 2003
Abstract This paper presents object-oriented design patterns in the context of object construction and destruction. The examples leverage the newly supported object-oriented features of Fortran 2003. We describe from the client perspective two...
2010 / Damian W.I. Rouson, Jim Xia, Xiaofeng Xu -
Surface Area Distribution Descriptor for object matching
Abstract Matching 3D objects by their similarity is a fundamental problem in computer vision, computer graphics and many other fields. The main challenge in object matching is to find a suitable shape representation that can be used to accurately...
2010 / Mohamed F. Gafar, Elsayed E. Hemayed -
On asymptotic properties of Laguerre–Sobolev type orthogonal polynomials
Abstract In this paper, we consider the asymptotic behavior of the sequence of monic polynomials orthogonal with respect to the Sobolev inner product ...
2013 / Luis Alejandro Molano Molano -
A Critical Study of Three Textbooks for Teaching Arabic to Non-native Speakers
Abstract Teaching Arabic to speakers of other languages has become a wide field that attracts students from all over the world. Many books have appeared recently for this purpose. These books vary in terms of their curricula and methods of...
2014 / Basma Ahmad Sedki Dajani, Fatima Mohammad Amin Omari