2826 search results - page 532 / 566 » A resource-based analysis of IT sourcing |
FSTTCS
2003
Springer
14 years 1 months ago
2003
Springer
Tagging schemes have been used in security protocols to ensure that the analysis of such protocols can work with messages of bounded length. When the set of nonces is bounded, this...
EDBTW
2010
Springer
14 years 1 months ago
2010
Springer
In recent years, Software-as-a-Service (SaaS) is gaining momentum with more and more successful adoptions. Several companies including some well known names have embraced this new...
SIGMETRICS
2010
ACM
14 years 1 months ago
2010
ACM
Associative memories offer high levels of parallelism in matching a query against stored entries. We design and analyze an architecture which uses a single lookup into a Ternary C...
IWVF
2001
Springer
14 years 1 months ago
2001
Springer
Volumetric images of small mortar samples under load are acquired by X-ray microtomography. The images are binarized at many different threshold values, and over a million connecte...
CLUSTER
2000
IEEE
14 years 1 months ago
2000
IEEE
As a novel approach to software maintenance in large clusters of PCs requiring multiple OS installations we implemented partition cloning and partition repositories as well as a s...