Abstract. In the Semantic Web information would be retrieved, processed, combined, shared and reused in the maximum automatic way possible. Obviously, such procedures involve a hig...
Giorgos Stoilos, Giorgos B. Stamou, Vassilis Tzouv...
Abstract. Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such s...
Abstract. It is a well-known fact that only factive propositional attitude predicates are felicitous with wh- (indirect question) complements. It has also been noted that so-called...
Abstract. Economic modeling provides a formal mechanism to understand user incentives and behavior in online systems. In this paper we describe the process of building a parameteri...
F. Maxwell Harper, Sherry Xin Li, Yan Chen, Joseph...
In this paper, we describe an on-going project called Concept and Sensor Networks (CSN). The development of this project has been described in past PSMP workshops [1]. The purpose ...