27 search results - page 4 / 6 » Proofs, pictures, and Euclid |
162
click to vote
CSL
2009
Springer
16 years 19 days ago
2009
Springer
Abstract. One-counter processes are pushdown processes over a singleton stack alphabet (plus a stack-bottom symbol). We study the problems of model checking asynchronous products o...
149
click to vote
SOFTVIS
2006
ACM
16 years 5 hour ago
2006
ACM
The analysis of the runtime behavior of a software system yields vast amounts of information, making accurate interpretations difficult. Filtering or compression techniques are o...
164
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
The standard solution for user authentication on the Web is to establish a TLS-based secure channel in server authenticated mode and run a protocol on top of TLS where the user en...
162
click to vote
BILDMED
2007
15 years 7 months ago
2007
Abstract. Contemporary picture archiving and communication systems are limited in managing large and varied image collections, because content-based image retrieval (CBIR) methods ...
112
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We discuss the problem of building a compiler which can lift in a provably correct way pieces of information on the execution cost of the object code to cost annotations on the so...