2830 search results - page 391 / 566 » No Science without Semantics |
127
Voted
TACAS
2007
Springer
15 years 9 months ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
120
Voted
TCC
2007
Springer
15 years 9 months ago
2007
Springer
We prove a computational soundness theorem for symmetric-key encryption protocols that can be used to analyze security against adaptively corrupting adversaries (that is, adversar...
149
Voted
ECRTS
2006
IEEE
15 years 9 months ago
2006
IEEE
As real-time and embedded systems become increasingly large and complex, the traditional strictly static approach to memory management begins to prove untenable. The challenge is ...
135
Voted
ICDCS
2006
IEEE
15 years 9 months ago
2006
IEEE
Content-based publish/subscribe (pub/sub) is a promising paradigm for building asynchronous distributed applications. In many application scenarios, these systems are required to ...
128
Voted
ICMCS
2006
IEEE
15 years 9 months ago
2006
IEEE
Text-based search using video speech transcripts is a popular approach for granular video retrieval at the shot or story level. However, misalignment of speech and visual tracks, ...