2271 search results - page 124 / 455 » Scalable Software Libraries |
128
click to vote
FSTTCS
2003
Springer
15 years 7 months ago
2003
Springer
We prove the Needham-Schroeder-Lowe public-key protocol secure under real, active cryptographic attacks including concurrent protocol runs. This proof is based on an abstract crypt...
153
click to vote
ESEC
1997
Springer
15 years 6 months ago
1997
Springer
Fifteen teams recently used the WinWin Spiral Model to perform the system engineering and architecting of a set of multimedia applications for the USC Library Information Systems....
121
Voted
GIR
2007
ACM
15 years 6 months ago
2007
ACM
DIGMAP is a project focused on historical digitized maps that will develop a set of Internet services based on reusable open-source software solutions. The main service will provi...
106
Voted
WSC
2000
15 years 3 months ago
2000
A graphical discrete event simulation library is proposed for system simulation that is based on interacting concurrent processes. This library works with EXTEND (Imagine That Inc...
133
Voted
ARCS
2004
Springer
15 years 6 months ago
2004
Springer
: This paper reports ongoing work towards a dynamically reconfigurable System-on-Chip (SoC) platform for video signal processing. It consists of dedicated, statically and dynamical...