Research Publications
All Book Chapter | |
| Narrow your search | 166 result(s) |
By Type By Year By Research Group
| Web service composition (WSC) offers a range of solutions for rapid creation of complex applications in advanced service-oriented systems by facilitating the composition of already existing concrete web services. One critical challenge in WSC is the ... Real-time operating systems (RTOSes) are required to run for years without human intervention, and never fail. Safety is a concern when they control physical equipment. One strand of real-time operating system (RTOS) research is looking at the question: ... In this chapter, we revisit the energy reduction technique in DVFS-enabled processors. After formulating the problem of slack reclamation in an optimization form by selection of multiple processor frequencies, we propose an algorithm based on linear ... ..., as protocols typically employed in WMN are, for the most part, not designed for real-time communications. In this chapter, the authors describe a wireless mesh network architecture to solve the communication needs of the traffic control system in Sydney.... Building on a previous lecture in the summer school, the introduction to interactive proof, this lecture demonstrates a specific application of interactive proof assistants: the semantics of programming languages. In particular, I show how to formalise a ... |