2268 search results - page 104 / 454 » The Essence of Form Abstraction |
EUC
2005
Springer
14 years 1 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...
FCT
2005
Springer
14 years 1 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...
FSTTCS
2005
Springer
14 years 1 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...
GCC
2005
Springer
14 years 1 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...
ICCS
2005
Springer
14 years 1 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...