13917 search results - page 2697 / 2784 » Abstraction of Probabilistic Systems |
194
click to vote
LCPC
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. As parallelism in microprocessors becomes mainstream, new programming languages and environments are emerging to meet the challenges of parallel programming. To support r...
209
click to vote
OTM
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. This article presents a proposal for managing privacy in pervasive environments. These environments are capable of sensing personal information anywhere and at anytime. T...
167
click to vote
PET
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. The Domain Name System (DNS) is the only globally deployed Internet service that provides user-friendly naming for Internet hosts. It was originally designed to return th...
203
click to vote
PKC
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Key-insulated cryptography is a crucial technique for protecting private keys. To strengthen the security of key-insulated protocols, Hanaoka, Hanaoka and Imai recently i...
192
click to vote
PPAM
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. In order to take full advantage of high-end computing platforms, scientific applications often require modifications to source codes, and to their build systems that ge...