2271 search results - page 194 / 455 » Scalable Software Libraries |
143
click to vote
AOSD
2012
ACM
14 years 7 days ago
2012
ACM
In this work we consider specification and compositional verification for interference detection when several aspects are woven together under joint-weaving semantics without re...
122
click to vote
WWW
2002
ACM
16 years 5 months ago
2002
ACM
This paper presents a new protocol for certified email. The protocol aims to combine security, scalability, easy implementation, and viable deployment. The protocol relies on a li...
138
Voted
COMPCON
1994
IEEE
15 years 8 months ago
1994
IEEE
The first product in the Newton family operates under severe constraints in the areas of performance, cost, heat dissipation, power consumption, scalability, size and weight. This...
138
click to vote
GVD
2004
15 years 5 months ago
2004
Caching is a proven means to improve scalability and availability of software systems as well as to reduce latency of user requests. In contrast to Web caching where single Web ob...
158
click to vote
BIRTHDAY
2012
Springer
14 years 7 days ago
2012
Springer
We introduce the use of asynchronous logic automata (ALA) for cryptography. ALA aligns the descriptions of hardware and software for portability, programmability, and scalability. ...