Computer and information sciences topic list of research papers
-
Formal Verification based on Boolean Expression Diagrams
Abstract This dissertation examines the use of a new data structure called Boolean Expression Diagrams (BEDs) in the area of formal verification. The recently developed data structure allows fast and efficient manipulation of Boolean formulae. Many...
2005 / Poul Frederick Williams -
The Complexity of Local Proof Search in Linear Logic
Abstract Proof search in linear logic is known to be difficult: the provability of propositional linear logic formulas is undecidable. Even without the modalities, multiplicative-additive fragment of propositional linear logic, mall, is known to be...
2005 / Patrick D. Lincoln, John C. Mitchell, Andre Scedrov -
Tiles, Rewriting Rules and CCS
Abstract In [12] we introduced the tile model, a framework encompassing a wide class of computational systems, whose behaviour can be described by certain rewriting rules. We gathered our inspiration both from the world of term rewriting and of...
2004 / Fabio Gadducci, Ugo Montanari -
Monitoring Java Programs with Java PathExplorer
Abstract We present recent work on the development of Java PathExplorer (JPaX), a tool for monitoring the execution of Java programs. JPaX can be used during program testing to gain increased information about program executions, and can potentially ...
2004 / Klaus Havelund, Grigore Roşu -
Don't Care Non-determinism in Logic Program Refinement
Abstract The refinement calculus for logic programs consists of a wide-spectrum language and a notion of refinement that can be used to develop programs from specifications. In a refinement, the refined program must return the same set of answers as ...
2004 / David Hemer, Robert Colvin, Ian Hayes, Paul Strooper -
Concurrency for Graph Grammars in a Petri net shell
Abstract Graph grammars are a powerful model of concurrent and distributed systems which can be seen as a proper extension of Petri nets. Inspired by this correspondence we develop truly concurrent semantics for DPO graph grammars based on...
2004 / Paolo Baldan -
Interoperability Technology Assessment
Abstract Interoperability between heterogeneous computer systems is vital to many types of enterprise applications where pressing new requirements may arise quickly and change rapidly. Achieving interoperability, however, is a complex task involving ...
2004 / Jiang Guo -
Privacy-preserving Data Management in eHealth Systems
Abstract Medical advances and historical fluctuations in the demographics are contributing to the rise of the average age in the Western world. These changes are creating a growing requirement for organizing home care for the elderly. For handling...
2014 / Milica Milutinovic, Bart De Decker -
Accessible Modeling on the Web: A Case Study
Abstract With the growth of software engineering disciplines and visual languages like the UML (Unified Modeling Language) and consequently increase of modeling activities that use this visual languages, the access of the visually impaired is harmed ...
2014 / Filipe Del Nero Grillo, Renata Pontin de Mattos Fortes -
Estimating Scalability Issues While Finding an Optimal Assignment for Carpooling
Abstract An automatic service to match commuting trips has been designed. Candidate carpoolers register their personal profile and a set of periodically recurring trips. The Global CarPooling Matching Service (GCPMS) shall advise registered...
2013 / Luk Knapen, Daniel Keren, Ansar-Ul-Haque Yasar, Sungjin Cho, Tom Bellemans, et al. -
Cyber Resiliency Engineering Overview of the Architectural Assessment Process
Abstract Missions, business functions, organizations, and nations are increasingly dependent on cyberspace where attacks are no longer limited to simple discrete events such as the spread of a virus or a denial-of-service attack. Therefore,...
2014 / Deborah J. Bodeau, Richard D. Graubart, Ellen R. Laderman -
A Semantics of Poincuts in AspectJ
Abstract In recent years, some researchers have defined many formal semantics for aspect oriented languages. However, only several papers described the semantics of pointcut pipeiing. Unfortunately, these semantics are not complete, independent on...
2013 / Xie Gang, Yang Bo, Zhang Mingyi -
An Enhanced Energy Saving Approach for WSNs
Abstract Wireless sensor networks are used today in a wide range of applications, all of which employ a large number of sensors. In large scale sensor networks, sensor nodes are often not easily accessible. Because of this, the energy consumption of ...
2013 / Tarek Sheltami -
A Bar Code Design and Encoding for Fingerprints
Abstract Fingerprint recognition is a popular, very widely used and accurate Biometric technology. Nowadays, fingerprints are being used in many real life applications such as access control, forensics, etc. However, recognizing fingerprints in poor ...
2014 / Samayita Bhattacharya, Kalyani Mali -
Gravitational Search Algorithm and Lyapunov Theory based Stable Adaptive Fuzzy Logic Controller
Abstract In this paper a new hybrid design methodology for stable adaptive fuzzy controllers for a non-linear system is proposed. The proposed design strategy utilizes the gravitational search algorithm (GSA) based heuristic global search technique...
2014 / Ananya Roy, Kaushik Das Sharma -
Integrating Mobile Setting into Modern Classroom: A Multi-user, Platform-independent, Mobile Content Management System
Abstract Following the act of Turkish government for lending students tablet PCs during their elementary school education, emerged the importance and need of development of a mobile supported e-learning software platform. The main motivation of...
2014 / Hasan Can Saral -
Experiencing Augmented Reality as an Accessibility Resource in the UNESCO Heritage Site Called “La Lonja”, Valencia
Abstract This paper presents the design of an augmented reality application for the Gothic Silk Market Building called the “Lonja de la Seda” in Valencia (UNESCO Monument Heritage Site, 1996) and the results of the experiments carried out “in-situ”...
2013 / Marina Puyuelo, José Luís Higón, Lola Merino, Manuel Contero -
Structural Complexity of Assembly Supply Chains: A Theoretical Framework
Abstract In this paper, we present a theoretical framework for modeling of assembly supply chains and propose three possible indicators to measure a structural complexity of assembly supply networks. Models of such networks are divided into classes...
2013 / V. Modrak, D. Marton -
A Low-Cost Real Color Picker Based on Arduino2014 / Juan Agudo, Pedro Pardo, Héctor Sánchez, Ángel Pérez, María Suero
-
An Internet of Things Example: Classrooms Access Control over Near Field Communication2014 / Daniel Palma, Juan Agudo, Héctor Sánchez, Miguel Macías