4434 search results - page 780 / 887 » On the Composition of Hybrid Systems |
202
click to vote
IV
1999
IEEE
15 years 10 months ago
1999
IEEE
Existing featureless image mosaicing techniques do not pay enough attention to the robustness of the image registration process, and are not able to combine multiple video sequenc...
161
click to vote
EUROCRYPT
1999
Springer
15 years 10 months ago
1999
Springer
In one proposed use of digital watermarks, the owner of a document D sells slightly different documents, D1 , D2 , . . . to each buyer; if a buyer posts his/her document Di to the...
172
click to vote
CAV
1998
Springer
15 years 10 months ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...
157
click to vote
WOSP
1998
ACM
15 years 10 months ago
1998
ACM
Increasingly, new applications are being built by composing existing software components rather than by coding a system from scratch. Using this approach, applications can be buil...
238
click to vote
ECOOP
1998
Springer
15 years 10 months ago
1998
Springer
Many problems require recursively speci ed types ofdata and a collection of tools that operate on those data. Over time, these problems evolve so that the programmer must extend t...