1302 search results - page 127 / 261 » Soundness in the Public-Key Model |
176
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract There is an intimate link between program structure and behaviour. Exploiting this link to phrase program correctness problems in terms of the structural properties of a p...
179
click to vote
AIED
2009
Springer
16 years 1 months ago
2009
Springer
Design of collaborative learning (CL) scenarios is a complex task, but necessary if the goal of the collaboration is learning. Creating well-thought-out CL scenarios requires exper...
170
click to vote
ICAT
2006
IEEE
16 years 16 days ago
2006
IEEE
Recently, various AR-based product design methodologies have been introduced. In this paper, we propose technologies for enhancing the immersive realization of virtual objects, whe...
173
click to vote
PLDI
2006
ACM
16 years 13 days ago
2006
ACM
One common technique for preventing data races in multi-threaded programs is to ensure that all accesses to shared locations are consistently protected by a lock. We present a too...
170
click to vote
FASE
2005
Springer
16 years 21 hour ago
2005
Springer
This paper is concerned with the application of Web services to distributed, cross-organizational business processes. In this scenario, it is crucial to answer the following questi...