Secure systems are best built on top of a small trusted operating system: The smaller the operating system, the easier it can be assured or verified for correctness. In this pape...
This research reports on the deferred system software model to inform semantic and contextual information sharing in Web applications. Contextual information sharing requires soft...
Choosing the appropriate type of video input is an important issue for any vision-based system and the right decision must take into account the specific requirements of the inten...
Production of a large-scale software system involves quite a few software components. It is very common to develop such software components in a distributed environment consisting...
It is important yet hard to identify navigational queries in Web search due to a lack of sufficient information in Web queries, which are typically very short. In this paper we st...