7429 search results - page 468 / 1486 » Embedded System Update |
173
click to vote
LORI
2009
Springer
16 years 1 months ago
2009
Springer
We introduce a new type of arrow in the update frames (or “action models”) of Dynamic Epistemic Logic in a way that enables us to reason about epistemic temporal dynamics in m...
194
click to vote
SUM
2009
Springer
16 years 1 months ago
2009
Springer
Bayesian networks are probabilistic graphical models widely employed in AI for the implementation of knowledge-based systems. Standard inference algorithms can update the beliefs a...
176
click to vote
DSN
2007
IEEE
16 years 1 months ago
2007
IEEE
In this work, we present the novel idea of route normalization by correcting on the fly routing traffic on behalf of a local router to protect the local network from malicious a...
139
click to vote
OTM
2007
Springer
16 years 1 months ago
2007
Springer
Optimistic distributed systems often rely on version vectors or their variants in order to track updates on replicated objects. Some of these mechanisms rely on some form of global...
171
click to vote
ICAS
2005
IEEE
16 years 14 days ago
2005
IEEE
Content Distribution Overlays improves end-user performance by replicating Web contents on a group of geographically distributed sites interconnected over the Internet. However, w...