2468 search results - page 336 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
148
click to vote
WEBI
2010
Springer
15 years 1 months ago
2010
Springer
A biologically inspired cognitive model is presented for human decision making and applied to the simulation of the web user. The model is based on the Neurophysiology description ...
162
click to vote
ICITS
2009
15 years 1 months ago
2009
In a multisecret sharing scheme, several secret values are distributed among a set of n users, and each secret may have a different associated access structure. We consider here un...
188
click to vote
SIGMETRICS
2004
ACM
15 years 9 months ago
2004
ACM
The use of environmental energy is now emerging as a feasible energy source for embedded and wireless computing systems such as sensor networks where manual recharging or replacem...
152
click to vote
NLPRS
2001
Springer
15 years 8 months ago
2001
Springer
Recent research in automated learning has focused on algorithms that learn from a combination of tagged and untagged data. Such algorithms can be referred to as semi-supervised in...
140
Voted
EUROSYS
2009
ACM
16 years 27 days ago
2009
ACM
This paper develops analytical models to predict the throughput and the response time of a replicated database using measurements of the workload on a standalone database. These m...