Results 241 to 250 of about 3,585,800 (287)

Algorithms for Monitoring Real-Time Properties

Acta Informatica, 2012
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
David A. Basin, Felix Klaedtke, Eugen Zalinescu   +2 more
openaire   +1 more source

A verifier for real-time properties

Real-Time Systems, 1992
The purpose of this paper is (a) to present a prototype verifier for real-time temporal logic properties, and (b) to improve the average efficiency of the verification procedures over past results where possible. A process control example is used to illustrate the use of the verifier.
openaire   +1 more source

On the Elasticity of the Real Property Tax

The Journal of Finance, 1963
IN HIS ESTIMATES OF the financial resources of state and local governments for the decade of the 1960's, Netzer assumes that the income elasticity of the property tax is unity.' Criticism has been directed against this assumption since it is considerably higher than the widely accepted value of elasticity of 0.22, derived by Groves and Kahn.2 The wide ...
openaire   +1 more source

On the Ramsey property for sets of reals

Journal of Symbolic Logic, 1983
AbstractWe review some known results about the Ramsey property for partitions of reals, and we present a certain two-person game such that if either player has a winning strategy then a homogeneous set for the partition can be constructed, and conversely. This gives alternative proofs of some of the known results.
openaire   +2 more sources

Monitoring of Real-Time Properties

2006
This paper presents a construction for runtime monitors that check real-time properties expressed in timed LTL (TLTL). Due to D'Souza's results, TLTL can be considered a natural extension of LTL towards real-time. Moreover, a typical obstacle in runtime verification is solved both for untimed and timed formulae, in that standard models of linear ...
Andreas Bauer 0002, Martin Leucker, Christian Schallhart   +2 more
openaire   +1 more source

Connecting country and city: The multiple geographies of real property ownership in the US

Geography Compass, 2023
Taylor Shelton, Kelly Kay, Levi Van Sant   +2 more
exaly  

Art as Real Property

Seton Hall Law Review
Edward De Barbieri, Patricia Reyhan
openaire   +1 more source

Chinese property developers after the decline in foreign real estate investment in Sydney, Australia

Housing Studies, 2023
Xiao Ma, Dallas Rogers, Laurence Troy
exaly  

Real Property

2001
Alan Schenk, Oliver Oldman
openaire   +1 more source

Real property

2020
openaire   +2 more sources