Computer and information sciences topic list of research papers
-
Semagraph: the Theory and Practice of Term Graph Rewriting
Abstract Semagraph II is a working group (WG 6345) supported by the CEC basic research directorate. The main aim of Semagraph II has been to mature and promulgate the research results and prototypes developed during the Semagraph I Basic Research...
2005 / Ronan Sleep -
Distributed Explicit Bounded LTL Model Checking
Abstract Automated formal verification becomes a significant part of an industrial design process. Favourite formal verification method model checking is strongly limited by the size of the model of the verified system. It suffers from the so...
2005 / Pavel Krčál -
The Ciao Modular, Standalone Compiler and Its Generic Program Processing Library
Abstract Ciao Prolog incorporates a module system which allows separate compilation and sensible creation of standalone executables. We describe some of the main aspects of the Ciao modular compiler, ciaoc, which takes advantage of the...
2005 / Daniel Cabeza, Manuel Hermenegildo -
The Saga of Synchronous Bus Arbiter: On Model Checking Quantitative Timing Properties of Synchronous Programs
Abstract Quantified Discrete-time Duration Calculus, (QDDC), is a form of interval temporal logic [14]. It is well suited to specify quantitative timing properties of synchronous systems. An automata theoretic decision procedure for QDDC allows...
2005 / Paritosh K. Pandya -
On the Expressive Power of Polyadic Synchronisation in π-calculus
Abstract We extend the π-calculus with polyadic synchronisation, a generalisation of the communication mechanism which allows channel names to be composite. We show that this operator embeds nicely in the theory of π-calculus, and makes it possible...
2005 / Marco Carbone, Sergio Maffeis -
K-Gram Based Fuzzy Keyword Search over Encrypted Cloud Computing2013 / Wei Zhou, Lixi Liu, He Jing, Chi Zhang, Shaowen Yao, et al.
-
Stirling Transform based Color Image Authentication
Abstract In this paper, a fragile watermarking technique based on Stirling transform (ST) has been proposed to authenticate color images (STCIA). The pixel components of the cover/carrier image are adjusted prior to embedding, if necessary. Stirling ...
2014 / S.K. Ghosal, J.K. Mandal -
Design and Simulation of the Timed Triggered Protocol (TTP) Using Agents
Abstract In this paper, we present our agent based approach for design and simulation of the basic services of the Time Triggered Protocol (TTP) for automotive distributed embedded systems such as the startup algorithm, the membership, the messages...
2013 / Sofiane Zaidi, Fateh Boutekkouk -
Neuro-fuzzy inverse model control structure of robotic manipulators utilized for physiotherapy applications
Abstract This paper presents a new neuro-fuzzy controller for robot manipulators. First, an inductive learning technique is applied to generate the required inverse modeling rules from input/output data recorded in the off-line structure learning...
2013 / A.A. Fahmy, A.M. Abdel Ghany -
Exploiting Parallelism in Coalgebraic Logic Programming
Abstract We present a parallel implementation of Coalgebraic Logic Programming (CoALP) in the programming language Go. CoALP was initially introduced to reflect coalgebraic semantics of logic programming, with coalgebraic derivation algorithm...
2014 / Ekaterina Komendantskaya, Martin Schmidt, Jónathan Heras -
Real NC Control Unit and Virtual Machine to Improve Operator Training
Abstract This paper describes a coupling between a real NC control unit and a virtual machine and its application potentials for vocational training. First the Hardware-in-the-Loop coupling, including the setup of the machine model, the connection...
2013 / Franziska Pürzel, Philipp Klimant, Volker Wittstock, Michael Kuhl -
Assessment of Production System Alternatives During Early Development Phase
Abstract The development of modern mechatronic systems is characterized by a rising complexity and an increasing necessity to develop product and according production system in a close interplay. Model-based Systems Engineering has been introduced...
2014 / Vinzent Rudtsch, Jürgen Gausemeier, Gerald Rehage -
A Conversion Method from an ETSC to a Timed Petri Net to Improve the Matrix-based Discrete Event Controller and its Unified Support System
Abstract The matrix-based discrete-event system controller (MDEC) framework, which is a sophisticated framework proposed by Jose Mireles et al., is a promising method for designing control systems for discrete manufacturing systems. In a previous...
2013 / Hisaaki Yamaba, Shoichiro Kitano, Kayoko Takatsuka, Tetsuro Katayama, Naonobu Okazaki, et al. -
Applications of a Modular Interaction Framework for Virtual Reality Testing in a Smart Environment
Abstract In the future mobile devices will be used for many different purposes in the Factory of the Future, like displaying user-specific location-aware information about production processes, energy flow and resource consumption. The planning of...
2013 / Franziska Pürzel, Mario Lorenz, Eckhart Wittstock, Volker Wittstock, Reimund Neugebauer -
Organizational Views Applied to the Operational Dimension
Abstract It is important for organizations to have flexible, personalized and specific views, in order to ensure the availability and visualization of important data that, integrated into the information system, can bring an increment of...
2014 / Carlos Páscoa, João Cardoso, José Tribolet -
A Location Temporal based Access Control Model for IoTs
Abstract Internet of things (IoTs) is a hot topic in recent years, and its various applications have been applied in several fields. The essence of IoTs is to connect all the things including the devices embedded RFID, sensors, etc. together, to...
2013 / Chao Lee, Yunchuan Guo, Lihua Yin -
Secure Protocol Composition
Abstract This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting from basic security components, using a sequence of...
2014 / Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic -
Social Media as an Informal Learning Platform: Case Study on Adult Learning at SIM University, Singapore
Abstract This paper examines the effectiveness of using digital and social media as part of the learning platform, with reference to public relations offered by the School of Arts and Social Sciences at SIM University (UniSIM), Singapore's only...
2013 / Brian Lee, Ang Sin Sing -
The Coherent Covering Location Problem2006 / Daniel Serra
-
Towards the Automatic Scanning of Indoors with Robots2015 / Antonio Adán, Blanca Quintana, Andres Vázquez, Alberto Olivares, Eduardo Parra, et al.