2171 search results - page 108 / 435 » Combining Funnels: A Dynamic Approach to Software Combining |
171
click to vote
AMAST
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
189
click to vote
WETICE
2005
IEEE
15 years 12 months ago
2005
IEEE
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
181
click to vote
ICMI
2004
Springer
15 years 11 months ago
2004
Springer
Although several real multimodal systems have been built, their development still remains a difficult task. In this paper we address this problem of development of multimodal inte...
149
click to vote
UML
2004
Springer
15 years 11 months ago
2004
Springer
The description of software architectures has always been concerned with the definition of the appropriate languages for designing the various architectural artifacts. Over the pa...
134
click to vote
JCDL
2010
ACM
15 years 11 months ago
2010
ACM
Converting a scanned document to a binary format (black and white) is a key step in the digitization process. While many existing binarization algorithms operate robustly for well...