PROVSEC
2015
Springer
8 years 1 months ago
2015
Springer
Abstract. We give a simple and efficient construction of unique signature on groups equipped with bilinear map. In contrast to prior works, our proof of security is based on comput...
PAISI
2015
Springer
8 years 1 months ago
2015
Springer
Because Chinese language has many unique characteristics, this leads to many conventional machine learning approaches of word POS tagging to be unsatisfactory and inefficient when...
OOPSLA
2015
Springer
8 years 1 months ago
2015
Springer
This paper presents an algorithm for off-line partial evaluation of machine code. The algorithm follows the classical two-phase approach of binding-time analysis (BTA) followed by...
OOPSLA
2015
Springer
8 years 1 months ago
2015
Springer
Many concurrent data structures are initially designed for the sequential consistency (SC) memory model. Developers often then implement these algorithms on real-world systems wit...
OOPSLA
2015
Springer
8 years 1 months ago
2015
Springer
App stores are increasingly the preferred mechanism for distributing software, including mobile apps (Google Play), desktop apps (Mac App Store and Ubuntu Software Center), comput...
OOPSLA
2015
Springer
8 years 1 months ago
2015
Springer
In the Western classical tradition, musicians play music from notated sheet music, called a score. When playing music from a score, a musician translates its visual symbols into s...
OOPSLA
2015
Springer
8 years 1 months ago
2015
Springer
Live programming environments help the programmers to try out expressions by giving immediate feedback on the results as well as intermediate evaluation processes. However, the fe...
OOPSLA
2015
Springer
8 years 1 months ago
2015
Springer
OOPSLA
2015
Springer
8 years 1 months ago
2015
Springer
Over the past thirty years, there has been significant progress in developing general-purpose, language-based approaches to incremental computation, which aims to efficiently up...
OOPSLA
2015
Springer
8 years 1 months ago
2015
Springer
