7055 search results - page 1295 / 1411 » Some New 4-Designs |
184
Voted
CAISE
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. Future database application systems will be designed as Service Oriented Architectures (SOAs), in contrast to today’s monolithic architectures. The decomposition in man...
173
click to vote
CAV
2005
Springer
16 years 12 days ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
176
click to vote
CCS
2005
ACM
16 years 12 days ago
2005
ACM
We investigate whether it is possible to encrypt a database and then give it away in such a form that users can still access it, but only in a restricted way. In contrast to conve...
178
click to vote
CEAS
2005
Springer
16 years 12 days ago
2005
Springer
Greylisting temporarily rejects mail from unknown sources on the theory that real mailers will retry while spamware won’t. I outline a taxonomy of greylisters and report some st...
161
click to vote
CEEMAS
2005
Springer
16 years 12 days ago
2005
Springer
A honeybee colony has to choose among several nectar sources in the environment, each fluctuating in quality over time. Successful forager bees return to the hive and perform dance...