Computer and information sciences topic list of research papers
-
Computational Soundness of Symbolic Analysis for Protocols Using Hash Functions
Abstract In this paper, we consider a Dolev-Yao model with hash functions and establish its soundness with respect to the computational model. Soundness means that the absence of attacks in the Dolev-Yao model implies that the probability for an...
2007 / Romain Janvier, Yassine Lakhnech, Laurent Mazaré -
Feasible Reactivity for Synchronous Cooperative Threads
Abstract We are concerned with programs composed of cooperative threads whose execution proceeds in synchronous rounds called instants. We develop static analysis methods to guarantee that each instant terminates in time polynomial in the size of...
2006 / Roberto M. Amadio, Frédéric Dabrowski -
The Role of Back-Pressure in Implementing Latency-Insensitive Systems
Abstract Back-pressure is a logical mechanism to control the flow of information on a communication channel of a latency-insensitive system (LIS) while guaranteeing that no packet is lost. Back-pressure is necessary for...
2006 / Luca P. Carloni -
Computational Effects and Operations: An Overview2004 / Gordon Plotkin, John Power
-
Context-aware Mobile Platform for Intellectual Disaster Alerts System
Abstract There happen a variety of disasters in the world such as a Nuclear exposed from a nuclear power-station due to earthquake and Tsunami in Japan, a tornado in Alabama in the US, a volcano explosion in Puyehue in Chile, an earthquake in...
2012 / Hyokyung Chang, Yongho Kang, Hyosik Ahn, Changbok Jang, Euiin Choi -
The Study of UWB Radar Life-Detection for Searching Human Subjects
Abstract This paper gives a simple introduction for the UWB radar and its definition. The principle of the radar will be a represent in details. Excellent materials penetration is a fundamental advantage to UWB radar. This point can be used to...
2012 / Wu Chunming, Ding Guoliang -
Cloud-based Ground System for Telemetry Processing
Abstract Historically, ground systems for space telemetry and commanding have been developed on a mission-by-mission basis. Ground telemetry system designs were rarely reused across projects because schedule-driven development cycles did not allow...
2015 / Chandru Mirchandani -
A Practical Tree Contraction Algorithm for Parallel Skeletons on Trees of Unbounded Degree
Abstract Algorithmic skeletons are ready-made parallel computation patterns. Since each skeleton can be evaluated efficiently on parallel computation environments, we can develop effcient parallel programs only by specifying our computation by a...
2011 / Akimasa Morihata, Kiminori Matsuzaki -
An efficient algorithm for fingerprint preprocessing and feature extraction
Abstract In practice, the placement of finger on the scanner for authentication is not done with the utmost care as when placed during the enrollment and this result in rejections of genuine users. Moreover, user behaviour and envionmental...
2010 / P. Gnanasivam, S. Muttan -
SAGA-based user environment for distributed computing resources: A universal Grid solution over multi-middleware infrastructures
Abstract This paper demonstrates practical applications based on SAGA–A Simple API for Grid Applications–for distributed computing resources over multi-middleware infrastructures. SAGA provides a high-level programming interface that bridges between ...
2010 / G. Iwai, Y. Kawai, T. Sasaki, Y. Watase -
Platform for distributed execution of agents for trusted data collection
Abstract In this article we aim at achieving trusted data collection from heterogeneous distributed sources including legacy systems and human end users. We adopt an agent-like approach where we are able to send agents to host platforms connected to ...
2010 / Emil Gatial, Zoltán Balogh, Ladislav Hluchý -
Mobile system for flexible education
Abstract These days with the advancements in various technologies especially in areas like telecommunication, many fields are affected; learning for example is no longer confined to classrooms. Thus, the m-learning comes to existence as a learning...
2011 / Nadire Cavus, Mohammad Musa Al-Momani -
Study on the Security Models and Strategies of Cloud Computing
Abstract Cloud computing is introducing many huge changes to people's lifestyle and working pattern recently for its multitudinous benefits. However, the security of cloud computing is always the focus of numerous potential cloud customers, and a...
2011 / Jianhua Che, Yamin Duan, Tao Zhang, Jie Fan -
A Real-Time Programmer's Tour of General-Purpose L4 Microkernels2008 / Sergio Ruocco
-
Simulation Platform: A cloud-based online simulation environment
Abstract For multi-scale and multi-modal neural modeling, it is needed to handle multiple neural models described at different levels seamlessly. Database technology will become more important for these studies, specifically for downloading and...
2011 / Tadashi Yamazaki, Hidetoshi Ikeno, Yoshihiro Okumura, Shunji Satoh, Yoshimi Kamiyama, et al. -
A Coalgebraic Theory of Reactive Systems
Abstract In this paper we investigate the connection between two well known models for interactive systems. Reactive Systems à la Leifer and Milner allow to derive an interactive semantics from a reduction semantics guaranteeing, under rather...
2009 / Filippo Bonchi, Ugo Montanari -
Predicting sentence translation quality using extrinsic and language independent features2013 / Ergun Biçici, Declan Groves, Josef van Genabith
-
Model-Checking Behavioral Specification of BPEL Applications
Abstract To provide a framework to compose lots of specialised services flexibly, BPEL is proposed to describe Web service flows. Since the Web service flow description is basically a distributed collaboration, writing correct programs in BPEL is...
2006 / Shin Nakajima -
ACTAS : A System Design for Associative and Commutative Tree Automata Theory
Abstract ACTAS is an integrated system for manipulating associative and commutative tree automata (AC-tree automata for short), that has various functions such as for Boolean operations of AC-tree automata, computing rewrite...
2005 / Hitoshi Ohsaki, Toshinori Takai -
Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics
Abstract This paper gives a general coalgebraic account of the notions of possibly infinite trace and possibly infinite execution in state-based, dynamical systems, by extending the generic theory of finite traces and executions developed by Hasuo...
2010 / Corina Cîrstea