147 search results - page 21 / 30 » Relational Parametricity and Separation Logic |
117
Voted
IWUC
2004
15 years 1 months ago
2004
Web Services integration using languages such as BPEL is to be applied not only on the Internet but also in pervasive networks using wireless mobile devices. However, in such a net...
90
Voted
IJNSEC
2008
14 years 11 months ago
2008
In 2005, Lee, Kim, and Yoo proposed a nonce-based mutual authentication scheme using smart cards. However, this paper demonstrates that Lee-Kim-Yoo's scheme is vulnerable to ...
96
Voted
TOOLS
2009
IEEE
15 years 6 months ago
2009
IEEE
Single inheritance often forces developers to duplicate code and logic. This widely recognized situation affects both business code and tests. In a large and complex application w...
185
click to vote
VLDB
2001
ACM
15 years 12 months ago
2001
ACM
The problem of answering queries using views is to find efficient methods of answering a query using a set of previously materialized views over the database, rather than accessin...
163
click to vote
SIGMOD
2005
ACM
15 years 11 months ago
2005
ACM
The description, composition, and execution of even logically simple scientific workflows are often complicated by the need to deal with "messy" issues like heterogeneou...