Isolation-only Transactions by Typing and Versioning

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.

Protocol narrations are a widely-used informal means to describe, in an idealistic manner, the functioning of cryptographic protocols as a single intended sequence of cryptographic message exchanges among the protocol’s participants. Protocol narrations ha ...

SCALA is an attractive programming language because it is both very expressive and statically strongly typed. This marriage against nature comes at the price of a certain complexity in the language constructs and the static analysis. This complexity makes ...

The use of inhabited Virtual Environments is continuously growing. People can embody a human-like avatar to participate inside these Virtual Environments or they can have personalized character acting as mediator; sometimes they can even customize it to so ...

Scala is a general-purpose programming language developed at EPFL. It combines concepts coming from object-oriented languages with other ones coming from functional languages. Scala is strongly typed and comes with a relatively complex type system, which i ...

Early stages of hot-electron thermalization in small gold nanoparticles wrapped in an adsorbates shell have been investigated by femtosecond transient absorption spectroscopy. Type-I hot electrons thermalize in 800 fs (to form type-II hot electron) either ...

Metamodeling became in the last decade a widely accepted tool to describe the (abstract) syntax of modeling languages in a concise, but yet precise way. For the description of the language's semantics, the situation is less satisfactory and formal semantic ...

We propose a new type of “hybrid” ultrasonic driving principle for our monolithic piezoelectric actuators, which consist of simple electrode patterning on a PZT ceramic substrate The operating principle of the proposed USM is based on the conversion of ell ...

Open multithreaded transactions constitute building blocks that allow a developer to design and structure the execution of complex distributed systems featuring cooperative and competitive concurrency in a reliable way. In this paper we describe an optimiz ...

The preparation of oligoribonucleotides is of great interest for structural and functional investigations in biomolecular chemistry and biology. Relevant RNAs are relatively long and contain often modifications. Two methods for their preparation are curren ...

The detection of chromosomal aberrations constitutes an important stage in the comprehension of the pathogenesis of several diseases, as cancer. In this case, the amplification or deletion (suppression) of some chromosomal regions, was identified as being ...

In today's largest open environment, the World Wide Web, human-to-computer interactions are predominant. The natural evolution envisioned by many people is towards a Web in which the majority of interactions will be computer-to-computer. This has certain b ...

Visual modeling languages have specialized diagrams to represent behavior and concepts. This diagram specialization has drawbacks like the dif-ficulty to represent the effects of actions. We claim that visual contracts can de-scribe actions in a more compl ...

We present a method of formal description of the action semantics in smart objects. Smart objects were primarily used for behavioral animation in the past. We demonstrate, how a formally described semantics can be used for action planning purposes by intel ...

The longitudinal piezoelectric coefficient d(33) measured by the quasistatic (Berlincourt-type) method is strongly dependent on the sample aspect ratio (thickness/lateral dimension) and the type of contacts used to collect the charge and apply the pressure ...

Protocol narrations are an informal means to describe, in an idealistic manner, the functioning of cryptographic protocols as a single intended sequence of cryptographic message exchanges among the protocol's participants. Protocol narrations have also bee ...

The vast majority of papers on distributed computing assume that processes are assigned unique identifiers before computation begins. But is this assumption necessary? What if processes do not have unique identifiers or do not wish to divulge them for reas ...

A new approach combining electrostatic and covalent bonds was established for the formation of resistant capsules with long-term stability under physiol. conditions. Three kinds of interactions were generated in the same membrane: (1) electrostatic bonds b ...

Isolation-only Transactions by Typing and Versioning

Chat with Graph Search

A formal semantics for protocol narrations

Foundations for SCALA : semantics and proof of virtual types

In Search for your own Virtual Individual

A typed intermediate language and algorithms for compiling scala by successive rewritings

Role of Adsorbates on Dynamics of Hot-Electron (type I and II) Thermalization within Gold Nanoparticles

An OCL Semantics Specified with QVT

Ultrasonic monolithic piezoelectric multi DOF actuators for mobile microrobots

Looking Ahead in Open Multithreaded Transactions

Optimized methods for the enzymatic ligation of oligoribonucleotides and analogues

Détection des aberrations chromosomiques basée sur les profiles d'expression des gènes et les données aCGH

Service discovery, composition and execution for large scale open environments

Validation of Visual Contracts for Services

Action Semantics in Smart Objects

Analytical modeling of the apparent d(33) piezoelectric coefficient determined by the direct quasistatic method for different boundary conditions

A Formal Semantics For Protocol Narrations

What Can Be Implemented Anonymously?

Formation of Microcapsules from Polyelectrolyte and Covalent Interactions