10568 search results - page 1923 / 2114 » Computer Intelligence and Formalization |
143
Voted
CRYPTO
2009
Springer
15 years 10 months ago
2009
Springer
Most of the work in the analysis of cryptographic schemes is concentrated in abstract adversarial models that do not capture side-channel attacks. Such attacks exploit various for...
141
click to vote
DEXA
2009
Springer
15 years 10 months ago
2009
Springer
Describing relational data sources (i.e. databases) by means of ontologies constitutes the foundation of most of the semantic based approaches to data access and integration. In sp...
154
Voted
EMSOFT
2009
Springer
15 years 10 months ago
2009
Springer
System-on-Chip (SoC) is a promising paradigm to implement safety-critical embedded systems, but it poses significant challenges from a design and verification point of view. In ...
116
Voted
OOPSLA
2009
Springer
15 years 10 months ago
2009
Springer
Software correctness has bedeviled the field of computer science since its inception. Software complexity has increased far more quickly than our ability to control it, reaching ...
122
Voted
SIGCOMM
2009
ACM
15 years 10 months ago
2009
ACM
Business and economic considerations are driving the extensive use of service differentiation in Virtual Private Networks (VPNs) operated for business enterprises today. The resul...