506 search results - page 85 / 102 » Proving Properties about Lists Using Containers |
108
click to vote
ICANN
2009
Springer
15 years 6 months ago
2009
Springer
Recently the notion of power law networks in the context of neural networks has gathered considerable attention. Some empirical results show that functional correlation networks in...
108
click to vote
TCS
2002
14 years 11 months ago
2002
Suppose a principal in a cryptographic protocol creates and transmits a message containing a new value v, later receiving v back in a different cryptographic context. It can concl...
201
click to vote
POPL
2003
ACM
16 years 3 days ago
2003
ACM
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...
116
click to vote
DAC
2010
ACM
15 years 19 hour ago
2010
ACM
Given the increasing complexity of multi-processor systems-onchip, a wide range of parameters must be tuned to find the best trade-offs in terms of the selected system figures of ...
128
click to vote
CHI
2005
ACM
16 years 6 days ago
2005
ACM
In this paper we introduce the idea of organizing systems. Through a number of examples from an ongoing ethnographic study of family life, we suggest that organizing systems come ...