858 search results - page 171 / 172 » Formal Verification of Digital Systems |
CCS
2005
ACM
15 years 3 months ago
2005
ACM
Vulnerabilities that allow worms to hijack the control flow of each host that they spread to are typically discovered months before the worm outbreak, but are also typically disc...
122
click to vote
CSCW
2004
ACM
15 years 3 months ago
2004
ACM
Researchers seeking alternatives to traditional desktop computers have begun exploring the potential collaborative benefits of digital tabletop displays. However, there are still ...
104
click to vote
EMSOFT
2004
Springer
15 years 3 months ago
2004
Springer
Data flow process networks are a good model of computation for streaming multimedia applications incorporating audio, video and/or graphics streams. Process networks are concurre...
109
click to vote
XMLSEC
2003
ACM
15 years 3 months ago
2003
ACM
Business Processes for Web Services are the new paradigm for the lightweight integration of business from different enterprises. Whereas the security and access control policies ...
123
click to vote
ICDT
2010
ACM
15 years 1 months ago
2010
ACM
Stochastic context-free grammars (SCFGs) have long been recognized as useful for a large variety of tasks including natural language processing, morphological parsing, speech reco...