Computer and information sciences topic list of research papers
-
Joint Optimization of Lifetime and Transport Delay under Reliability Constraint Wireless Sensor Networks2015 / Mianxiong Dong, Kaoru Ota, Anfeng Liu, Minyi Guo
-
A semi-blocking algorithm on adaptive query splitting for RFID tag identification2013 / Yuan-Cheng Lai, Chih-Chung Lin, Chiung-Hon Lee
-
New Developments in Environment Machines
Abstract In this paper we discuss and compare abstract machines for the lambda-calculus, implementing various evaluation strategies. Starting from the well-known Categorical abstract machine (CAM) and Krivine's abstract machine (KAM), we develop two ...
2009 / Maribel Fernández, Nikolaos Siafakas -
A Compositional Coalgebraic Model of a Fragment of Fusion Calculus
Abstract This work is a further step in exploring the labelled transitions and bisimulations of fusion calculi. We follow the approach developed by Turi and Plotkin for lifting transition systems with a syntactic structure to bialgebras and, thus,...
2006 / Maria Grazia Buscemi, Ugo Montanari -
Error Detection in Concurrent Java Programs
Abstract Concurrency in multithreaded programs introduces additional complexity in software verification and testing, and thereby significantly increases the cost of Quality Assurance (QA). We present a case study in which a specialized model...
2006 / Graham Hughes, Sreeranga P. Rajan, Tom Sidle, Keith Swenson -
Preface2011 / Zoltán Porkoláb, Norbert Pataki
-
Proving Modal Properties of Rewrite Theories Using Maude's Metalevel
Abstract Rewriting logic is a very expressive formalism for the specification of concurrent and distributed systems; more generally, it is a logic of change. In contrast, VLRL is a modal logic built on top of rewriting logic to reason precisely...
2005 / Isabel Pita, Miguel Palomino -
A Domain-Specific Language for Generating Dataflow Analyzers
Abstract Dataflow analysis is a well-understood and very powerful technique for analyzing programs as part of the compilation process. Virtually all compilers use some sort of dataflow analysis as part of their optimization phase. However, despite...
2006 / Jia Zeng, Chuck Mitchell, Stephen A. Edwards -
Semi-Automated Component-Based Development of Formally Verified Software
Abstract A number of formal approaches to component-based software development have been proposed, based on the idea of using formal specifications as a basis for retrieval. These approaches provide good recall and precision when searching for...
2007 / David Hemer -
Evaluating Computational Performance of Backpropagation Learning on Graphics Hardware
Abstract Although volunteer computing with a huge number of high-performance game consoles connected to the Internet is promising to achieve large-scale data mining, the programming models of such game consoles for data mining tasks are restricted....
2009 / Hiroyuki Takizawa, Tatsuya Chida, Hiroaki Kobayashi -
Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface
Abstract Electronic voting machines have complex requirements. These machines should be developed following best practice with regards to the engineering of critical systems. The correctness and security of these systems is critical because an...
2007 / Dominique Cansell, J. Paul Gibson, Dominique Méry -
Preface2009 / Gabriel Ciobanu
-
Using Bytecode Instruction Counting as Portable CPU Consumption Metric
Abstract Accounting for the CPU consumption of applications is crucial for software development to detect and remove performance bottlenecks (profiling) and to evaluate the performance of algorithms (benchmarking). Moreover, extensible middleware...
2006 / Walter Binder, Jarle Hulaas -
Term Collections in λ and ρ-calculi
Abstract The ρ-calculus generalises term rewriting and the λ-calculus by defining abstractions on arbitrary patterns and by using a pattern-matching algorithm which is a parameter of the calculus. In particular, equational theories that do not have...
2007 / Germain Faure -
An Abstract Way to Define Rewriting Logic
Abstract Since rewriting logic has been introduced, it has shown its adequateness both as a semantic and a logical framework. But the numerous applications of the rewriting logic in the above two areas has shown the importance of increasing its...
2006 / Marc Aiguier, Diane Bahrami, Delphine Longuet -
Modelling of Service-Oriented Architectures with UML
Abstract Nowadays, service-oriented architectures are becoming gradually more important. The vast diversity of implementation and support platforms for this kind of architectures (such as Web, Grid or even CORBA) increases the complexity of the...
2008 / Marcos López-Sanz, César J. Acuña, Carlos E. Cuesta, Esperanza Marcos -
Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation
Abstract The interpretative approach to compilation allows compiling programs by partially evaluating an interpreter w.r.t. a source program. This approach, though very attractive in principle, has not been widely applied in practice mainly because...
2007 / Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla -
A Parametric Calculus for Mobile Open Code
Abstract We present a simple parametric calculus of processes which exchange open mobile code, that is, code which may contain free variables to be bound by the receiver's code. Type safety is ensured by a combination of static and ...
2008 / Davide Ancona, Sonia Fagorzi, Elena Zucca -
Supporting ArcAngel in ProofPower
Abstract ArcAngel is a specialised tactic language devised to facilitate and automate program developments using Morgan's refinement calculus. It is especially well-suited for the specification of high-level strategies to...
2009 / Frank Zeyda, Marcel Oliveira, Ana Cavalcanti -
Developing Java Card Applications with B
Abstract This work proposes a methodology for the rigorous development of Java Card smart card applications, using the B Method. Its main feature is to abstract the particularities of Java Card and smart card aware applications from the specifier as ...
2007 / Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira, David Déharbe