2687 search results - page 427 / 538 » Formal Analysis of PKCS |
183
click to vote
OTM
2009
Springer
16 years 21 days ago
2009
Springer
Provenance, from the French word “provenir”, describes the lineage or history of a data entity. Provenance is critical information in scientific applications to verify experime...
149
click to vote
ISSTA
2009
ACM
16 years 20 days ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...
148
click to vote
SIGIR
2009
ACM
16 years 20 days ago
2009
ACM
Query log analysis has received substantial attention in recent years, in which the click graph is an important technique for describing the relationship between queries and URLs....
163
Voted
CAV
2007
Springer
16 years 10 days ago
2007
Springer
We present new techniques for fast, accurate and scalable static data race detection in concurrent programs. Focusing our analysis on Linux device drivers allowed us to identify th...
196
click to vote
RTSS
2005
IEEE
15 years 11 months ago
2005
IEEE
Recently there has been a growing interest in models and methods targeted towards the (co)design of stream processing applications; e.g. those for audio/video processing. Streams ...