1302 search results - page 216 / 261 » Soundness in the Public-Key Model |
CHI
2006
ACM
16 years 7 days ago
2006
ACM
The design of tools for creative activities affects the creative processes and output of users. In this paper we consider how an understanding of creative interaction can inform t...
HPCA
2003
IEEE
16 years 6 days ago
2003
IEEE
Due to cost, time, and flexibility constraints, simulators are often used to explore the design space when developing a new processor architecture, as well as when evaluating the ...
102
click to vote
CADE
2008
Springer
16 years 4 days ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...
107
click to vote
SIGMOD
2003
ACM
15 years 12 months ago
2003
ACM
Modern database systems provide not only powerful data models but also complex query languages supporting powerful features such as the ability to create new database objects and ...
ICWS
2009
IEEE
15 years 9 months ago
2009
IEEE
—Community of web services (CWS) is a society composed by a number of functionally identical web services. The communities always aim to increase their reputation level in order ...