3256 search results - page 377 / 652 » Applications of Formal Methods to System Design and Verifica... |
170
click to vote
JUCS
2008
15 years 6 months ago
2008
: As soon as major protocol flaws were discovered empirically -- a good luck that is not older than the early 1990s -- this title question came up to the world. It was soon realise...
230
Voted
CCS
2004
ACM
16 years 16 hour ago
2004
ACM
Security must be a first class citizen in the design of large scale, interacting, software applications, at early and all stages of the lifecycle, for accurate and precise policy ...
190
click to vote
ICICIC
2006
IEEE
16 years 20 days ago
2006
IEEE
Nowadays the AFIS (Automatic fingerprint Identification system) plays more and more important roles in various applications such as access control, ATM card verification and crimi...
165
click to vote
IPPS
2008
IEEE
2008
IEEE
Modeling and predicting application performance on parallel computers using HPC challenge benchmarks
16 years 1 months ago
A method is presented for modeling application performance on parallel computers in terms of the performance of microkernels from the HPC Challenge benchmarks. Specifically, the a...
188
click to vote
MIDDLEWARE
2004
Springer
15 years 12 months ago
2004
Springer
Several works on grid computing have been proposed in the last years. However, most of them, including available software, can not deal properly with some issues related to contro...