1192 search results - page 208 / 239 » Computing Weakest Readings |
126
Voted
GCC
2003
Springer
15 years 7 months ago
2003
Springer
The paper discusses XML security key technologies related with security of Web service. Based on these discussions, Web service is integrated with some mature security architecture...
98
Voted
SPAA
2010
ACM
15 years 6 months ago
2010
ACM
Transactional memory (TM) has shown potential to simplify the task of writing concurrent programs. Inspired by classical work on databases, formal definitions of the semantics of...
133
click to vote
CIE
2010
Springer
15 years 6 months ago
2010
Springer
Game semantics provides an interactive point of view on proofs, which enables one to describe precisely their dynamical behavior during cut elimination, by considering formulas as ...
144
click to vote
JCDL
2009
ACM
15 years 6 months ago
2009
ACM
A three-part study of teachers’ use of online resources and of the Digital Library for Earth System Education (DLESE) was conducted from 2004 through summer 2006. The first two ...
HUC
2009
Springer
15 years 6 months ago
2009
Springer
Recent work has examined infrastructure-mediated sensing as a practical, low-cost, and unobtrusive approach to sensing human activity in the physical world. This approach is based...