Computer and information sciences topic list of research papers
-
Free-riding Analysis Via Dynamic Game with Incomplete Information
Abstract P2P networks are distributed, acentric and self-organized systems. Due to the incomplete information of network environment, the uncertainty of trust relationship among peers and the selfishness of the peers in P2P networks, which give rise ...
2012 / Guo-yong Cai, Guo-bin Liu, Gui-min Huang -
FILTWAM - A Framework for Online Affective Computing in Serious Games
Abstract This paper introduces a Framework for Improving Learning Through Webcams And Microphones (FILTWAM). It proposes an overarching framework comprising conceptual and technical frameworks for enhancing the online communication skills of...
2012 / Kiavash Bahreini, Rob Nadolski, Wim Westera -
Video coding using arbitrarily shaped block partitions in globally optimal perspective2011 / Manoranjan Paul, Manzur Murshed
-
Subjectivity, Organizational Justice and Performance Appraisal: Understanding the Concept of Subjectivity in Leading Towards Employees’ Perception of Fairness in the Performance Appraisal
Abstract This conceptual paper addresses on the issue regarding the element of subjectivity in shaping employees’ perception of fairness in the performance appraisal. An attempt is made to understand the concept of subjectivity whereby every human...
2012 / Low Kah Choon, Muhamad Ali Embi -
Wireless link prediction and triggering using modified Ornstein–Uhlenbeck jump diffusion process2013 / Eric Chin, David Chieng, Victor Teh, Marek Natkaniec, Krzysztof Loziak, et al.
-
Adding Recursion to Dpi
Abstract Dpi is a distributed version of the pi-calculus, in which processes are explicitly located, and a migration construct may be used for moving between locations. We argue that adding a recursion operator to the language...
2006 / Samuel Hym, Matthew Hennessy -
An Overview of Semantic Web Services Composition Approaches
Abstract In this paper, we are motivated by the problem of semantic web services composition. We first present a typical example requiring services composition, give a definition of an automated services composition approach and outline its main...
2006 / Yasmine Charif, Nicolas Sabouret -
A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis
Abstract We present a rewriting logic semantics in Maude of the ABEL hardware description language. Based on this semantics, and on Maude's underlying LTL model checker, we propose a scalable formal analysis framework and tool for hardware/software...
2007 / Michael Katelman, José Meseguer -
Preface2009 / Anthony Seda, Menouer Boubekeur, Ted Hurley, Micheal Mac an Airchinnigh, Michel Schellekens, et al.
-
Aspect-Oriented Action Semantics Descriptions
Abstract The modularity of programming language descriptions allows the designer to describe each programming language feature in a separated module that can be studied independently of others. Action Semantics is a formal notation that produce...
2008 / Luis Menezes -
Strongly Typed Rewriting For Coupled Software Transformation
Abstract Coupled transformations occur in software evolution when multiple artifacts must be modified in such a way that they remain consistent with each other. An important example involves the coupled transformation of a data type, its instances,...
2007 / Alcino Cunha, Joost Visser -
An Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised Protocols
Abstract We present a technique to tackle the parameterised probabilistic model checking problem for a particular class of randomised distributed systems, which we model as Markov Decision Processes. These systems, termed degenerative, have the...
2009 / Douglas Graham, Muffy Calder, Alice Miller -
A hybrid intelligent approach for the prediction of electricity consumption
Abstract Power load forecasting is an essential tool for energy management systems. Accurate load forecasting supports power companies to make unit commitment decisions and schedule maintenance plans appropriately. In addition to minimizing the...
2012 / M. Amina, V.S. Kodogiannis, I. Petrounias, D. Tomtsis -
Assessing the capacity for success in distance learning in Malaysia
Abstract The literature points to the need for learners who are autonomous and self-regulating. However, learning styles, perception towards learning environment, computer technology experiences and English language proficiency are diverse and may...
2011 / Siew Foen Ng, Gary J. Confessore -
Countermeasures to Impacts of Bandwidth and Receiving Buffer on CMT Schemes
Abstract Based on the impact investigation of both bandwidth and receiving buffer on concurrent multi-path transmission (CMT) schemes of Stream Control Transmission Protocol (SCTP), the authors present an adaptive policy on how to effectively apply...
2011 / Lin Cui, Xin Cui, Jingji Jin, Seok J. Koh, Woo J. Lee -
The feedwater control system and steam dump control system responses during large-load reduction transient for Maanshan PWR Plant
Abstract In this study, the development of TRACE (TRAC/RELAP Advanced Computational Engine) models for Maanshan nuclear power plant (NPP) important control systems, such as feedwater control system and steam dump control system, are performed in...
2011 / Hao-Tzu Lin, Jong-Rong Wang, Chunkuan Shih -
A Real-time Crime Detection System Based on Lawful Interception - A Case Study of MSN Messenger
Abstract In recent years, the number of online crimes (e.g., the various emerging scams and criminal schemes) has increased. Online crime suspects utilize the anonymous nature of web to disguise their identity through various methods and evade...
2011 / Chi-Hua Chen, Wan-Jia Chen, Ya-Fen Wang, Chi-Chun Lo -
Adaptations in the US Army MANPRINT process to utilize HSI-inclusive system architectures
Abstract Accommodating the human as a system element in the architecting process allows for better integration of the organizational HSI processes (Army MANPRINT program), yielding improvements in HSI-organization and task efficiency. Following the...
2012 / Andrew Bodenhamer -
An algorithm to find minimal cuts of coherent fault-trees with event-classes, using a decision tree2002 / J.A. Carrasco, V. Sune
-
Choosing Aggregation Functions for Modeling System of Systems Performance
Abstract The current trend in system of systems design is to explore larger and more diverse alternative spaces earlier in the design process. However, the ability to do so is constrained by the efficiency of the models used during the process....
2013 / David Warshawsky, Dimitri Mavris