7918 search results - page 1074 / 1584 » Model Composition Directives |
194
click to vote
WSC
1998
15 years 8 months ago
1998
A regional transportation system and the movement of large traffic volumes through it, are characteristic of stochastic systems. The standard traffic management or transportation ...
196
click to vote
SMARTNET
2000
15 years 8 months ago
2000
During the recent years of research on mobile agents, significant effort has been directed towards the identification of models of agent mobility suitable for network management a...
197
click to vote
DAGSTUHL
1996
15 years 8 months ago
1996
A supercompiler is a program which can performa deep transformation of programsusing a principle which is similarto partial evaluation, and can be referred to as metacomputation. ...
195
click to vote
CRYPTO
2010
Springer
15 years 8 months ago
2010
Springer
Motivated by the question of basing cryptographic protocols on stateless tamper-proof hardware tokens, we revisit the question of unconditional two-prover zero-knowledge proofs fo...
212
click to vote
HUC
2010
Springer
15 years 8 months ago
2010
Springer
This paper examines the location traces of 489 users of a location sharing social network for relationships between the users' mobility patterns and structural properties of ...