Archives for INGI

INGI seminar

Reasoning About a Machine with Local Capabilities - Provably Safe Stack and Return Pointer Management by Dominique Devriesse, KUL Capability machines provide security guarantees at machine level which makes them an interesting target for secure compilation schemes that provably enforce...
Cliquez pour en savoir plus

ICTEAM - Public Thesis defense - Antoine CAILLIAU

Software Requirements Engineering: A Risk-Driven Approach Requirements Engineering (RE) is concerned with t he elicitation, evaluation, specification, analysis and evolution of the requirements on a software-intensive system. Risk analysis at RE time aims at an ticipating adverse conditions...
Cliquez pour en savoir plus

INGI Seminar - Vivide: Interleaving of Modification and...

Many programmers use programming tools but hesitate to modify them to accommodate challenging scenarios—taking on the role of a tool builder seems too costly, maybe not even rewarding. We propose a new perspective on graphical tools and provide a framework to build and modify such tools with a...
Cliquez pour en savoir plus

ICTEAM - Public Thesis defense - S.Van Cauwelaert

Engineering Scalable Propagation in Constraint Programming Constraint Programming is a declarative paradigm to solve combinatorial problems. This thesis focuses on one of its core components, propagation, which is responsible for eliminating provable wrong combinations. Besides, the amount of...
Cliquez pour en savoir plus

Monitoring the Quality of Cloud Services using...

Cloud Computing represents a new trend in the development and use of software. Many organizations are currently adopting the use of services that are hosted in the cloud by employing the Software as a Service (SaaS) model. Services are typically accompanied by a Service Level Agreement...
Cliquez pour en savoir plus