1288 search results - page 220 / 258 » On Analysis of Design Component Contracts: A Case Study |
123
click to vote
FSE
2006
Springer
15 years 5 months ago
2006
Springer
The security of hash functions has recently become one of the hottest topics in the design and analysis of cryptographic primitives. Since almost all the hash functions used today ...
148
click to vote
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
Combinatorial auctions have been studied by the multiagent systems community for some time, since these auctions are an effective mechanism for resource allocation when agents are...
144
click to vote
ISOLA
2010
Springer
14 years 12 months ago
2010
Springer
Latest results of statistical learning theory have provided techniques such us pattern analysis and relational learning, which help in modeling system behavior, e.g. the semantics ...
116
click to vote
JCS
2011
14 years 8 months ago
2011
Many distance bounding protocols appropriate for the RFID technology have been proposed recently. Unfortunately, they are commonly designed without any formal approach, which lead...
120
click to vote
CSCW
2012
ACM
13 years 9 months ago
2012
ACM
Civic networks of community-based organizations face significant challenges in working together to combat issues facing their community (e.g., gang violence, sex trafficking). In ...