Sciweavers

14190 search results - page 197 / 2838
» computer 2008
Sort
View
122
Voted
CCS
2008
ACM
15 years 6 months ago
Computationally sound mechanized proofs for basic and public-key Kerberos
Bruno Blanchet, Aaron D. Jaggard, Andre Scedrov, J...
SOCO
2008
Springer
15 years 4 months ago
Soft computing techniques for web services brokering
Roy Ladner, Frederick E. Petry, Kalyan Moy Gupta, ...
CCCG
2008
15 years 6 months ago
Computing Dehn Twists and Geometric Intersection Numbers in Polynomial Time
Simple curves on surfaces are often represented as sequences of intersections with a triangulation. However, there are much more succinct ways of representing simple curves used i...
Marcus Schaefer, Eric Sedgwick, Daniel Stefankovic