4328 search results - page 108 / 866 » A New Kind of Science |
175
click to vote
HICSS
2005
IEEE
15 years 11 months ago
2005
IEEE
— In this paper we present the Secure Dynamic Source Routing protocol for Mobile Ad hoc Networks that prevents a lot of potential attacks to these kind of networks. We also prese...
169
click to vote
FCT
2005
Springer
15 years 11 months ago
2005
Springer
We consider terms of simply typed lambda calculus in which copy of a subterm may not be inserted to the argument of itself during the reduction. The terms form wide class which inc...
158
click to vote
ENTCS
2007
15 years 6 months ago
2007
This paper studies the notion of “freshness” that often occurs in the meta-theory of computer science languages involving various kinds of names. Nominal Equational Logic is a...
137
click to vote
COMPLEX
2009
Springer
16 years 22 days ago
2009
Springer
This paper presents a stochastic multi-agent model of stock market. The market dynamics include switches between chartists and fundamentalists and switches in the prevailing opinio...
172
click to vote
ACMSE
2005
ACM
15 years 11 months ago
2005
ACM
Web forms are a common mechanism for collecting information online. They pose some limitations which negatively affect ease and flexibility of user interaction. These limitations ...