Computer and information sciences topic list of research papers
-
Data Acquisition and Transmission System Based on Short Message Service
Abstract The data collection and transmission system based on single chip microcontroller (SCM) uses the LCD screen to display the real-time data, and employs the button matrix as the interactive interface to enter the preset alarm value, the target ...
2012 / Yi Wu, Tong Wu, Ruixia Yang, Yao Wang, Chunying Hou -
Integrating the Semantics of Deterministic Multi-layered Communication Systems
Abstract Communication systems are now developed and tailored by different classes of participants, each one focusing his/her attention on particular aspects of the system. We analyse how Phone and Internet services can be...
2005 / Rui Gustavo Crespo -
Refinement Sensitive Formal Semantics of State Machines With Persistent Choice
Abstract Modeling languages usually support two kinds of nondeterminism, an external one for interactions of a system with its environment, and one that stems from under-specification as familiar in models of behavioral requirements. Both forms of...
2009 / Harald Fecher, Michael Huth, Heiko Schmidt, Jens Schönborn -
A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol
Abstract We describe the formal specification and verification of a new fault-tolerant real-time communication protocol, called DoRiS, which is designed for supporting distributed real-time systems that use a shared high-bandwidth medium. Since such ...
2009 / Paul Regnier, George Lima, Aline Andrade -
Relating Toy Models of Quantum Computation: Comprehension, Complementarity and Dagger Mix Autonomous Categories
Abstract Toy models have been used to separate important features of quantum computation from the rich background of the standard Hilbert space model. Category theory, on the other hand, is a general tool to separate components of mathematical...
2011 / Dusko Pavlovic -
A Classification of Time and/or Probability Dependent Security Properties
Abstract In multilevel systems it is important to avoid unwanted indirect information flow from higher levels to lower levels, namely the so called covert channels. Initial studies of information flow analysis were performed by abstracting away from ...
2006 / Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina -
Distributed Symbolic Bounded Property Checking
Abstract In this paper we describe an algorithm for distributed, BDD-based bounded property checking and its implementation in the verification tool SymC. The distributed algorithm verifies larger models and returns results faster than the...
2006 / Pradeep K. Nalla, Roland J. Weiss, Prakash Peranandam, Jürgen Ruf, Thomas Kropf, et al. -
Leveraging UML Profiles to Generate Plugins From Visual Model Transformations
Abstract Model transformation is a fundamental technology in the MDA. Therefore, model transformations should be treated as first class entities, that is, models. One could use the metamodel of SDM, a graph based object transformation language, as...
2005 / Hans Schippers, Pieter Van Gorp, Dirk Janssens -
Angelic Nondeterminism and Unifying Theories of Programming
Abstract Hoare and He's unifying theories of programming (UTP) is a model of alphabetised relations expressed as predicates, which supports development in several programming paradigms. The aim is the unification of languages and techniques, so that ...
2005 / Ana Cavalcanti, Jim Woodcock -
Analyzing Chor Specifications by Translation into FSP
Abstract A choreography specifies activities and interactions among a set of services from a global point of view. From this specification, local implementations or peers can be automatically generated. Generation of peers that precisely implement...
2009 / Nima Roohi, Gwen Salaün, Seyyed Hassan Mirian -
An MDA approach to Access Control Specifications Using MOF and UML Profiles
Abstract We present a Model Driven Development (MDD) approach to the development of access control policies for distributed systems. The models are expressed as Meta-Object Facility (MOF) models enriched by Unified Modeling Language (UML) profiles....
2005 / Torsten Fink, Manuel Koch, Karl Pauls -
Improving the Usability of a Graph Transformation Language
Abstract Model transformation tools implemented using graph transformation techniques are often expected to provide high performance. For this reason, in the Graph Rewriting and Transformation (GReAT) language we have supported two techniques:...
2006 / Attila Vizhanyo, Sandeep Neema, Feng Shi, Daniel Balasubramanian, Gabor Karsai -
From Coalgebraic to Monoidal Traces
Abstract The main result of this paper shows how coalgebraic traces, in suitable Kleisli categories, give rise to traced monoidal structure in those Kleisli categories, with finite coproducts as monoidal structure. At the heart of the matter lie...
2010 / Bart Jacobs -
Fair Π
Abstract In this paper, we define fair computations in the π-calculus [Milner, R., Parrow, J. & Walker, D., A Calculus of Mobile Processes, Part I and II, Information and Computation 100 (1992) 1–78]. We follow Costa and Stirling's approach for...
2007 / Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi -
Kernel-based multiple criteria linear programming classifier
Abstract This paper proposed a novel classification model which introduced the kernel function into the original Multiple Criteria Linear Programming (MCLP) model. MCLP model is used as a classification method which can only solve linear separable...
2010 / Zhan Zhang, Dongling Zhang, Yingjie Tian -
An adaptive graph for volumetric mesh visualization
Abstract This work presents an adaptive strategy in order to visualize volumetric data generated from numerical simulations of partial differential equations. The mesh is represented by a graph data structure. Moreover, the Autonomous Leaves Graph...
2010 / Diogo T. Robaina, Mauricio Kischinhevsky, Sanderson L. Gonzaga de Oliveira, Diego N. Brandão, Esteban Clua, et al. -
Characteristic usage of Turkish internet users in office environment
Abstract In this paper, a lawyer office’s network and internet traffic will be examined for determining the characteristics of users and network traffic load. In order to do that, some modifications on the lawyers office is made. Firstly, the switch ...
2011 / Keçeli Ali Seydi, Erzurumlu Kerem -
The Tractability of Model-checking for LTL: The Good, the Bad, and the Ugly Fragments
Abstract In a seminal paper from 1985, Sistla and Clarke showed that the model-checking problem for Linear Temporal Logic (LTL) is either NP-complete or PSPACE-complete, depending on the set of temporal operators used. If, in contrast, the set of...
2009 / Michael Bauland, Martin Mundhenk, Thomas Schneider, Henning Schnoor, Ilka Schnoor, et al. -
EPLogCleaner: Improving Data Quality of Enterprise Proxy Logs for Efficient Web Usage Mining
Abstract Data cleaning is an important step performed in the preprocessing stage of web usage mining, and is widely used in many data mining systems. Despite many efforts on data cleaning for web server logs, it is still an open question for...
2013 / Hongzhou Sha, Tingwen Liu, Peng Qin, Yong Sun, Qingyun Liu -
The Matlab Toolbox for Modeling Complex Mechanisms2014 / I. Pająk