11066 search results - page 1775 / 2214 » Linearity in Process Languages |
164
click to vote
SOCO
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such s...
143
click to vote
TBILLC
2005
Springer
16 years 9 days ago
2005
Springer
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...
131
click to vote
UM
2005
Springer
16 years 9 days ago
2005
Springer
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...
161
click to vote
WRAC
2005
Springer
16 years 8 days ago
2005
Springer
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 ...
185
click to vote
SIGIR
2004
ACM
16 years 7 days ago
2004
ACM
Abstract. Today, peer-to-peer services can comprise a large and growing number of services, e.g. search services or services dealing with heterogeneous schemas in the context of Di...