819 search results - page 57 / 164 » Using Assumptions to Distribute CTL Model Checking |
134
Voted
ESORICS
2011
Springer
14 years 10 days ago
2011
Springer
A common client-side countermeasure against Cross Site Request Forgery (CSRF) is to strip session and authentication information from malicious requests. The difficulty however is ...
117
Voted
IROS
2009
IEEE
15 years 7 months ago
2009
IEEE
— Gas distribution modelling constitutes an ideal application area for mobile robots, which – as intelligent mobile gas sensors – offer several advantages compared to station...
89
Voted
COLCOM
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract. We describe an approach for learning the model of the opponent in spatio-temporal negotiation. We use the Children in the Rectangular Forest canonical problem as an examp...
EOR
2006
15 years 18 days ago
2006
A stochastic formulation of the Analytic Hierarchy Process (AHP) using an approach based on Bayesian categorical data models has been developed. However, in categorical data model...
131
click to vote
ASPLOS
1996
ACM
15 years 4 months ago
1996
ACM
This paper describes Shasta, a system that supports a shared address space in software on clusters of computers with physically distributed memory. A unique aspect of Shasta compa...