Computer reservation system

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.

In trusted execution environments, the authenticity and security properties of a computer system are determined by examining its attestation. Reviewing the attestation should be sufficient to evaluate the system's correctness; however, this is not the case today. Proprietary system software cannot be audited for security, while existing isolation abstractions fail to capture important nuances, such as the existence of transient-execution attacks. In this thesis, we demonstrate that, through software-only c

This study aims to examine the future of computer science programs in higher education in North Africa in the age of AI. The main objective is to identify expectations of students enrolled in a bachelor program in computer systems development regarding curriculum reform, with a focus on the professions of tomorrow. Through a survey, 170 responses were collected from final-year bachelor students in Tunisia regarding the changes they would make to their program if they were responsible for their university ed

Since their invention more than half a century ago, computers have gone from being just an handful of expensive machines each filling an entire room, to being an integral part of almost every aspect of modern life. Nowadays computers are everywhere: in our ...

Designing computer systems for educational purpose is a difficult task. While many of them have been developed in the past, their use in classrooms is still scarce. We make the hypothesis that this is because those systems take into account the needs of individuals and groups, but ignore the requirements inherent in their use in a classroom. In this work, we present a computer system based on a paper and tangible interface that can be used at all three levels of interaction: individual, group, and classroom

The last three decades have seen computers invading our society: computers are now present at work to improve productivity and at home to enlarge the scope of our hobbies and to communicate. Furthermore, computers have been involved in many critical system ...

This thesis focuses on the decisional process of autonomous systems, and more particularly, on the way to take a decision when the time at disposal in order to assess the whole situation is shorter than necessary. Indeed, numerous systems propose solutions ...

This paper provides an overview of the area of automated dominance estimation in group meetings. We describe research in social psychology and use this to explain the motivations behind suggested automated systems. With the growth in availability of conversational data captured in meeting rooms, it is possible to investigate how multi-sensor data allows us to characterize non-verbal behaviors that contribute towards dominance. We use an overview of our own work to address the challenges and opportunities in

Improving the dependability of computer systems is a critical and essential task. In this context, the paper surveys techniques that allow to achieve fault tolerance in distributed systems by replication. The main replication techniques are first explained. Then group communication is introduced as the communication infrastructure that allows the implementation of the different replication techniques. Finally the difficulty of implementing group communication is discussed, and the most important algorithms

Over the past decade a new family of optoelectronic devices has emerged whose performance is enhanced by placing the active device structure inside a Fabry–Perot resonantmicrocavity [P. E. Green, IEEE Spectrum 13 (2002)]. The increased optical field allows photodetectors to be made thinner and therefore faster, while simultaneously increasing the quantum efficiency at the resonant wavelengths. We have demonstrated a variety of resonant cavity enhanced (RCE) photodetectors in compound semiconductors [B. Yang

Developing computer systems that are both concurrent and evolving is challenging. To guarantee consistent access to resources by concurrent software components, some synchronization is required. A synchronization logic, or policy, is at present entangled in the component code. Adding a new component or modifying existing components, which may require a change of the (global) synchronization policy, is therefore subjected to an extensive inspection of the complete code. We propose a calculus of concurrency c

In this work we explore the potentialities of a representational framework based on Matching Pursuit (MP) for the decomposition of audio-visual signals over redundant dictionaries. It is relatively easy for a human to correctly interpret a scene consisting on a combination of acoustic and visual stimuli and to take profit of both the information to experience a richer perception of the world. On the contrary, computer systems have considerable difficulties when having to deal with multimodal signals, and th

Since the 90's, the Internet has tremendously evolved in terms of number and diversity of available services. In this trend, proxies are playing a central role and are spread all over the net. Today, the only functionality of proxies is to speed content access through caching only considering statistics based on use made by a user group, all together. Nowadays, evolutions are focusing on two main trends: specific infrastructures that do not comply anymore with the Web universality or individual applications

Many information systems are used in a problem solving context. Examples are travel planning systems, catalogs in electronic commerce, or agenda planning systems. They can be made more useful by integrating problem-solving capabilities into the information systems. This poses the challenge of scaleability: when hundreds of users access a server at the same time, it is important to avoid excessive computational load. We present the concept of SmartClients: lightweight problem-solving agents based on constrai

A computer system for the promotion of the rational use of energy in the industry has been developed. It combines the PINCHLENI software developed by the LENI (Laboratory of industrial Energy Systems) of the Swiss Federal Institute of Technology (Lausanne) and the web based platform EXSYS developed initially by the LASSC (Laboratory for the Analysis and the Synthesis of Chemical Systems) at the University of Liège (B) with the support of the European commission. It represents an efficient platform for solvi

Cartography is one of the major application areas using geographical databases. Whether it is for the business of producing paper maps for sale, or whether it is for displaying maps on a screen to visualize the result of a query, we need computer systems that know how to represent the same geographical area at different scales. The concept of multiscale database has become popular in the GIS domain as a way to enforce consistency between representations and reduce the global update load. Scaling, however, i

Connection Admission Control (CAC) algorithms are used to decide whether an incoming connection should be accepted or rejected in a node of a network offering reservation based services in order to maintain the guaranteed Quality of Service (QoS) in the network. In this paper, we consider the statistical CAC algorithm proposed by Elwalid et al. [ 2 ]. The traffic model is made of ON-OFF sources and the QoS parameter is the loss probability. Based on the traffic descriptors of existing and incoming connectio

We analyse and illustrate two approaches that we have developed for providing reservations to flows. The first approach uses the explicit reservation model: a traffic profile is negotiated between users and the network. ATM and RSVP are two examples for this approach. In this paper we describe our experience in the ACT project EXPERT (AC094) with the explicit reservation model in the context of ATM. We show that the integration of ATM in a TCP/IP oriented operating system is easy and does not require develo

The concept of mobile agents promises new ways of designing applications that better use the resources and services of computer systems and networks. For example, moving a program (e.g. search engine) to a resource (e.g. database) can save a lot of bandwidth and can be an enabling factor for applications which otherwise would not be practical due to network latency. Leveraging on the strengths of Java, several Java-based mobile agent platforms became available recently. This report introduces features Java-

Computer reservation system

Chat with Graph Search

System Software Design for Undiluted Attestation

Rethinking Higher Computer Science Education in the Age of AI: Insights from Students in Tunisia

State Machine Replication : from Analytical Evaluation to High-Performance Paxos

Paper Interface Design for Classroom Orchestration

Concurrency and dynamic protocol update for group communication middleware

Multi-experts scheduling system for real-time applications

Identifying Dominant People in Meetings from Audio-Visual Sensors

Identifying Dominant People in Meetings from Audio-Visual Sensors

Dependable Systems

High-speed Si resonant cavity enhanced photodetectors and arrays

Concurrency Combinators for Declarative Synchronization

Multimodal Analysis Using Redundant Parametric Decompositions

Proxys Internet avancés

SmartClients: Constraint satisfaction as a paradigm for scaleable intelligent information systems

Promotion de l'utilisation rationnelle de l'énergie dans l'industrie par PINCHLENI

GIS Databases: From Multiscale to MultiRepresentation

Regulation of a Connection Admission Control Algorithm

Reservation Models, From Arequipa to SRP

Technology Review of Java-based Mobile Agent Platforms