5630 search results - page 890 / 1126 » Computability in Specification |
192
click to vote
SIN
2010
ACM
15 years 4 months ago
2010
ACM
Policy override is gaining traction in the research community to improve the efficiency and usability of authorization mechanisms. These mechanisms turn the conventional privilege...
211
click to vote
UIST
2010
ACM
15 years 4 months ago
2010
ACM
Modern mobile phones can store a large amount of data, such as contacts, applications and music. However, it is difficult to access specific data items via existing mobile user in...
187
click to vote
WEBI
2010
Springer
15 years 4 months ago
2010
Springer
Mobile is becoming a ubiquitous platform for context-aware intelligent computing. One fundamental but usually ignored issue is how to efficiently manage (e.g., index and query) the...
235
click to vote
CEFP
2009
Springer
15 years 4 months ago
2009
Springer
The Manticore project is an effort to design and implement a new functional language for parallel programming. Unlike many earlier parallel languages, Manticore is a heterogeneous...
228
click to vote
CISC
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Certificateless cryptography introduced by Al-Riyami and Paterson eliminates the key escrow problem inherent in identity based cryptosystems. Even though building practic...