819 search results - page 105 / 164 » Using Assumptions to Distribute CTL Model Checking |
129
Voted
SODA
2008
ACM
15 years 4 months ago
2008
ACM
In this paper, we study online algorithms when the input is not chosen adversarially, but consists of draws from some given probability distribution. While this model has been stu...
133
click to vote
CAV
2009
Springer
16 years 3 months ago
2009
Springer
Recent development on distributed systems has shown that a variety of fairness constraints (some of which are only recently defined) play vital roles in designing self-stabilizing ...
131
Voted
C3S2E
2009
ACM
15 years 6 months ago
2009
ACM
This paper proposes a security analysis framework for dynamic web applications. A reverse engineering process is performed over a dynamic web application to extract a rolebased ac...
130
click to vote
MOMM
2009
ACM
15 years 7 months ago
2009
ACM
This paper proposes a new approach for modelling, testing and prototyping pervasive, possibly mobile, and distributed applications. It describes a set of tools aimed at supporting...
118
click to vote
PPDP
2001
Springer
15 years 7 months ago
2001
Springer
We introduce a new system of trust analysis for concurrent and distributed systems using the π-calculus[13, 14, 15] as a modelling tool. A Type system using boolean annotations g...