2830 search results - page 391 / 566 » No Science without Semantics |
153
click to vote
TACAS
2007
Springer
16 years 18 days 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...
161
click to vote
TCC
2007
Springer
16 years 18 days 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...
192
click to vote
ECRTS
2006
IEEE
16 years 16 days 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 ...
174
click to vote
ICDCS
2006
IEEE
16 years 16 days 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 ...
162
click to vote
ICMCS
2006
IEEE
16 years 16 days 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, ...