11168 search results - page 1550 / 2234 » Abstract State Processes |
198
click to vote
SEMWEB
2005
Springer
15 years 12 months ago
2005
Springer
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...
154
click to vote
SOCO
2005
Springer
15 years 12 months 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...
150
click to vote
SPIRE
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This work presents an experimental comparison of intersection algorithms for sorted sequences, including the recent algorithm of Baeza-Yates. This algorithm performs on a...
132
click to vote
TBILLC
2005
Springer
15 years 12 months 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...
128
click to vote
UM
2005
Springer
15 years 12 months 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...