2335 search results - page 362 / 467 » Type Checking Type Classes |
107
click to vote
FOSAD
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We present a framework for designing and composing services in a secure manner. Services can enforce security policies locally, and can invoke other services in a “call...
107
click to vote
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
This paper deals with the adaptive variance scaling issue in continuous Estimation of Distribution Algorithms. A phenomenon is discovered that current adaptive variance scaling me...
127
Voted
GPCE
2007
Springer
15 years 8 months ago
2007
Springer
Programs of a software product line can be synthesized by composing modules that implement features. Besides high-level domain constraints that govern the compatibility of feature...
113
click to vote
HIPC
2007
Springer
15 years 8 months ago
2007
Springer
P2P deployments are a natural infrastructure for building distributed search networks. Proposed systems support locating and retrieving all results, but lack the information necess...
112
click to vote
HUC
2007
Springer
15 years 8 months ago
2007
Springer
Mobile phones are a widely-available class of device with supporting communications infrastructure which can be appropriated and exploited to support ubicomp experiences. However m...