Computer and information sciences topic list of research papers
-
A Real-time BLE Enabled ECG System for Remote Monitoring
Abstract A major requirement of ubiquitous healthcare systems consists in the provision of low power usage, battery operated devices that are used in long term patient monitoring. Thus far, researchers have tried to adapt various short range...
2013 / Farid Touati, Rohan Tabish, Adel Ben Mnaouer -
Higher-Order Nets for Mobile Policies
Abstract Since the early 80's the combination of Petri nets and rule-based transformations has been extensively researched to obtain new concepts and results. In this paper we consider rules as tokens leading to the concept of higher-order nets for...
2005 / Kathrin Hoffmann, Till Mossakowski, Francesco Parisi-Presicce -
What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications?
Abstract In this paper we introduce briefly a notation dedicated to model navigation of Web applications and we discuss some strategies to assess the usability over navigation models built with such as a notation. Our aim with this kind of...
2006 / Marco Winckler, Eric Barboni, Philippe Palanque, Christelle Farenc -
An Exercise on Transition Systems
Abstract Labelled transition systems admit different but equivalent characterizations either as relational structures or coalgebras for the powerset functor, each of them with their own merits. Notions of simulation and bisimulation, for example,...
2008 / Paula R. Ribeiro, L.S. Barbosa, Shuling Wang -
Preface2007 / Ganesh Gopalakrishnan
-
A Technique to Build Debugging Tools for Lazy Functional Logic Languages
Abstract This paper is based on a recently developed technique to build debugging tools for lazy functional programming languages. With this technique it is possible to replay the execution of a lazy program with a strict semantics by recording...
2009 / Bernd Braßel -
Model Checking Publish/Subscribe Notification for thinkteam®
Abstract This paper reports on the fruitful combination of academic experience with formal modelling techniques and industrial experience with requirements exploration. We study the addition of a publish/subscribe notification service to thinkteam ...
2005 / Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, et al. -
A Parallel Approach to Concolic Testing with Low-cost Synchronization
Abstract This paper presents a practical approach to parallelize the test data generation algorithm by which computing resources can be fully used. The test data generation approach that we are using is based on the dynamic symbolic execution...
2011 / Xiao Yu, Shuai Sun, Geguang Pu, Siyuan Jiang, Zheng Wang -
Some Experience on the Software Engineering of Abstract Interpretation Tools
Abstract The “right” way of writing and structuring compilers is well-known. The situation is a bit less clear for static analysis tools. It seems to us that a static analysis tool is ideally decomposed into three building blocks: (1) a front-end,...
2010 / Bertrand Jeannet -
Concurrent LSC Verification
Abstract Partially Ordered Symbolic Automata (POSAs) are used as the semantical foundation of visual formalisms like the scenario based language of Live Sequence Charts (LSCs). To check whether a model satisfies an LSC requirement, the LSC's POSA...
2006 / Tobe Toben, Bernd Westphal -
Preface2007 / Carlos Canal, Mirko Viroli
-
Cryptographic Versus Trust-based Methods for MANET Routing Security
Abstract Mobile Ad-hoc Networks (MANETs) allow wireless nodes to form a network without requiring a fixed infrastructure. Early routing protocols for MANETs failed to take security issues into account. Subsequent proposals used strong cryptographic...
2008 / Jared Cordasco, Susanne Wetzel -
Handling Model Changes: Regression Testing and Test-Suite Update with Model-Checkers
Abstract Several model-checker based methods to automated test-case generation have been proposed recently. The performance and applicability largely depends on the complexity of the model in use. For complex models, the costs of creating a full...
2007 / Gordon Fraser, Bernhard K. Aichernig, Franz Wotawa -
The ρ-spi Calculus at Work: Authentication Case Studies2004 / Riccardo Focardi, Matteo Maffei
-
Designation and Implementation of Microcomputer Principle and Interface Technology Virtual Experimental Platform Website
Abstract This paper explicitly discusses the designation and implementation thought and method of Microcomputer Principle and Interface Technology virtual experimental platform website construction. The instructional design of this platform mainly...
2012 / JinYue Gao, Yin Tang -
An ECA-based Control-rule formalism for the BPEL Process Modularization
Abstract Because businesses are constantly changing, the control flow of business process must be pluggable, i.e., it should be defined in a flexible manner so that any change in the flow can be easily accommodated. The problem of abstraction with...
2012 / Bang Ouyang, Farong Zhong, Huan Liu -
The Research of Supply Chain Information Collaboration Based on Cloud Computing
Abstract Cloud computing is a rising information technology; it appears which make supply chain information collaboration easy and feasible. The essay summarizes the influence factors of supply chain information collaboration; the core technology of ...
2011 / Chen Jun, Ma Yan Wei -
Evolutionary grammars based design framework for product innovation
Abstract Innovation and creativity are the key successful factors and a global priority in engineering industries. This paper describes the development of an evolutionary grammars based design framework for product innovation. A new genetic...
2012 / Ho Cheong Lee, Tutut Herawan, A. Noraziah -
Security management and deployment of distributed digital mine system
Abstract Distributed system has been used in Digital Mine System. Because of the complexity inherent in distributed systems, security has become a crucial aspect in it. This paper proposed an access control mechanism for distributed system. By...
2009 / Ai-juan Zhang, Cheng Ji -
A Novel CBIR Approach to Differential Diagnosis of Liver Tumor on Computed Tomography Images
Abstract Liver tumor is one of the deadliest diseases which can be cured without much difficulty if diagnosed in early stages. Content based image retrieval (CBIR) constitutes an important tool in computer aided diagnosis (CAD) which improves the...
2012 / Megha.P. Arakeri, G. Ram Mohana Reddy