Computer and information sciences topic list of research papers
-
Revisiting Interactive Markov Chains
Abstract The usage of process algebras for the performance modeling and evaluation of concurrent systems turned out to be convenient due to their feature of compositionality. A particularly simple and elegant solution in this field is the calculus...
2004 / Mario Bravetti -
“Map Theory et Antifondation”
Abstract Map Theory is a powerful extension of type-free lamba-calculus (with only a few term constants added). Due to Klaus Grue, it was designed to be a common foundation for Computer Sciences and for Mathematics. All the primitive notions of...
2005 / Thierry Vallée -
Verifying Invariants by Approximate Image Computation
Abstract Automatic formal verification of safety properties typically requires computing reachable states of a system. A more efficient (and less automatic) alternative is to check whether a user suggested superset of reachable states is an...
2005 / Felice Balarin -
Preface
Abstract This volume contains the papers selected for presentation at the Rough Sets in Knowledge Discovery and Soft Computing Workshop (RSKD'2003), held in Warsaw, Poland, April 12-13, 2003. The workshop was organized as one of the satellite events ...
2005 / Andrzej Skowron, Marcin Szczuka -
Polish Negation and Lexical Resource Semantics1 1We would like to thank Adam Przepiórkowski for discussion, Beata Trawiński for help with Polish and Janina Radó for help with English and with the structure of our paper.
Abstract Using negative concord phenomena in Polish, we introduce and motivate Lexical Resource Semantics (LRS), a new framework for combinatorial semantics with type-theoretic representation languages in HPSG. LRS combines techniques first...
2005 / Frank Richter, Manfred Sailer -
Verification of the legOS Scheduler using Uppaal
Abstract This article concentrates on the scheduler in the operating system legOS. LegOS is an open source embedded operating system for the Lego Mindstorms® system. The scheduler in legOS practices starvation of lower priority threads. In this...
2005 / Lone Halkjaer, Karen Haervi, Anna Ingolfsdottir -
SOL: A Verifiable Synchronous Language for Reactive Systems
Abstract SOL (Secure Operations Language) is a synchronous programming language for implementing reactive systems. The utility of SOL hinges upon the fact that it is a secure language, i.e., most programs in SOL are amenable to fully automated...
2005 / Ramesh Bharadwaj -
A characterization of monotonicity with collective quantifiers
Abstract This paper studies the monotonicity behavior of plural determiners that quantify over collections. Following previous work, we describe the collective interpretation of determiners such as all, some and most using generalized quantifiers of ...
2005 / Gilad Ben-Avi, Yoad Winter -
Groupoid of orientational variants2005 / Cyril Cayron
-
A Probabilistic Model for Face Transformation with Application to Person Identification2004 / Florent Perronnin, Jean-Luc Dugelay, Kenneth Rose
-
A Novel Approach to Introducing Adaptive Filters Based on the LMS Algorithm and Its Variants2004 / E. Soria, J. Calpe, J. Chambers, M. Martinez, G. Camps, et al.
-
Big data as the new enabler in business and other intelligence2013 / Gottfried Vossen
-
An Actor Rewriting Theory
Abstract We present a semantic framework for actor systems based on rewriting logic. This framework accounts for fairness and provides a variety of semantics for actor system components that have good composability properties. ...
2004 / Carolyn L. Talcott -
Resource Access Control in Systems of Mobile Agents
Abstract We describe a typing system for a distributed π-calculus which guarantees that distributed agents cannot access the resources of a system without first being granted the capability to do so. The language studied allows agents to move...
2004 / Matthew Hennessy, James Riely -
Strongly Normalising Cut-Elimination with Strict Intersection Types
Abstract This paper defines reduction on derivations in the strict intersection type assignment system of [2], by generalising cutelimination, and shows a strong normalisation result for this reduction. Using this result, new proofs are given for...
2004 / Steffen van Bakel -
Architecture Design of an ATM Switch Based on a High Speed Network
Abstract One of the key issues that must be fulfilled to realize BISDN, is to develop high speed and high capacity ATM packet switches. For this, many technical problems must be investigated, such as design of switch architecture, development of...
2013 / Sami S. Al-Wakeel -
Emerging of Academic Information Search System with Ontology-based Approach
Abstract This paper describes the comparison of ontology development tools for development of academic information search system that assists inexperienced research students at a local university in Malaysia to search for academic resources in the...
2014 / Norasykin Mohd Zaid, Sim Kim Lau -
Automatic Eye Detection Using Fast Corner Detector of North East Indian (NEI) Face Images
Abstract This paper has focused on automatic detection eye over North-Eastern Indian (NEI) face database, which is recently developed and continually expanding in Biometric Laboratory of Tripura University (A Central University). For this purpose...
2014 / Goutam Majumder, Mrinal Kanti Bhowmik, Debotosh Bhatacharjee -
Z-MAC: Performance Evaluation and Enhancements
Abstract Most of the hybrid wireless sensor networks MAC protocols are based on conventional Carrier Sense Multiple Access (CSMA) wireless protocols. Z-MAC is an efficient hybrid protocol which alternates between CSMA and TDMA. It utilizes CSMA in...
2013 / Shoieb Arshad, Azzat Al-Sadi, Abdulaziz Barnawi -
Encryption as a Service (EaaS) as a Solution for Cryptography in Cloud
Abstract In recent years, there has been a vast interest in optimal usage of computing resources so that massive data can be processed with minimal cost. The need to use a pool of shared resources in a wide area network that provide elasticity, high ...
2014 / Hossein Rahmani, Elankovan Sundararajan, Zulkarnain Md. Ali, Abdullah Mohd Zin