923 search results - page 117 / 185 » Proving the value of formal methods |
141
click to vote
FCT
2007
Springer
16 years 14 days ago
2007
Springer
In most mainstream object-oriented languages, the object initialization protocol is based on constructors, where different constructors of the same class are, in fact, overloaded ...
148
click to vote
SAC
2006
ACM
16 years 8 days ago
2006
ACM
We propose union types for statically typed class-based objectoriented languages as a means to enhance the flexibility of subtyping. As its name suggests, a union type can be con...
165
click to vote
KR
1991
Springer
15 years 9 months ago
1991
Springer
Theories of rational belief revision recently proposed by Alchourron, Gardenfors, Makinson, and Nebel illuminate many important issues but impose unnecessarily strong standards fo...
181
click to vote
FORTE
2010
15 years 7 months ago
2010
Abstract. The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design of the for...
128
click to vote
SIBGRAPI
2006
IEEE
16 years 9 days ago
2006
IEEE
Scale dependent signal representations have proved to be useful in several image processing applications. In this paper, we define a toggle operator for binarization/segmentation...