Computer and information sciences topic list of research papers
-
Preface
Abstract Mechanised Reasoning about Languages with Variable Binding 2001 This volume contains the Proceedings of the Workshop on Mechanised Reasoning about Languages with Variable Binding (MERLIN 2001), which was held in...
2005 / Simon J. Ambler, Roy L. Crole, Alberto Momigliano -
Unifying Concurrent and Relational Refinement
Abstract Refinement in a concurrent context, as typified by a process algebra, takes a number of different forms depending on what is considered observable, where observations record, for example, which events a system is prepared to accept or...
2005 / Eerke Boiten, John Derrick -
Preface
Abstract The EXPRESS workshops aim at bringing together researchers interested in the relations between various formal systems, particularly in the field of Concurrency. More specifically, they focus on the comparison between programming concepts...
2005 / Nestmann Uwe, Panangaden Prakash -
Geometric Model Checking
Abstract Optimizing programs by applying source-to-source transformations is a prevalent practice among programmers. Particularly so, in the framework of methodology based embedded systems design, where the initial program is subject to a series of...
2004 / K.C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens -
Coalgebraic Monads
Abstract This paper introduces coalgebraic monads as a unified model of term algebras covering fundamental examples such as initial algebras, final coalgebras, rational terms and term graphs. We develop a general method for obtaining finitary...
2004 / Neil Ghani, Christoph Lüth, Federico De Marchi -
On the Expressiveness of Linda-like Concurrent Languages
Abstract We compare the expressiveness of a class of concurrent languages that employ asynchronous communication primitives à la Linda. All the languages considered contain sequential, parallel and choice operators, and they differ from one another...
2004 / Antonio Brogi, Jean-Marie Jacquet -
Checking Finite Traces using Alternating Automata
Abstract We present three algorithms to check at runtime whether a reactive program satisfies a temporal specification, expressed by a future linear-time temporal logic formula. The three methods are all based on alternating automata, but traverse...
2004 / Bernd Finkbeiner, Henny Sipma -
Categories for synchrony and asynchrony
Abstract The purpose of this paper is to show how one may construct from a synchronous interaction category, such as SProc, a corresponding asynchronous version. Significantly, it is not a simple Kleisli construction, but rather arises due to...
2004 / J.R.B. Cockett, D.A. Spooner -
Simulation-based Planning of Shutdown Operations
Abstract This paper presents a simulation-based planning approach for determining the sequence of valve operations for the shutdown in a chemical plant. In some plants, it is required to determine a shutdown sequence in a way that avoids hazardous...
2013 / Rafael Batres -
Applying Technology Enhanced Interaction Framework to Accessible Mobile Learning
Abstract This paper focuses on designing accessible mobile learning interactions involving disabled people using a newly developed Technology Enhanced Interaction Framework. The framework was developed to help design technological support for...
2014 / Kewalin Angkananon, Mike Wald, Lester Gilbert -
Exploiting Linearity in Sharing Analysis of Object-oriented Programs
Abstract We propose a new sharing analysis of object-oriented programs based on abstract interpretation. Two variables share when they are bound to data structures which overlap. We show that sharing analysis can greatly benefit from linearity...
2016 / Gianluca Amato, Maria Chiara Meo, Francesca Scozzari -
QFD in Malaysian SMEs Food Packaging CAD (PackCAD) Testing
Abstract Nowadays, most of the Small & Medium Enterprises (SMEs) entrepreneurs improves the effectiveness of product markets through the strategic implications of using a Computer Aided Design system (CAD) in an attractive packaging design....
2014 / Suziyanti Marjudi, Riza Sulaiman, Nur Amlya Abdul Majid, Mohd Fahmi Mohamad Amran, Muhammad Fairuz Abd Rauf, et al. -
Conception, Development, Installation and Evaluation of a Real Time Evacuation Assistant for Complex Buildings
Abstract In this contribution a pedestrian evacuation system for large buildings is presented. The aim of the system is to monitor and forecast pedestrian streams in complex facilities to assist decision makers and security services in case of...
2013 / Armel Ulrich Kemloh Wagoum, Armin Seyfried -
Planning for a Rural Satellite Network for Telephony and Data Transmission in Saudi Arabia
Abstract There has been a general acceptance world-wide in the role of satellite in serving the telecommunication needs of rural areas, including most of the local access connections to the main terrestrial national network. Further, it is even...
2013 / Sami S. Alwakeel, K. Samarkandy Muhammed -
Estimating Hidden Information for Self-organization and Self-healing in Modern Wireless Networks
Abstract As modern wireless networks grow in size operators are more interested in self-organizing features that ease management of their infrastructure. Modern networks have a higher number of possible failure points compared to legacy ones thus...
2013 / Julio Aráuz -
Optimal Learning Paths in Information Networks2015 / G. C. Rodi, V. Loreto, V. D. P. Servedio, F. Tria
-
Information Decomposition and Synergy2015 / Eckehard Olbrich, Nils Bertschinger, Johannes Rauh
-
Cooperative Surveillance and Pursuit Using Unmanned Aerial Vehicles and Unattended Ground Sensors2015 / Jonathan Las Fargeas, Pierre Kabamba, Anouck Girard
-
On the Diversity Constraints for Portfolio Optimization2013 / Jun-Lin Lin
-
Towards a Role-centric and Context-aware Information Distribution System for Manufacturing
Abstract ICT platforms, in the manufacturing context, provide a number of tools, such as sensors, wireless networks, mobile devices, MES, ERP and information management systems in order to support shop-floor and back-office personnel. There is a...
2014 / Kosmas Alexopoulos, Sotiris Makris, Vangelis Xanthakis, Konstantinos Sipsas, Aggelos Liapis, et al.