3172 search results - page 569 / 635 » Combining Specification Techniques for Processes, Data and T... |
166
click to vote
ICCBR
2001
Springer
15 years 10 months ago
2001
Springer
From some perspectives Automated Collaborative Filtering (ACF) appears quite similar to Case-Based Reasoning (CBR). It works on data organised around users and assets that might be...
155
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper describes a new way of implementing an intelligent web caching service, based on an analysis of usage. Since the cache size in software is limited, and the sea...
173
click to vote
WWW
2004
ACM
16 years 6 months ago
2004
ACM
Complex Semantic Web (SW) services may have intricate data state, autonomous process behavior and concurrent interactions. The design of such SW service systems requires precise a...
194
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
Ensuring transactional behavior of business processes and web service compositions is an essential issue in the area of serviceoriented computing. Transactions in this context may ...
169
click to vote
CL
2002
Springer
15 years 6 months ago
2002
Springer
The Ambient Calculus (henceforth, AC) was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [9]. We present a type system for AC ...