2268 search results - page 104 / 454 » The Essence of Form Abstraction |
133
click to vote
EUC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper provides a survey of searchable, peer-to-peer filesharing systems that offer the user some form of anonymity. We start this survey by giving a brief descript...
179
click to vote
FCT
2005
Springer
15 years 12 months ago
2005
Springer
We consider terms of simply typed lambda calculus in which copy of a subterm may not be inserted to the argument of itself during the reduction. The terms form wide class which inc...
142
click to vote
FSTTCS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper addresses the issue of confidentiality and declassification for global computing in a language-based security perspective. The purpose is to deal with new fo...
123
click to vote
GCC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Taking advantage of the application paradigm of web service, a general paradigm of service computing is discussed for underlying workflow execution based on collaborative...
144
click to vote
ICCS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. LEAD is a large-scale effort to build a service-oriented infrastructure that allows atmospheric science researchers to dynamically and adaptively respond to weather patt...