67 search results - page 10 / 14 » Characterizing and modeling the behavior of context switch m... |
111
click to vote
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
Team decision making under stress involving multiple contexts is an extremely challenging issue faced by various real world application domains. This research is targeted at coupl...
Publication
Tracking heart motion plays an essential role in the diagnosis of cardiovascular diseases. As such, accurate characterization of dynamic behavior of the left ventricle (LV) is esse...
SIGSOFT
2003
ACM
15 years 2 months ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
58
Voted
IPPS
2006
IEEE
15 years 3 months ago
2006
IEEE
A key emerging and popular communication paradigm, primarily employed for information dissemination, is peer-to-peer (P2P) networking. In this paper, we model the spread of malwar...
63
Voted
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
We introduce a study of position auctions, with an explicit modeling of user navigation through ads. We refer to our model as the PPA model, since it is most applicable in the con...