5775 search results - page 925 / 1155 » A Rationale-based Analysis Tool |
167
click to vote
ACNS
2008
Springer
16 years 1 months ago
2008
Springer
File-sharing worms have been terrorizing Peer-to-peer (P2P) systems in recent years. Existing defenses relying on users’ individual recoveries or limiting users’ file-sharing ...
227
click to vote
ADAEUROPE
2008
Springer
16 years 1 months ago
2008
Springer
: The concept of interface in Ada 2005 significantly facilitates its usage as the basis for a software components technology. This technology, taking benefit of the resources that ...
158
click to vote
ACSAC
2007
IEEE
16 years 1 months ago
2007
IEEE
Security-typed languages (STLs) are powerful tools for provably implementing policy in applications. The programmer maps policy onto programs by annotating types with information ...
175
click to vote
DSN
2007
IEEE
16 years 1 months ago
2007
IEEE
New versions of existing large-scale web services such as Passport.com© have to go through rigorous performance evaluations in order to ensure a high degree of availability. Perf...
174
click to vote
ECBS
2007
IEEE
16 years 1 months ago
2007
IEEE
Design patterns document expert design experience in software system development. They have been applied in many existing software systems. However, pattern information is general...