811 search results - page 48 / 163 » Probabilistic Semantics and Program Analysis |
120
click to vote
ICALP
2001
Springer
15 years 7 months ago
2001
Springer
A cryptographic protocol can be described as a system of concurrent processes, and analysis of the traces generated by this system can be used to verify authentication and secrecy ...
102
Voted
WWW
2009
ACM
16 years 3 months ago
2009
ACM
User-Interactive Question Answering (QA) communities such as Yahoo! Answers are growing in popularity. However, as these QA sites always have thousands of new questions posted dai...
124
click to vote
POPL
2011
ACM
14 years 5 months ago
2011
ACM
We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted dynamically according to the immediate ceiling pr...
117
click to vote
TASE
2008
IEEE
15 years 2 months ago
2008
IEEE
Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabi...
131
click to vote
SPIN
2010
Springer
15 years 27 days ago
2010
Springer
Abstract. We develop an algorithm to compute timed reachability probabilities for distributed models which are both probabilistic and nondeterministic. To obtain realistic results ...