Marcelo Finger

Learn More
We introduce a methodology whereby an arbitrary logic system L can be en riched with temporal features to create a new system T L The new system is constructed by combining L with a pure propositional temporal logic T such as linear temporal logic with Since and Until in a special way We refer to this method as adding a temporal dimension to L or just(More)
Grid computing technology improves the computing experiences at organizations by effectively integrating distributed computing resources. However, just a small fraction of currently available Grid infrastructures focuses on reutilization of existing commodity computing resources. This paper introduces InteGrade, a novel object-oriented middleware Grid(More)
Although temporal databases have received considerable at tent ion as a topic for research, little work in the area has paid at tent ion t o the concurrency control mechanisms that might be employed in temporal databases. This paper describes how the not ion of the current time also called ‘now’ i n valid-time databases can cause standard serialisation(More)
The InteGrade project is a multi-university effort to build a novel grid computing middleware based on the opportunistic use of resources belonging to user workstations. The InteGrade middleware currently enables the execution of sequential, bag-of-tasks, and parallel applications that follow the BSP or MPI programming models. This article presents the(More)
This paper generalises and complements the work on combining temporal logics started by Finger and Gabbay [11, 10]. We present proofs of transference of soundness, completeness and decidability for the temporalisation of logics T(L) for any flow of time, eliminating the original restriction that required linear time for the transference of those properties(More)
This paper is a continuation of the work started in FG92] on combining temporal logics. In this work, four combination methods are described and studied with respect to the transference of logical properties from the component one-dimensional temporal logics to the resulting two-dimensional temporal logic. Three basic logical properties are analysed, namely(More)
Grid computing technology improves the computing experiences at organizations by effectively integrating distributed computing resources. However, just a small fraction of currently available Grid infrastructures focuses on reutilization of existing commodity computers. This paper introduces InteGrade, a novel object-oriented middleware Grid infrastructure(More)
In this paper we describe the application of a high-level programming language to the abstract modelling of transport systems. We show how METATEM, a language based upon the execution of temporal logics, can be used to model railway networks. The examples considered are abstractions of real rail systems, and we show how such abstractions can be modelled(More)