Sciweavers

838 search results - page 117 / 168
» Operating System Support for Virtual Machines
Sort
View
ENTCS
2007
128views more  ENTCS 2007»
14 years 9 months ago
Optimisation Validation
We introduce the idea of optimisation validation, which is to formally establish that an instance of an optimising transformation indeed improves with respect to some resource mea...
David Aspinall, Lennart Beringer, Alberto Momiglia...
SP
2006
IEEE
169views Security Privacy» more  SP 2006»
15 years 3 months ago
A Safety-Oriented Platform for Web Applications
The Web browser has become the dominant interface to a broad range of applications, including online banking, Web-based email, digital media delivery, gaming, and ecommerce servic...
Richard S. Cox, Steven D. Gribble, Henry M. Levy, ...
EWSA
2004
Springer
15 years 3 months ago
ArchWare: Architecting Evolvable Software
This paper gives an overview of the ArchWare European Project1 . The broad scope of ArchWare is to respond to the ever-present demand for software systems that are capable of accom...
Flávio Oquendo, Brian Warboys, Ronald Morri...
ICAC
2006
IEEE
15 years 3 months ago
A Runtime Adaptation Framework for Native C and Bytecode Applications
— The need for self-healing software to respond with a reactive, proactive or preventative action as a result of changes in its environment has added the non-functional requireme...
Rean Griffith, Gail E. Kaiser
ISDA
2009
IEEE
15 years 4 months ago
Improving Academic Performance Prediction by Dealing with Class Imbalance
Abstract—This paper introduces and compares some techniques used to predict the student performance at the university. Recently, researchers have focused on applying machine lear...
Nguyen Thai-Nghe, Andre Busche, Lars Schmidt-Thiem...