10707 search results - page 219 / 2142 » Designing executable abstractions |
110
Voted
BTW
2007
Springer
15 years 10 months ago
2007
Springer
B-tree and index into two layers of abstraction. In addition, this paper provides algorithms for (i) concurrency control and recovery including locking of individual keys and of co...
125
Voted
CRYPTO
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Secure multiparty computation allows a group of distrusting parties to jointly compute a (possibly randomized) function of their inputs. However, it is often the case tha...
122
Voted
ECOOP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. While real-time garbage collection is now available in production virtual machines, the lack of generational capability means applications with high allocation rates are ...
141
click to vote
FASE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Software architecture constitutes a promising approach to the development of large-scale distributed systems, but architecture description languages (ADLs) and their asso...
107
Voted
FASE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Development of composed services requires a continues adaptation of the composed service to the changing environment of offered services. Services may no longer be avail...