Various studies have shown that OS jitter can degrade parallel program performance considerably at large processor counts. Most sources of system jitter fall broadly into 5 catego...
Abstract. In this paper, we describe an opinion analysis system using domainspecific lexical knowledge in Korean economic news. We tested our hypothesis that such domain-specific k...
We propose a method for coordinating local components that observe a distributed discrete-event system R and execute actions depending on the current state of R. Coordination is a...
The grand challenge that is the focus of this conference targets the development of a practical methodology for software verification: a methodology that can help us to reduce the ...
We focus on well-behaved Adaptive Hypermedia Systems, which means the adaptation engine that executes adaptation rules always terminates and produces predictable (confluent) adapta...