12981 search results - page 445 / 2597 » Model Checking (Abstract) |
148
click to vote
ECOOPW
1999
Springer
15 years 9 months ago
1999
Springer
This paper formalizes the folklore result that strongly-typed applets are more secure than untyped ones. We formulate and prove several security properties that all well-typed app...
134
click to vote
DSVIS
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. In this paper we argue that using verification in interactive systems development is more than just checking whether the specification of the system has all the required ...
124
click to vote
ZUM
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. This paper presents some of our requirements for a Z typechecker: that the typechecker accept all well-typeable formulations, however contrived; that it gather informatio...
132
click to vote
APN
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Web services represent a promising technology for the development of distributed heterogeneous software systems. In this setting, a major issue is to establish whether tw...
155
click to vote
CPAIOR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. This paper proposes to use local search inside filtering algorithms of combinatorial structures for which achieving a desired level of consistency is too computationally ...