Concept

English contract law

Related publications (27)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Automated Formal Verification of Software Network Functions

Solal Vincenzo Pirelli

Formally verifying the correctness of software is necessary to merit the trust people put in software systems. Currently, formal verification requires human effort to prove that a piece of code matches its specification and code changes to improve verifiab ...

EPFL2024

Writing and Drawing Inventions: Patents and Technology in France and the United States (18th-19th centuries)

Jérôme Baudry

Description (through texts, images, models or samples) played a central role in the patent regimes that emerged in the eighteenth century, first in England, later in the United States and in France. Description ensured that the contract—protection in excha ...

2023

Demand-based operations of vehicle sharing systems

Selin Ataç

Vehicle sharing systems (VSSs) allow users to rent vehicles for a short period of time, in a more flexible and convenient manner compared to the traditional vehicle rental services. The long-term VSS subscription replaces the need for contract signing for ...

EPFL2023

La Technologie et les brevets d'invention aux XVIIIe et XIXe siècles

Jérôme Baudry

(FR) Dans les régimes de brevets d’invention qui se mettent en place au XVIIIe siècle, d’abord en Angleterre puis aux États-Unis et en France, la description (par le texte, l’image, le modèle, l’échantillon) occupe un rôle central. Elle permet d’opérationn ...

2020

Performance Contracts for Software Network Functions

George Candea, Solal Vincenzo Pirelli, Arseniy Zaostrovnykh, Rishabh Ramesh Iyer, Luis David Figueiredo Mascarenhas Moreira Pedrosa

Software network functions (NFs), or middleboxes, promise flexibility and easy deployment of network services but face the serious challenge of unexpected performance behaviour. We propose the notion of a performance contract, a construct formulated in ter ...

USENIX ASSOC2019

Local Energy Storage and Stochastic Modeling for Ultrafast Charging Stations

Hubert Girault, Heron Vrubel, Yorick Ligen

Multi-stall fast charging stations are often thought to require megawatt-range grid connections. The power consumption profile of such stations results in high cost penalties due to monthly power peaks and expensive linkage fees. A local energy storage sys ...

2019

A View on Venetian Apprenticeship through the Garzoni Database

Giovanni Colavizza

A sample of contracts of apprenticeship from three periods in the history of early modern Venice is analysed, as recorded in the archive of the Giustizia Vecchia, a venetian magistracy. The periods are the end of the 16th century, the 1620s and the 1650s. ...

Universitas Studiorum2017

Termination of Open Higher-Order Programs

Viktor Kuncak, Nicolas Charles Yves Voirol, Ravichandhran Kandhadai Madhavan

We study the problem of proving termination of open, higher-order programs with recursive functions and datatypes. We identify a new point in the design space of solutions, with an appealing trade-off between simplicity of specification, modularity, and am ...

2017

Apprenticeship in Early Modern Venice

Giovanni Colavizza

The desire of the Republican state to regulate the production and sale of food led to the establishment, during the twelfth century, of the Giustizia Vecchia, a magistracy which later developed an authority over the majority of the city’s guilds. The furth ...

Cambridge University Press2017

Essays in Bank Financing

Yalda Sigrist

This thesis examines the optimal mode of financing for banks and financial institutions. The first chapter, which is a joint work with Prof. Jean-Charles Rochet, investigates how Systemically Important Financial Institutions (SIFIs) should be financed. The ...

EPFL2017