Computer and information sciences topic list of research papers
-
The Length of Subset Reachability in Nondeterministic Automata
Abstract We study subset reachability in nondeterministic finite automata and look for bounds of the length of the shortest reaching words for automata with a fixed number of states. We obtain such bounds for nondeterministic automata over 2-letter, ...
2008 / Pavel Martyugin -
Regularity in PDA Games Revisited
Abstract We study the regularity of sets of winning configurations (winning regions) in countable-state stochastic games played on transition graphs of pushdown automata (PDA games) with reachability objectives. Our main result is proving the...
2009 / Václav Brožek -
Petri Nets with Non-blocking Arcs are Difficult to Analyze
Abstract In this paper, we study the decidability of five problems on a class of extended Petri nets. The study of this class of extended Petri nets is motivated by the problem of parametric verification of multiple copies of processes that can...
2004 / Jean-François Raskin, Laurent Van Begin -
A Theory of Reactive Components
Abstract We present a theory of reactive components. We identify a component by its provided services, and specify the individual services by a guarded-design, which enables one to separate the responsibility of clients from the commitment made by...
2006 / Jifeng He, Xiaoshan Li, Zhiming Liu -
Towards a Programming Language in Cellular Computing
Abstract Several solutions to hard numerical problems using P systems have been presented recently, and strong similarities in their designs have been noticed. In this paper we present a new solution, to the Partition problem, via a family of...
2005 / Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, Agustín Riscos-Núñez -
A General Framework for Overlay Visualization
Abstract If visualization is more effective when accompanied by narration, why not superimpose visualization on narration? This might result in better transfer of learning. We will present a general framework for such superimposed visualization,...
2007 / Tihomir Piskuliyski, Amruth Kumar -
Model-checking the Preservation of Temporal Properties upon Feature Integration
Abstract Model checking is a popular technique for proving properties of systems. When systems are updated with new features, however, one would like to avoid having to re-run the model checking procedure on properties which were true before the...
2005 / Dimitar P. Guelev, Mark Ryan, Pierre Yves Schobbens -
Using a POWDER Triple Store for Boosting the Real-time Performance of Global Agricultural Data Infrastructures
Abstract As the trend to open up data and provide them freely on the Internet intensifies, the opportunities to create added value by combining and cross-indexing heterogeneous data at a large scale increase. To seize these opportunities we need...
2012 / Pythagoras Karampiperis, Nikos Manouselis, Stasinos Konstantopoulos -
Preface2005 / Gerald Lüttgen, Natividad Martínez Madrid, Michael Mendler
-
An Equivalence Based Method for Compositional Verification of the Linear Temporal Logic of Constraint Automata
Abstract Constraint automaton is a formalism to capture the operational semantics of the channel based coordination language Reo. In general constraint automaton can be used as a formalism for modeling coordination of some components. In this paper...
2006 / Mohammad Izadi, Ali Movaghar Rahimabadi -
Range and Set Abstraction using SAT
Abstract Symbolic decision trees are not the only way to correlate the relationship between flags and numeric variables. Boolean formulae can also represent such relationships where the integer variables are modelled with bit-vectors of...
2010 / Edd Barrett, Andy King -
Preface2008 / Ian Mackie, Detlef Plump
-
A data and code model for reproducible research and executable papers
Abstract This proposal describes how data, program code, and presentation can be stored together in a single file suitable for electronic publication and permitting the reproduction of computational results.. Universality, effciency,...
2011 / Konrad Hinsen -
Testing NBU(2) class of life distribution based on goodness of fit approach
Abstract In this paper, new testing procedures for exponentiality against the NBU(2) class is addressed based on the goodness of fit approach. It is shown that the proposed test has high relative efficiency for some commonly used alternative and...
2010 / M. Kayid, L.S. Diab, A. Alzughaibi -
Rapid collision detection for deformable objects using inclusion-fields applied to cloth simulation
Abstract We introduce an inclusion-field technique for fast detection of collisions between a highly deformable object and another object with limited deformations. We mainly target the cloth simulation application where cloth (highly deformable)...
2011 / Asma A. ElBadrawy, Elsayed E. Hemayed, Magda B. Fayek -
A Natural Implementation of Plural Semantics in Maude
Abstract Recently, a new semantics for non-deterministic lazy functional(-logic) programming has been presented, in which the treatment of parameter passing was different to previous proposals like call-time choice (CRWL) and run-time choice (term...
2010 / Adrián Riesco, Juan Rodríguez-Hortalá -
Action Refinement for Real-Time Concurrent Processes with Urgency
Abstract We propose an action refinement approach for real-time concurrent processes with urgent interactions, where a partial-order setting, timed bundle event structures, is used as the system model and a real-time LOTOS-like process algebra is...
2005 / Guangping Qin, Jinzhao Wu -
Three-Layered Source-Code Modelling
Abstract Models of software must serve many roles; storage management, information representation and information interchange. A model tailored to a specific role is often inadequate for, and incapable of, supporting other roles. For this reason, we ...
2004 / Anthony Cox, Charles Clarke -
Semantics of Biological Regulatory Networks
Abstract The aim of the paper is to revisit the model of Biological Regulatory Networks (BRN) which was proposed by René Thomas to model the interactions between a set of genes. We give a formal semantics for BRN in terms of transition systems which ...
2007 / Gilles Bernot, Franck Cassez, Jean-Paul Comet, Franck Delaplace, Céline Müller, et al. -
Modeling and Analyzing the Implementation of Latency-Insensitive Protocols Using the Polychrony Framework
Abstract As Globally Asynchronous and Locally Synchronous (GALS) based System-on-chip (SoC) are gaining importance, a special case of GALS when the global clocking is preserved, but the interconnect delays of multiple clock cycles are to be...
2009 / Bin Xue, Sandeep K. Shukla