Computer and information sciences topic list of research papers
-
Learning opportunities through generating speech from written texts
Abstract Different technical equipment in the process of education are important and can help enough in better understanding the material that has been lectured. But, they are of particular importance when we are dealing with people who have various ...
2010 / Mentor Hamiti, Agni Dika -
Setting up of a web educational video-clips exhibition related to the implementation of virtual experiments in Sciences education
Abstract The paper emphasizes the principal steps developed for setting up of a web educational video-clips exhibition, composed by 50 representative video-experiments related to the implementation of the virtual experiments in Sciences education,...
2010 / Gabriel Gorghiu, Laura Monica Gorghiu, Mihai Bîzoi, Ana-Maria Suduc -
Manipulation via Endowments in Exchange Markets with Indivisible Goods2006 / Murat Atlamaz, Bettina Klaus
-
An economic perspective of message-dropping attacks in peer-to-peer overlays2012 / Kevin W Hamlen, William Hamlen
-
Improving resource location with locally precomputed partial random walks2013 / Víctor M. López Millán, Vicent Cholvi, Luis López, Antonio Fernández Anta
-
ZigBee-based indoor location system by k-nearest neighbor algorithm with weighted RSSI
Abstract With the advances in information and communication technologies, wireless sensor networks has made Ambient Intelligence (AmI) applications possible that can monitor the situation around the persons or objects and give certain responses for...
2011 / Chih-Ning Huang, Chia-Tai Chan -
A Domain-based query routing mechanism for peer-to-peer networks
Abstract In recent years, peer-to-peer (P2P) technology is widely used and concerned by both academic and industry. An important challenge associated with this technology is the routing of content-based queries (i.e. locating the peers that can...
2011 / Ghada Hassan, Hamidah Ibrahim, Md.Nasir Sulaiman, Rasali Yakob -
New Interpolation Algorithm for Image Inpainting
Abstract In this paper, the relationship between image pixels’ coordinators and their colors is considered as a mapping function. A novel algorithm based on radial basis function network is applied to construct a local best approximation of this...
2011 / Lin Chang, Yu Chongxiu -
The Activity Chain Safety and Liveness Specification of Composite Web Services
Abstract Web service composition is most impressing method for development and deployment of e-business. Description and modeling the behavior requirements of composite Web services for users and verifying composite Web service compliance to...
2012 / Bo Chen, Xiaomei Huang -
Application of BP Neural Network Algorithm in Sustainable Development of Highway Construction Projects
Abstract Highway construction project does not exist for its own, but also to meet the needs of the society. Its development strategy should be based on the overall goal of the society, not just for its own. Therefore, the sustainable evaluation of...
2012 / Mingshun Li, Wencui Chen -
Adaptive neighbor-based topology control protocol for wireless multi-hop networks2012 / Zeeshan Mir, Young-Bae Ko
-
PA-SHWMP: a privacy-aware secure hybrid wireless mesh protocol for IEEE 802.11s wireless mesh networks2012 / Hui Lin, Jianfeng Ma, Jia Hu, Kai Yang
-
Performance assessment of IP over vehicular delay-tolerant networks through the VDTN@Lab testbed2012 / João AFF Dias, João NG Isento, Bruno MC Silva, Vasco NGJ Soares, Joel JPC Rodrigues
-
Collecting legacy corpora from social science research for text mining evaluation2011 / Bei Yu, Min-Chun Ku
-
Validation Coverage for a Component-based SDL model of a Railway Signaling System
Abstract In this paper we present an application of formal verification techniques to a component-based SDL model of a railway signalling system lent by General Electric Transportation Systems. A MSC-driven validation technique has been applied to...
2005 / M. Banci, M. Becucci, A. Fantechi, E. Spinicci -
Stochastic Ambient Calculus
Abstract Mobile Ambients (MA) have acquired a fundamental role in modelling mobility in systems with mobile code and mobile devices, and in computation over administrative domains. We present the stochastic version of Mobile Ambients, called...
2006 / Maria G. Vigliotti, Peter G. Harrison -
State Spaces — The Locale Way
Abstract Verification of imperative programs means reasoning about modifications of a program state. So proper representation of state spaces is crucial for the usability of a corresponding verification environment. In this paper we discuss various...
2009 / Norbert Schirmer, Makarius Wenzel -
Labelled Markov Processes as Generalised Stochastic Relations
Abstract Labelled Markov processes (LMPs) are labelled transition systems in which each transition has an associated probability. In this paper we present a universal LMP as the spectrum of a commutative C*-algebra consisting of formal linear...
2007 / Michael Mislove, Dusko Pavlovic, James Worrell -
Encoding the Java Virtual Machine's Instruction Set
Abstract New toolkits that parse, analyze, and transform Java Bytecode are frequently developed from scratch to obtain a representation suitable for a particular purpose. But, while the functionality implemented by these toolkits to read in class...
2011 / Michael Eichberg, Andreas Sewe -
Algebraic Stuttering Simulations
Abstract Rewrite theories and their associated Kripke structures constitute a flexible and executable framework in which a wide range of systems can be studied. We present a general notion of simulation between Kripke structures, study its...
2008 / Narciso Martí-Oliet, José Meseguer, Miguel Palomino