Computer and information sciences topic list of research papers
-
Many-to-many space-time network coding for amplify-and-forward cooperative networks: node selection and performance analysis2014 / Mohammed W Baidas, Allen B MacKenzie
-
Emerging issues for education in E-discovery for electronic health records2015 / Shuai Yuan, Raghav H Rao, Shambhu Upadhyaya
-
Parameterized Transformation Units
Abstract Transformation units are a structuring principle for graph transformation systems. They consist of a set of graph transformation rules, descriptions of initial and terminal graphs, a control condition, and a set of imported transformation...
2004 / Sabine Kuske -
Virtual Teams: Opportunities and Challenges for e-Leaders
Abstract In the globalized world with crucial technological changes, leaders are facing unforeseen opportunities as well as challenges while striving to reach their objectives. Such changes have led to organizational restructurings and implied...
2014 / Snellman Carita Lilian -
Railway Online Booking System Design and Implementation
Abstract In this paper, we define rule usefulness and introduce one approach to evaluate the rule usefulness in rough sets. And we raise one method to get most useful rules. This method is easy and effective in applications of prisoners’ reform....
2012 / Wang Zongjiang -
OLSVis: an animated, interactive visual browser for bio-ontologies2012 / Steven Vercruysse, Aravind Venkatesan, Martin Kuiper
-
Experiences and motivations of the young for participation in virtual worlds
Abstract The aim of this paper is to analyze the motivations and experiences of children to utilize virtual worlds. The paper identifies the activities that children perform in virtual worlds, features they use as well as the reasons for abandoning...
2010 / Ahmer Iqbal, Marja Kankaanranta, Pekka Neittaanmäki -
MEA: an energy efficient algorithm for dense sector-based wireless sensor networks2012 / Mohsen Nickray, Ali Afzali-Kusha, Riku Jäntti
-
E-SAP: Efficient-Strong Authentication Protocol for Healthcare Applications Using Wireless Medical Sensor Networks2012 / Pardeep Kumar, Sang-Gon Lee, Hoon-Jae Lee
-
An approach to use FB-AODV with Android
Abstract This work talks about an attempt to create a Mobile Ad-hoc NETwork with Android smartphones. We used FBaodv to manage the networks and some bash script to share informations within the networks. MANET was tested by simple applications to...
2011 / Nicola Corriero, Emanuele Covino, Angelo Mottola -
Multi-aspects review summarization with objective information
Abstract In this paper, we propose a method for multi-aspects review summarization based on evaluative sentence extraction. We handle three features; ratings of aspects, the tfidf value, and the number of mentions with a similar topic. For...
2011 / Kazutaka Shimada, Ryosuke Tadano, Tsutomu Endo -
Design Virtual Reality Scene Roam for Tour Animations Base on VRML and Java
Abstract Virtual reality has been involved in a wide range of academic and commercial applications. It can give users a natural feeling of the environment by creating realistic virtual worlds. Implementing a virtual tour through a model of a tourist ...
2012 / Zaihui Cao, Zhongyan hu -
Generating Java Compiler Optimizers Using Bidirectional CTL
Abstract There have been several research works that analyze and optimize programs using temporal logic. However, no evaluation of optimization time or execution time of these implementations has been done for any real programming language. In this...
2007 / Ling Fang, Masataka Sassa -
Parallel Multithreaded Satisfiability Solver: Design and Implementation
Abstract We describe the design and implementation of a highly optimized, multithreaded algorithm for the propositional satisfiability problem. The algorithm is based on the Davis-Putnam-Logemann-Loveland sequential algorithm, but includes many of...
2005 / Yulik Feldman, Nachum Dershowitz, Ziyad Hanna -
Preface2011 / Víctor M. Gulías, Josep Silva Galiana
-
Behaviour Protocols for Interacting Stateful Components
Abstract We propose a formal foundation for behaviour protocols of interacting, concurrent components with data states. Formally, behaviour protocols are given by labelled transition systems which specify the order of operation invocations as well...
2010 / Sebastian S. Bauer, Rolf Hennicker, Stephan Janisch -
Decidability of a Hybrid Duration Calculus
Abstract We present a logic which we call Hybrid Duration Calculus (HDC). HDC is obtained by adding the following hybrid logical machinery to the Restricted Duration Calculus (RDC): nominals, satisfaction operators, down-arrow binder, and the global ...
2007 / Thomas Bolander, Jens Ulrik Hansen, Michael R. Hansen -
Preface2006 / Martín Escardó, Achim Jung, Michael Mislove
-
Towards a Unifying CSP approach to Hierarchical Verification of Asynchronous Hardware
Abstract Formal verification is increasingly important in asynchronous circuit design, since the lack of a global synchronizing clock makes errors due to concurrency (e.g., deadlocks) virtually impossible to detect by means of conventional methods...
2005 / X. Wang, M. Kwiatkowska, G. Theodoropoulos, Q. Zhang -
Formal Verification of the NASA Runway Safety Monitor
Abstract The Runway Safety Monitor (RSM) designed by Lockheed Martin is part of NASA's effort to reduce aviation accidents. We developed a Petri net model of the RSM protocol and used the model checking functions of our tool SMART to investigate...
2005 / Radu I. Siminiceanu, Gianfranco Ciardo