Publication

Automated refactoring for size reduction of CSS style sheets

Related publications (33)

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.

Emotion on FPGA: Model Driven Approach

Arash Arami

Implementation of intelligent and bio-inspired algorithms in industrial and real applications is arduous, time consuming and costly; in addition, many aspects of system from high level behavior of algorithm to energy consumption of targeted system must be ...

Elsevier2009

Automatic Verification of Temporal-Epistemic Properties of Cryptographic Protocols

We present a technique for automatically verifying cryptographic protocols specified in the mainstream specification language CAPSL. We define a translation from CAPSL models into interpreted systems, a popular semantics for temporal-epistemic logic, and r ...

2009

User decision improvement and trust building in product recommender systems

Li Chen

As online stores are offering an almost unlimited shelf space, users must increasingly rely on product search and recommender systems to find their most preferred products and decide which item is the truly best one to buy. However, much research work has ...

EPFL2008

Wearable Mixed Reality System In Less Than 1 Pound

Daniel Thalmann, Frédéric Vexo, Achille Peternier

We have designed a wearable Mixed Reality (MR) framework which allows to real-time render game-like 3D scenes on see-through head-mounted displays (see through HMDs) and to localize the user position within aknown internet wireless area. Our equipment weig ...

2006

Detecting Malicious Code by Model Checking

Johannes Kinder

The ease of compiling malicious code from source code in higher programming languages has increased the volatility of malicious programs: The first appearance of a new worm in the wild is usually followed by modified versions in quick succession. As demons ...

Springer2005

Searching with semantics: an interactive visualization technique for exploring an annotated image collection

Pearl Pu Faltings

Effective opportunistic search in visual interfaces for large information collections, such as documents, Web pages, and annotated images, often requires domain knowledge that the information seeker does not have. Relevant semantic information, such as met ...

Springer - Verlag2003

Proxys Internet avancés

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 ac ...

EPFL2003

Run-time monitoring and on-line testing of middleware based communication services

With the present day's exponential growth of the (tele-)communications market, the explosion of the number of mobile communication customers, and the tremendous growth of the number of IP hosts, ensuring the reliability of communication services is one of ...

EPFL2000

Formal testing of object-oriented software

Cécile Peraire

This thesis presents a method and a tool for test set selection, dedicated to object-oriented applications and based on formal specifications. Testing is one method to increase the quality of today's extraordinary complex software. The aim is to find progr ...

EPFL1998

Testing Temporal Logic Properties in Distributed Systems

Jean-Pierre Hubaux, Shawn Koppenhoefer

Based on the notion of event-based behavioral abstraction (EBBA) we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are then observed at system run-time and it is checked whether or not the system v ...

1998