Computer and information sciences topic list of research papers
-
Next Generation of Embedded System on Cloud Computing
Abstract We examined the advantages of embedded systems on cloud computing. Specifically, we left only minimum functions (controller and communication) in the end device while implementing remaining functions (other controller / data processing /...
2014 / Tetsuo Furuichi, Kunihiro Yamada -
Bisimulations for Fuzzy-Transition Systems2011 / Yongzhi Cao, Guoqing Chen, Etienne E. Kerre
-
Forensic examination of computer-manipulated documents using image processing techniques2015 / Komal Saini, Shabnampreet Kaur
-
Face Recognition Using Hough Transform Based Feature Extraction
Abstract The sensitivity to illumination variations is a challenging problem in Face Recognition (FR). In this paper, a novel feature extraction method based on Hough Transform peaks is proposed to address this problem. Individual stages of the FR...
2015 / R. Varun, Yadunandan Vivekanand Kini, K. Manikantan, S. Ramachandran -
Adding Pluggable and Personalized Natural Control Capabilities to Existing Applications2015 / Fabrizio Lamberti, Andrea Sanna, Gilles Carlevaris, Claudio Demartini
-
From Mobile Data Towards Better Customer Knowledge: Proposals for an Information Framework
Abstract Along with the development of internet connected devices, Mobile Marketing is expected to be ubiquitous in the near future. In order to deliver right mobile offers, the need to better know the customer is now crucial. This article develops...
2015 / Christian Colot, Isabelle Linden -
A unifying perspective on protocol mediation: interoperability in the future internet2015 / Amel Bennaceur, Emil Andriescu, Roberto Speicys Cardoso, Valérie Issarny
-
A survey on biometric cryptosystems and cancelable biometrics2011 / Christian Rathgeb, Andreas Uhl
-
Insertion and deletion correcting DNA barcodes based on watermarks2015 / David Kracht, Steffen Schober
-
A virtual queue-based back-pressure scheduling algorithm for wireless sensor networks2015 / Zhenzhen Jiao, Baoxian Zhang, Wei Gong, Hussein Mouftah
-
Service-Oriented Policy Management for Web-Application Frameworks2009 / K. Feeney, D. Lewis, D. O'Sullivan
-
Validation of Product-Service Systems – A Prototyping Approach
Abstract Product-Service Systems (PSS) combine tangible products and intangible services in an integrated system which is offered to the customer as an individual solution. Due to interdependencies between these different system elements the...
2014 / Konrad Exner, Kai Lindow, Christian Buchholz, Rainer Stark -
Traffic Simulation System based on Fuzzy Logic
Abstract The advent of the intelligent transport systems has prompted traffic simulation to become one of the most used approaches for traffic analysis in support of the design and evaluation of traffic systems. The capability of traffic simulation...
2012 / Mohammad A. Taha, Laheeb Ibrahim -
Linear Structures for Concurrency in Probabilistic Programming Languages
Abstract We introduce a semantical model based on operator algebras and we show the suitability of this model to capture both a quantitative version of non-determinism (in the form of a probabilistic choice) and concurrency. We present the model by...
2005 / Alessandra Di Pierro, Herbert Wiklicky -
Specifying Services with UML and UML-RT
Abstract The key to systematic development of complex, reactive systems is to have a thorough understanding of the services the system provides. A service, in our view, is defined by the interplay among components required to establish a certain...
2004 / Ingolf H. Krüger -
Preface
Abstract Foreword This volume contains the Proceedings of MFPS 17, the Seventeenth Conference on the Mathematical Foundations of Programming Semantics. The conference was hosted by the Basic Research in Computer Science and Aarhus...
2005 / Stephen Brookes, Michael Mislove -
Concurrency and Refinement in the Unified Modeling Language
Abstract This paper shows how a formal notion of refinement may be defined for models, and model components, expressed in the Unified Modeling Language (UML). A formal, behavioural semantics is given to combinations of class, object, and state...
2005 / Jim Davies and, Charles Crichton -
Components for Algebra Transformation Systems
Abstract In this paper we study the instantiation of the generic notion of component introduced before in terms of algebra transformation systems, where refinements are defined by means of high-level replacement rules. With this work we follow two...
2004 / Fernando Orejas, Hartmut Ehrig -
Paths and Simulations
Abstract We study a notion of path simulation among categorical transition systems, a generalized version of labeled transition systems. We then give a characterization in terms of open maps and, in the relevant case where the labels are spans of...
2004 / Krzysztof Worytkiewicz -
Applying Light-Weight Theorem Proving to Debugging and Verifying Pointer Programs
Abstract We describe a combination of BDDs and superposition theorem proving, called light-weight theorem proving, and its application to the flexible and efficient automation of the reasoning activity required to debug and verify pointer...
2004 / Silvio Ranise, David Déharbe