Pharos is a collaborative application which enables users to share document annotations. Annotations of a same subject are stored altogether in channels, and channels are replicat...
For deaf persons to have ready access to information and communication technologies (ICTs), the latter must be usable in sign language (SL), i.e. include interlanguage interfaces....
The authors describe the use of bounded model checking (BMC) for verifying Web application code. Vulnerable sections of code are patched automatically with runtime guards, allowin...
Yao-Wen Huang, Fang Yu, Christian Hang, Chung-Hung...
Abstract. We present PerfMiner, a system for the transparent collection, storage and presentation of thread-level hardware performance data across an entire cluster. Every sub-proc...
Philip Mucci, Daniel Ahlin, Johan Danielsson, Per ...
Cellular phones have already been widely used to access the Web. However, most existing Web pages are designed for desktop PCs, and thus, it is inconvenient to browse these large ...