Computer and information sciences topic list of research papers
-
Syntactic Logical Relations for Polymorphic and Recursive Types
Abstract The method of logical relations assigns a relational interpretation to types that expresses operational invariants satisfied by all terms of a type. The method is widely used in the study of typed languages, for example to establish...
2007 / Karl Crary, Robert Harper -
An Application-Oriented Framework for Wireless Sensor Network Key Establishment
Abstract The term wireless sensor network is applied broadly to a range of significantly different networking environments. On the other hand there exists a substantial body of research on key establishment in wireless sensor networks, much of which ...
2008 / Keith M. Martin, Maura Paterson -
Code Generation for Parallel Applications Modelled with Object-Based Graph Grammars
Abstract During the development of a parallel application, besides being able to analyze performance aspects, it is highly desirable to be able to assure functional properties as early as possible. Assuring functional properties about a model of the ...
2007 / Fábio Pasini, Fernando L. Dotti -
On the Comparison of Proof Planning Systems: , Ωmega and IsaPlanner
Abstract We present a framework for describing proof planners. This framework is based around a decomposition of proof planners into planning states, proof language, proof plans, proof methods, proof revision, proof control and planning algorithms. ...
2006 / Louise A. Dennis, Mateja Jamnik, Martin Pollet -
Reachability in Timed Counter Systems
Abstract We introduce Timed Counter Systems, a new class of systems mixing clocks and counters. Such systems have an infinite state space, and their reachability problems are generally undecidable. By abstracting clock values with a Region Graph, we ...
2009 / Florent Bouchy, Alain Finkel, Arnaud Sangnier -
Syntax-driven Behavior Partitioning for Model-checking of Esterel Programs
Abstract We consider the issue of exploiting the structural form of Esterel programs to partition the algorithmic RSS (reachable state space) fix-point construction used in model-checking techniques. The basic idea sounds utterly simple, as seen on...
2006 / Eric Vecchié, Robert de Simone -
Tableau Tool for Testing Satisfiability in LTL: Implementation and Experimental Analysis
Abstract We report on the implementation and experimental analysis of an incremental multi-pass tableau-based procedure à la Wolper for testing satisfiability in the linear time temporal logic LTL, based on a breadth-first search strategy. We...
2010 / Valentin Goranko, Angelo Kyrilov, Dmitry Shkatov -
Distributed Framework for Adaptive Explanatory Visualization
Abstract Educational tools designed to help students understand programming paradigms and learn programming languages are an important component of many academic curricula. This paper presents the architecture of a distributed event-based...
2007 / Tomasz D. Loboda, Atanas Frengov, Amruth N. Kumar, Peter Brusilovsky -
On Symbolic Semantics for Name-decorated Contexts
Abstract Under several regards, various of the recently proposed computational paradigms are open-ended, i.e. they may comprise components whose behaviour is not or cannot be fully specified. For instance, applications can be distributed across...
2009 / Andrea Bracciali, Roberto Bruni, Alberto Lluch Lafuente -
Using Microcomponents and Design Patterns to Build Evolutionary Transaction Services
Abstract The evolution of existing transaction services is limited because they are tightly coupled to a given transaction standard, implement a dedicated commit protocol, and support a fixed kind of applicative participants. The next challenge for...
2006 / Romain Rouvoy, Philippe Merle -
jMonitor: Java Runtime Event Specification and Monitoring Library
Abstract jMonitor is a pure Java library and runtime utility for specifying event patterns and associating them with user provided event monitors that get called when the specified runtime events occur during the execution of legacy Java...
2005 / Murat Karaorman, Jay Freeman -
Verifying a Behavioural Logic for Graph Transformation Systems2004 / Paolo Baldan, Andrea Corradini, Barbara König, Bernhard König
-
Locality of Queries and Transformations
Abstract Locality is a standard notion of finite model theory. There are two well known flavors of it, based on Hanf's and Gaifman's theorems. Essentially they say that structures that locally look alike cannot be distinguished by first-order...
2005 / Leonid Libkin -
The Design and Implementation of a GPU-enabled Multi-objective Tabu-search Intended for Real World and High-dimensional Applications
Abstract Metaheuristics is a class of approximate methods based on heuristics that can effectively handle real world (usually NP-hard) problems of high-dimensionality with multiple objectives. An existing multi-objective Tabu-Search (MOTS2) has been ...
2014 / Christos Tsotskas, Timoleon Kipouros, Anthony Mark Savill -
CIM-based Data-sharing Scheme for Online Calculation of Theoretical Line Loss
Abstract This paper presents a new CIM-based data-sharing scheme for online calculation of theoretical line loss. The proposed method can read data from other applications which are being used in electric power company, such as electrical SCADA,...
2012 / Yan Zhang, Yun Zhu, Xiaoqing Bai, Hua Wei -
HAZOP-based identification of events in use cases2013 / Jakub Jurkiewicz, Jerzy Nawrocki, Mirosław Ochodek, Tomasz Głowacki
-
A New Technology of Multi-core Prefetching
Abstract Memory access latency is a main bottleneck limiting further improvement of multi-core processor's performance, data prefetching is an effective technique to hide data access latency. This paper proposes a new hardware prefetching technique...
2011 / Fang Juan, Zhang Hongbo -
Flexible delivery of visualization software and services
Abstract An important issue in the design of visualization systems is to allow flexibility in providing a range of interfaces to a single body of algorithmic software. In this paper we describe how the ADVISE architecture provides exactly this...
2010 / Jason Wood, Jungwook Seo, David Duke, Jeremy Walton, Ken Brodlie -
Financial Markets in Motion: Visualising stock price and news interactions during the 2008 global financial crisis
Abstract This paper introduces a visualisation technique to help analyse large sets of financial data. The dataset used consists of price and news headlines for the Dow Jones Industrial Average (DJIA) and related companies for several weeks prior to ...
2010 / Elizabeth Wu, Peter Phillips -
Qualitative characteristics of enterprise architecture
Abstract Constant changes in information technology (IT) and business environments have made the demand for a powerful management for IT systems more pressing. Enterprise architecture is a framework to develop and maintain IT, to achieve...
2011 / Raouf Khayami