In digital libraries semantic techniques are often deployed to reduce the expensive manual overhead for indexing documents, maintaining metadata, or caching for future search. Howe...
Virtualization is a common strategy for improving the utilization of existing computing resources, particularly within data centers. However, its use for high performance computin...
John Paul Walters, Vipin Chaudhary, Minsuk Cha, Sa...
Security in mobile commerce is becoming more important due to increasing demand from users wishing to perform online transactions over mobile devices. Security is one of the criti...
Wan Huzaini Wan Hussin, Paul Coulton, Reuben Edwar...
The In-VIGO approach to Grid-computing relies on the dynamic establishment of virtual grids on which application services are instantiated. InVIGO was conceived to enable computati...
Abstract. We present a new generic problem solving approach for overconstrained problems based on Max-SAT. We first define a clausal form formalism that deals with blocks of clau...