13383 search results - page 2483 / 2677 » Abstractions from proofs |
BIRTHDAY
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. We claim that user preferences are a key component of effective Web service composition, and one that has largely been ignored. In this paper we propose a means of speci...
CCS
2009
ACM
14 years 5 months ago
2009
ACM
History indicates that the security community commonly takes a divide-and-conquer approach to battling malware threats: identify the essential and inalienable components of an att...
EDBT
2009
ACM
14 years 5 months ago
2009
ACM
Data stream management systems usually have to process many long-running queries that are active at the same time. Multiple queries can be evaluated more efficiently together tha...
ESORICS
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. Biometric information is regarded as highly sensitive information and therefore encryption techniques for biometric information are needed to address security and privacy...
CLUSTER
2009
IEEE
14 years 5 months ago
2009
IEEE
Abstract—Performance and power issues are becoming increasingly important in the design of large cluster based multitier data centers for supporting a multitude of services. Desi...