Computer and information sciences topic list of research papers
-
What is a Categorical Model of Arrows?
Abstract We investigate what the correct categorical formulation of Hughesʼ Arrows should be. It has long been folklore that Arrows, a functional programming construct, and Freyd categories, a categorical notion due to Power, Robinson and Thielecke, ...
2011 / Robert Atkey -
Abstract Effective Models
Abstract We modify Gurevich's notion of abstract machine so as to encompass computational models, that is, sets of machines that share the same domain. We also add an effectiveness requirement. The resultant class of “Effective Models” includes all...
2006 / Udi Boker, Nachum Dershowitz -
A Tool for Programming with Interaction Nets
Abstract This paper introduces INblobs, a visual tool developed at Minho for integrated development with Interaction Nets. Most of the existing tools take as input interaction nets and interaction rules represented in a textual format. INblobs is...
2008 / José Bacelar Almeida, Jorge Sousa Pinto, Miguel Vilaça -
Towards fully autonomic peer-to-peer systems
Abstract Large-scale distributed applications are becoming more and more demanding in terms of efficiency and flexibility of the technological infrastructure, for which traditional solutions based on the client/server paradigm are not suitable. The...
2010 / Michele Amoretti -
A Generic Goal-Based Certification Argument for the Justification of Formal Analysis
Abstract Formal methods are powerful specification and verification techniques for establishing high confidence in safety-critical systems. However, there are a number of concerns about the use of evidence generated from formal methods, when used in ...
2009 / Ibrahim Habli, Tim Kelly -
Cryptographic Pattern Matching
Abstract We construct a language extension for process calculi for modelling the exchange of cryptographically composed data. More specifically, we devise a succinct syntax for terms and patterns that captures the intention behind perfect...
2007 / Christoffer Rosenkilde Nielsen, Flemming Nielson, Hanne Riis Nielson -
Dynamic Relaying in 3GPP LTE-Advanced Networks2009 / Oumer Teyeb, Vinh Van Phan, Bernhard Raaf, Simone Redana
-
SemRank: ranking refinement strategy by using the semantic intensity
Abstract The ubiquity of the multimedia has raised a need for the system that can store, manage, structured the multimedia data in such a way that it can be retrieved intelligently. One of the current issues in media management or data mining...
2011 / Nida Aslam, Irfan Ullah, Jonathan Loo, Roohullah, Martin Loomes -
Multiscale multiagent architecture validation by virtual instruments in molecular dynamics experiments
Abstract A multiagent architecture is proposed in order to build a physics laboratory in virtual reality. Thermodynamics experiments are used for its validation. Classical numerical resolution of thermodynamics problems comes up against the number...
2010 / Manuel Combes, Benjamin Buin, Marc Parenthoën, Jacques Tisseau -
A new method for job scheduling in a non-dedicated heterogeneous system
Abstract During the last decade, the use of parallel and distributed systems has become more popular. Dividing data is one of the challenges in this type of systems. Divisible Load Theory (DLT) is one of the most popular method for scheduling data...
2011 / Amin Shokripour, Mohamed Othman, Hamidah Ibrahim, Shamala Subramaniam -
Wireless Sensor Network Applications: A Study in Environment Monitoring System
Abstract Development in the technology of sensor such as Micro Electro Mechanical Systems (MEMS), wireless communications, embedded systems, distributed processing and wireless sensor applications have contributed a large transformation in Wireless...
2012 / Mohd Fauzi Othman, Khairunnisa Shazali -
A semi-autonomous mobile robot for education and research
Abstract This paper presents the development, implementation, and testing of a semi-autonomous robotic platform, which may potentially be used for educational and research purposes. Educational purposes include: teaching the student how to design a...
2011 / Waheid Gharieb Ali -
Secure Data Aggregation in Vehicular-Adhoc Networks: A Survey
Abstract Vehicular ad hoc networks (VANETs) are an upcoming technology that is gaining momentum in recent years. That may be the reason that the network attracts more and more attention from both industry and academia. Due to the limited bandwidth...
2012 / Sagarika Mohanty, Debasish Jena -
An Invasive Composition System for Local-to-Global Transformations
Abstract Transformation systems are particularly well suited to implement modular rules, transforming one language feature of the source language into a single or a composition of language features of the target language. However, in practice,...
2005 / Thomas Cleenewerck, Johan Brichau -
Understanding infusion administration in the ICU through Distributed Cognition
Abstract To understand how healthcare technologies are used in practice and evaluate them, researchers have argued for adopting the theoretical framework of Distributed Cognition (DC). This paper describes the methods and results of a study in which ...
2012 / Atish Rajkomar, Ann Blandford -
Unified encoding for hyper-heuristics with application to bioinformatics2013 / Aleksandra Swiercz, Edmund K. Burke, Mateusz Cichenski, Grzegorz Pawlak, Sanja Petrovic, et al.
-
Preface2006 / Grigori Mints, Ruy de Queiroz
-
Simpler Reasoning About System Properties: a Proof-by-Refinement Technique
Abstract Proofs about system specifications are difficult to conduct, particularly for large specifications. Using abstraction and refinement, we propose a proof technique that simplifies these proofs. We apply the technique to ...
2005 / D. Atiya, S. King, J.C.P. Woodcock -
Formalizing UML Models and OCL Constraints in PVS
Abstract The Object Constraint Language (OCL) is the established language for the specification of properties of objects and object structures in UML models. One reason that it is not yet widely adopted in industry is the lack of proper and...
2005 / Marcel Kyas, Harald Fecher, Frank S. de Boer, Joost Jacob, Jozef Hooman, et al. -
Towards Property Oriented Testing
Abstract Conformance testing is a kind of functional testing where a formally verified specification is considered and test cases are generated so that conclusions can be established regarding the possibility of acceptance/rejection of...
2007 / Patricia D.L. Machado, Daniel A. Silva, Alexandre C. Mota