Computer and information sciences topic list of research papers
-
Stochastically stable implementation2011 / Antonio Cabrales, Roberto Serrano
-
The Geological Information Collection System Design Based on Wireless Sensor Network
Abstract On the basis of analysis of characteristics of ZigBee wireless sensor networks, this paper uses the modular method to realize the ZigBee agreement stack. From the system's hardware and software processes, etc., describes remote acquisition...
2011 / Wu Ling, Wu Wendi, Luo Xiangze -
Some Tools and Methodologies for Domain Ontology Building2003 / Aldo Gangemi
-
A Novel Stochastic Game Via the Quantitative μ-calculus
Abstract The quantitative μ-calculus qMμ extends the applicability of Kozen's standard μ-calculus [D. Kozen, Results on the propositional μ-calculus, Theoretical Computer Science 27 (1983) 333–354] to probabilistic systems. Subsequent to its...
2006 / Annabelle McIver, Carroll Morgan -
Truly Concurrent Logic via In-Between Specification
Abstract In order to obtain a formalism for the specification of true concurrency in reactive systems, we modify the μ-calculus such that properties that are valid during the execution of an action can be expressed. The interpretation of this logic...
2005 / Harald Fecher -
The Interactive Curry Observation Debugger iCODE
Abstract Debugging by observing the evaluation of expressions and functions is a useful approach for finding bugs in lazy functional and functional logic programs. However, adding and removing observation annotations to a program is an effort making ...
2007 / Parissa H. Sadeghi, Frank Huch -
Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus
Abstract In [C. Palamidessi, V. Saraswat, F. Valencia and B. Victor. On the Expressiveness of Linearity vs Persistence in the Asynchronous Pi Calculus. LICS 2006:59–68, 2006] the authors studied the expressiveness of persistence in the asynchronous...
2008 / Diletta Cacciagrano, Flavio Corradini, Jesús Aranda, Frank D. Valencia -
Operational Semantics of Reversibility in Process Algebra
Abstract Reversible computation has a growing number of promising application areas such as the modelling of biochemical systems, program debugging and testing, and even programming languages for quantum computing. We discuss reversibility in major...
2006 / Iain Phillips, Irek Ulidowski -
Preface2007 / Rob van Glabbeek, Peter D. Mosses
-
GALS for Bursty Data Transfer based on Clock Coupling
Abstract In this paper we introduce a novel burst-mode GALS technique. The goal of this technique is improving the performance of the GALS approach for systems with predominantly bursty data transfer. This new technique has been used to implement a...
2009 / Miloš Krstić, Xin Fan, Eckhard Grass, Frank K. Gürkaynak -
Refactoring of Crosscutting Concerns with Metaphor-Based Heuristics
Abstract It has been advocated that Aspect-Oriented Programming (AOP) is an effective technique to improve software maintainability through explicit support for modularising crosscutting concerns. However, in order to take the advantages of AOP,...
2009 / Bruno Carreiro da Silva, Eduardo Figueiredo, Alessandro Garcia, Daltro Nunes -
A Symbolic Semantics for a Calculus for Service-Oriented Computing
Abstract We introduce a symbolic characterisation of the operational semantics of COWS, a formal language for specifying and combining service-oriented applications, while modelling their dynamic behaviour. This alternative semantics avoids infinite ...
2009 / Rosario Pugliese, Francesco Tiezzi, Nobuko Yoshida -
The Research of Automated Select Test Cases for Aspect-oriented Software
Abstract Aspect-oriented Programming (AOP) can well solve the cross-cutting concerns. Because of the different features of aspect, AOP requires new techniques for testing. First, this paper proposes a model to test aspect-oriented software. In order ...
2012 / Peng wang, Xiaochun Zhao -
Analyzing collaborative networks emerging in Enterprise 2.0: the Taolin Platform
Abstract Coordination and networking among people working in the same organization is not a trivial activity: competences, positions, and the structural characteristics of the company together with communication preferences and group assets may...
2011 / Michela Ferron, Paolo Massa, Francesca Odella -
Flow-sensitive Leakage Analysis in Mobile Ambients
Abstract In this paper, we present a refinement of a Control Flow Analysis aimed at studying information flow security in the the calculus of Mobile Ambients. The improvements are achieved by making the analysis be flow-sensitive: the analysis is...
2005 / Chiara Braghin, Agostino Cortesi -
Confidence Measures Analysis of Software Security Evaluation
Abstract Security evaluation technologies are important to software developers and users, especially in security-critical systems. However, there is very lack of effective method to acquire confidence measures of software security evaluation...
2011 / Zhengping Ren, Song Huang, Yi Yao, Yu Hong -
The Importance of Islamic Art in Mosque Interior
Abstract Mosques, as symbol of Islamic architecture must play an important role in reflecting the superiority of Allah the Almighty. There are many ways in making it successful and one of them is through the high quality of aesthetic value....
2011 / R. Othman, Z.J. Zainal-Abidin -
Double-Row Cascade Labeling Algorithm for Hyper-Scale Issue
Abstract An efficient algorithm is presented to label the connected components in the case that the primary memory is smaller than the image data. Our algorithm uses only the memory of two image rows to label the huge image or any image larger than...
2011 / Yebin Fan, Hualong Zhao -
Using virtual experiments in the teaching process
Abstract The Virtual Instrument is usually understood as real computer controlled measurement system. The control of the physical instrument, which exists in the background of the computer, may be performed using the computer keyboard, mouse and...
2009 / Crinela Dumitrescu, Radu Lucian Olteanu, Laura Monica Gorghiu, Gabriel Gorghiu, Gabriel State -
The effect of visual query languages on the improvement of information retrieval skills
Abstract Using an experiment, two forms of query creation (SQL and QBE) have been compared from three points of view: the time period necessary for forming queries, their correctness, and their authors’ comfort during the formation process. The...
2010 / Jozef Hvorecký, Martin Drlík, Michal Munk