7430 search results - page 624 / 1486 » Programming Applications in CIFF |
161
click to vote
IFIP
2009
Springer
16 years 1 months ago
2009
Springer
We adapt the Strand Spaces model to reason abstractly about layered security protocols, where an Application Layer protocol ed on top of a secure transport protocol. The model abst...
163
click to vote
AAIM
2008
Springer
16 years 1 months ago
2008
Springer
Facility Location can be seen as a whole family of problems which have many obvious applications in economics. They have been widely explored in the Operations Research community, ...
183
click to vote
GCC
2003
Springer
16 years 13 days ago
2003
Springer
Even though grid research is prosperous in an extensive context, few grid platforms for high performance computing are practical and in operation so far. Since most applications a...
318
click to vote
ASPLOS
2009
ACM
16 years 7 months ago
2009
ACM
Software failures in server applications are a significant problem for preserving system availability. We present ASSURE, a system that introduces rescue points that recover softw...
224
click to vote
BMCBI
2006
15 years 7 months ago
2006
Background: Bioinformatics applications are now routinely used to analyze large amounts of data. Application development often requires many cycles of optimization, compiling, and...