2748 search results - page 359 / 550 » Generating Object-Z Specifications from Use Cases |
147
click to vote
DM
2011
14 years 11 months ago
2011
The World Wide Web may be viewed as a graph each of whose vertices corresponds to a static HTML web page, and each of whose edges corresponds to a hyperlink from one web page to an...
148
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
View synthesis offers a great flexibility in generating free viewpoint television (FTV) and 3D video (3DV). However, the depth-image-based view synthesis approach is very sensiti...
211
click to vote
CTRSA
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. Many real-world protocols, such as SSL/TLS, SSH, IPsec, IEEE 802.11i, DNSSEC, and Kerberos, derive new keys from other keys. To be able to analyze such protocols in a com...
149
click to vote
ACL
2012
13 years 6 months ago
2012
We propose a latent variable model to enhance historical analysis of large corpora. This work extends prior work in topic modelling by incorporating metadata, and the interactions...
129
click to vote
EMSOFT
2007
Springer
15 years 10 months ago
2007
Springer
This paper describes techniques to estimate the worst case execution time of executable code on architectures with data caches. The underlying mechanism is Abstract Interpretation...