Computer and information sciences topic list of research papers
-
Recent Advancement in Machine Learning Based Internet Traffic Classification
Abstract With the advancement of technology and communication system, use of internet is giving at a tremendous role. This causes an exponential growth of data and traffic over the internet. So to correctly classify this traffic is a hot research...
2015 / Neeraj Namdev, Shikha Agrawal, Sanjay Silkari -
Formal Molecular Biology Done in CCS-R
Abstract We present CCS-R, a reversible variant of Milner's CCS offering a backtracking mechanism. Formalization of biological systems satisfying a “perfect mix” assumption within CCS-R is discussed.
2007 / Vincent Danos, Jean Krivine -
Counting the Cost in the Picalculus (Extended Abstract)
Abstract We design a new variation on the picalculus, π cost , in which the use of channels or resources must be paid for....
2009 / Matthew Hennessy, Manish Gaur -
Coinduction in Concurrent Timed Systems
Abstract An important class of timed transition systems can be modeled by deterministic weighted automata, which are essentially partial Mealy automata, and their extensions using synchronous compositions defined over extended alphabets. From a...
2010 / Jan Komenda -
Trustworthy Interface Compliancy: Data Model Adaptation Using B Refinement
Abstract In component-based software development approaches, components are considered as black boxes, communicating through required and provided interfaces which describe their visible behaviors. Each component interface is equipped with a...
2009 / Samuel Colin, Arnaud Lanoix, Jeanine Souquières -
Interprocedural Pointer Analysis in Goanna
Abstract Goanna is an industrial-strength static analysis tool used in academia and industry alike to find bugs in C/C++ programs. Unlike existing approaches, Goanna uses the off-the-shelf model checker NuSMV as its core...
2009 / Jörg Brauer, Ralf Huuck, Bastian Schlich -
Stochastic and Real Time in Process Algebra: A Conceptual Overview
Abstract It is widely recognized that dealing with time related aspects in process algebra is often crucial for the specification and analysis of complex real systems. Research work in this field has led to a rather huge literature, where several...
2006 / Mario Bravetti -
Optimizing Aspectual Execution Mechanisms for Embedded Applications
Abstract Applications for small embedded mobile devices are becoming larger and more complex resulting in the need for advanced modularization mechanisms. Aspect-oriented modularization is a promising approach to solve this problem, but the overhead ...
2009 / Christine Hundt, Sabine Glesner -
Wrap Your Objects Safely
Abstract Despite the effort of researchers on distributed systems, programming languages, and security, there is still no good solution offering basic constructs for guaranteeing minimal security at the programming language level. In particular, the ...
2009 / Olaf Owe, Gerardo Schneider -
Probabilistic and Nondeterministic Aspects of Anonymity
Abstract Anonymity means that the identity of the user performing a certain action is maintained secret. The protocols for ensuring anonymity often use random mechanisms which can be described probabilistically. The user, on the other hand, may be...
2006 / Catuscia Palamidessi -
Proving Resource Consumption of Low-level Programs Using Automated Theorem Provers
Abstract In this paper we use a program logic and automatic theorem provers to certify resource usage of low-level bytecode programs equipped with annotations describing resource consumption for methods. We have adapted an existing resource counting ...
2007 / Jaroslav Ševčík -
Preface2010 / Antoine Miné, Enric Rodríguez-Carbonell
-
Preface2009 / Jiří Srba, Scott A. Smolka
-
Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs
Abstract The well-known notion of critical pairs already allows a static conflict detection, which is important for all kinds of applications and already implemented in AGG. Unfortunately the standard construction is not very efficient. This paper...
2008 / Leen Lambers, Hartmut Ehrig, Fernando Orejas -
Specifying and Executing Reactive Scenarios With Lutin
Abstract This paper presents the language Lutin and its operational semantics. This language specifically targets the domain of reactive systems, where an execution is a (virtually) infinite sequence of input/output reactions. More precisely, it is...
2008 / Pascal Raymond, Yvan Roux, Erwan Jahier -
Water Treatment Plant Decision Making Using Rough Multiple Classifier Systems
Abstract For high-dimensional water treatment plant data sets and a single rough classifier's weak classification ability for data sets with many classes, a new computing approach, termed CMBMRCS (water treatment plant Classification Model Based on...
2012 / Lin Feng -
A New Color Feature Extraction Method Based on QuadHistogram
Abstract One of the important requirements in image retrieval, indexing, classification, clustering and etc. is extracting efficient features from images. The color feature is one of the most widely used visual features. Use of color histogram is...
2011 / Fatemeh Alamdar, MohammadReza Keyvanpour -
A hybrid evolutionary algorithm for the two-dimensional packing problem2013 / Igor Kierkosz, Maciej Luczak
-
Latency Reduction in Mobile Environment
Abstract This paper reports an integrated caching and pre-fetching technique to reduce latency in a mobile environment. The proposed model consist of a bandwidth monitoring agent to find out current bandwidth usage, a prediction module to predict...
2012 / J.S. Jayasudha, Greeshma G Vijayan -
Relay Node Placement for Multi-Path Connectivity in Heterogeneous Wireless Sensor Networks
Abstract In this paper, we study the problem of deploying additional relay nodes to provide multi-path connectivity (kconnectivity) between all nodes in wireless sensor network. Specifically given a disconnected wireless network, few additional...
2012 / Deepak R. Dandekar, P.R. Deshmukh