9166 search results - page 459 / 1834 » A framework for comparing models of computation |
180
click to vote
ICPR
2002
IEEE
16 years 8 months ago
2002
IEEE
The automatic recognition of video clips is an important capability with applications in broadcast monitoring for content theft and adherence to advertisement campaign. In this pa...
182
click to vote
IPPS
1996
IEEE
15 years 11 months ago
1996
IEEE
This paper presents an optical interconnect model for kary n-cube network topologies based on free-space analysis. This model integrates relevant parameters inherent to optics wit...
160
click to vote
ENTCS
2006
15 years 6 months ago
2006
We implement a specific protocol for bit exchange among card-playing agents in three different state-of-the-art epistemic model checkers and compare the results. Key words: Crypto...
210
click to vote
SAC
2002
ACM
15 years 6 months ago
2002
ACM
Avoidance and discovery of security vulnerabilities in information systems requires awareness of typical risks and a good understanding of vulnerabilities and their exploitations....
191
click to vote
BALT
2010
15 years 1 months ago
2010
Model-based approaches in the UML/MOF technological space and ontology-based approaches in the OWL technological space both support conceptual modeling using different kinds of rep...