ReGTime 1 (Rent Gigaaops someTimes) is a software package that helps to rent unused computing power. Sites ooer unused resources on a \computing power market". Customers specify their requirements using World Wide Web. ReGTime creates an ooer based on available capacities. If the ooer is accepted, ReGTime helps to establish a contract, organizes the access, observes the compliance with the cont...

An unrelentingly challenging business environment has also prompted corporate banking clients to take measures to ensure that they have an efficient working-capital ecosystem to support their local treasuries. This trend is also forcing banks to consider new transaction banking models, especially around cost optimization. These circumstances have made e-invoicing an increasingly popular topic o...

We present a PVS specification of an invoicing system. We use PVS’s features to structure the specification, to define types and operations on them. We put special emphasis on PVS’s capabilities to add information to a specification meant to be redundant, and to check that this information for consistency. We heavily use the possibility to define the type of some argument to a function dependin...

In 2011 the Chilean National Health Fund (FONASA) commissioned a study to assess the costs of the 120 most relevant hospital care services with an established fee, in a large sample of public hospitals. We herein report the cost evaluation results of such study, considering the financial condition of those hospitals in the year of the study. Based on the premise that the expenses derived from t...

The general objective of the study was to investigate influence Integrated Financial Management Information System on procurement performance Baringo County Government. In particular, assessed effect online plan, tendering, invoicing, and payment Diffusion innovation theory, Systems Success Model, E-Technology Perspective Theory Transaction cost theory theories guided study. Explanatory researc...