4328 search results - page 108 / 866 » A New Kind of Science |
181
click to vote
HICSS
2005
IEEE
16 years 4 days 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...
179
click to vote
FCT
2005
Springer
16 years 1 days 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...
171
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...
146
click to vote
COMPLEX
2009
Springer
16 years 1 months 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...
186
click to vote
ACMSE
2005
ACM
16 years 3 days 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 ...