Computer and information sciences topic list of research papers
-
Stepwise Refinement of Processes
Abstract Industry is looking to create a market in reliable “plug-and-play” components. To model components in a modular style it would be useful to combine event-based and state-based reasoning. One of the first steps in building an event-based...
2006 / Steve Reeves, David Streader -
A Comparative Analysis of Recent Identification Approaches for Discrete-Event Systems2010 / Ana Paula Estrada-Vargas, Ernesto López-Mellado, Jean-Jacques Lesage
-
Digital Controller Implementation for Electrohydraulic Motion Simulator Based on MAS and RCP
Abstract A digital controller based on DSP was proposed for electrohydraulic motion simulator. This digital controller not only offered an integral solution for position servo system in motion simulator, but also benefited to illustrate how to...
2012 / Zhongbao Luo, Zhidong Yang, Dacheng Cong, Bing Zhang -
Development and evaluation of a constrained optimization model for traffic signal plan transition
Abstract In advanced traffic signal control systems, plan transition is the process of switching from one timing plan to another to accommodate changes in traffic demand. In traditional coordinated system operation, whether plans are set by time of...
2011 / Jisun Lee, Billy M. Williams -
The Application of VPN in the Remote Virtual Classroom
Abstract With the development of Internet and multimedia computer technology, the virtual classroom has adequate technical support. The application of virtual classroom changes the traditional mode of education, and makes a fundamental change in the ...
2012 / Minghui Wang, Junhua Pan, Zhou Zheng -
Belief rule-based system for portfolio optimisation with nonlinear cash-flows and constraints
Abstract A belief rule-based (BRB) system is a generic nonlinear modelling and inference scheme. It is based on the concept of belief structures and evidential reasoning (ER), and has been shown to be capable of capturing complicated nonlinear...
2012 / Yu-Wang Chen, Ser-Huang Poon, Jian-Bo Yang, Dong-Ling Xu, Dongxu Zhang, et al. -
Data Mining for Failure Diagnosis of Process Units by Learning Probabilistic Networks
Recently, there has been a growing interest in developing and applying knowledgebased technologies to aid hazard identification methods such as Hazop (Hazard and Operability Studies), fault tree analysis and check-lists which have traditionally been carried out...
2002 / X.Z. Wang, B.H. Chen, C. Mcgreavy -
Virtual laboratory applications in chemistry education
Abstract The lab applications, whic4h were started to be applied through mid 19th century, not only provide a new point of view but also bring about a new dimension to the lessons. At early times they were used to prove theoretical knowledge but...
2011 / Zeynep Tatli, Alipaşa Ayas -
WCayleyCCC: A Robust Wireless Overlay Network with Simple Routing and Small-World Features
Abstract Recent wireless systems research has focused on building highly usable data searching in wireless overlay networks. Short query paths, small routing tables, and robustness constitute the most prominent design objectives for the overlay...
2011 / Wenjun Xiao, Heping Ye -
An Improved Algorithm About Failure Agreement Based on Distributed Shared Memory
Abstract According to the uniform addressing and direct localization of network address space, adopting multi-threaded, multi-copy store and block storage in pages, page tree sub-node parallel failure methods, these can improve the efficiency and...
2011 / Jun Wang, Yaqiong Jiang -
Operational priorities of instructional designers analyzed within the steps of the Addie instructional design model
Abstract To investigate the operational priorities of instructional designers, a thematic content analysis was conducted of responses to an online survey that was completed by 29 instructional designers. The instructional designers work in various...
2009 / Zehra Ozdilek, Edward Robeck -
Tavaxy: Integrating Taverna and Galaxy workflows with cloud computing support2012 / Mohamed Abouelhoda, Shadi Issa, Moustafa Ghanem
-
Snazer: the simulations and networks analyzer2010 / Tommaso Mazza, Gennaro Iaccarino, Corrado Priami
-
Self-organization of nodes in mobile ad hoc networks using evolutionary games and genetic algorithms
Abstract In this paper, we present a distributed and scalable evolutionary game played by autonomous mobile ad hoc network (MANET) nodes to place themselves uniformly over a dynamically changing environment without a centralized controller. A node...
2011 / Janusz Kusyk, Cem S. Sahin, M. Umit Uyar, Elkin Urrea, Stephen Gundry -
Channel capacity and error exponents of variable rate adaptive channel coding for Rayleigh fading channels2002 / V.K.N. Lau
-
A Bigram based Real Time DNS Tunnel Detection Approach
Abstract DNS (Domain Name System) tunnels can provide high-bandwidth covert channels that pose a significant risk to sensitive information inside the company networks. Sensitive data are embedded in DNS query and response packets to exfiltrate and...
2013 / Cheng Qi, Xiaojun Chen, Cui Xu, Jinqiao Shi, Peipeng Liu -
Preface2011 / Michael Mislove, Joël Ouaknine
-
A Resource Analysis of the π-calculus
Abstract We give a new treatment of the π-calculus based on the semantic theory of separation logic, continuing a research program begun by Hoare and OʼHearn. Using a novel resource model that distinguishes between public and private ownership, we...
2011 / Aaron Turon, Mitchell Wand -
GSM: gateway selection mechanism for strengthening inter-cluster coordination in cognitive radio ad hoc networks2013 / Najam ul Hasan, Waleed Ejaz, Kamran Manzoor, Hyung Kim
-
A new brain-inspired robust face recognition through elimination of variation features
Abstract Independent perceptual feature extraction and modeling the interactions among them are important issues in brain-inspired pattern recognition models. In the face recognition task, person code and different variation codes can be considered...
2012 / Isar Nejadgholi, Seyyed Ali Seyyedsalehi