2271 search results - page 111 / 455 » Scalable Software Libraries |
123
click to vote
ENTCS
2006
15 years 2 months ago
2006
The AVISPA Tool is a push-button tool for the Automated Validation of Internet Security Protocols and Applications. It provides a modular and expressive formal language for specif...
126
Voted
DEBU
2007
15 years 2 months ago
2007
Berkeley DB is an open-source, embedded transactional data management system that has been in wide deployment since 1992. In those fifteen years, it has grown from a simple, non-...
113
Voted
ACL
2010
15 years 14 days ago
2010
We present the S-Space Package, an open source framework for developing and evaluating word space algorithms. The package implements well-known word space algorithms, such as LSA,...
128
click to vote
DL
1999
Springer
15 years 6 months ago
1999
Springer
As part of the Illinois Digital Library Initiative (DLI) project we developed “scalable semantics” technologies. These statistical techniques enabled us to index large collect...
133
Voted
CC
2005
Springer
15 years 8 months ago
2005
Springer
Software testing to produce reliable and robust software has become vitally important in recent years. Testing is a process by which software quality can be assured through the co...