2364 search results - page 69 / 473 » An Engine for Computing Well-Founded Models |
155
Voted
COMPSAC
2006
IEEE
15 years 9 months ago
2006
IEEE
In federated and pervasive networks, trust management has become a cornerstone for information security and privacy. Although people have recognized the importance of privacy and ...
126
Voted
FSTTCS
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. This paper studies a recently developed an approach to reasoning about mutable data structures, which uses an assertion language with spatial conjunction and implication ...
133
Voted
FSTTCS
2006
Springer
15 years 7 months ago
2006
Springer
The standard symbolic, deducibility-based notions of secrecy are in general insufficient from a cryptographic point of view, especially in presence of hash functions. In this paper...
113
Voted
ESEC
1999
Springer
15 years 8 months ago
1999
Springer
A probabilistic model for software development projects is constructed. The model can be applied to compute an estimate for the development time of a project. The chances of succee...
127
Voted
SEFM
2007
IEEE
15 years 10 months ago
2007
IEEE
We give a formal account of a calculus for modeling service-based systems, suitable to describe both service composition (orchestration) and the protocol that services run when in...