Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, suppor...
Abstract Process improvement in a large-scale industrial environment is a challenge for numerous reasons. Besides others it is difficult to convince and motivate a critical mass of...
Abstract. Although various ideas for integrating Semantic Web and Agent Programming techniques have appeared in the literature, as yet no practical programming approach has managed...
Abstract. An exploratory study of students' engagement in online learning and knowledge building is presented in this paper. Learning in an online community, composed of stude...
Research on query optimization has focused almost exclusively on reducing query execution time, while important qualities such as consistency and predictability have largely been ...