592 search results - page 33 / 119 » Can Component Service-Based Systems Be Proved Correct |
127
click to vote
FTRTFT
2000
Springer
15 years 7 months ago
2000
Springer
Formal methods can improve the development of systems with high quality requirements, since they usually o er a precise, nonambiguous speci cation language and allow rigorous veri ...
137
click to vote
DGCI
2005
Springer
15 years 9 months ago
2005
Springer
The watershed transformation is an efficient tool for segmenting grayscale images. An original approach to the watershed [1,9] consists in modifying the original image by lowering...
130
click to vote
FTDCS
2004
IEEE
15 years 7 months ago
2004
IEEE
Web services are essentially black box components from a composer's or a mediator's perspective. The behavioural description of any service can be asserted by the compos...
159
click to vote
AOSD
2010
ACM
15 years 10 months ago
2010
ACM
Over the last five years, several systems have been proposed to take distribution into account in Aspect-Oriented Programming. While they appeared to be fruitful to develop or im...
127
Voted
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
Verified compilers, such as Leroy's CompCert, are accompanied by a fully checked correctness proof. Both the compiler and proof are often constructed with an interactive proo...