6153 search results - page 76 / 1231 » Modeling Cyclic Change |
168
click to vote
AMAST
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We develop an algebraic modal logic that combines epistemic and dynamic modalities with a view to modelling information acquisition (learning) by automated agents in a ch...
151
click to vote
ETFA
2008
IEEE
15 years 11 months ago
2008
IEEE
The reactivity of Networked Automation Systems (NAS) has direct influence on safety and quality aspects. It can be determined by a response time analysis, which itself can be calc...
147
click to vote
ASIACRYPT
2000
Springer
15 years 9 months ago
2000
Springer
Assuming a cryptographically strong cyclic group G of prime order q and a random hash function H, we show that ElGamal encryption with an added Schnorr signature is secure against ...
151
click to vote
JAIR
2008
15 years 4 months ago
2008
This paper presents Networks of Influence Diagrams (NID), a compact, natural and highly expressive language for reasoning about agents' beliefs and decision-making processes....
122
click to vote
SIGMETRICS
2010
ACM
15 years 3 months ago
2010
ACM
We establish heavy-traffic limits for nearly deterministic queues, such as the G/D/n many-server queue. Since waiting times before starting service in the G/D/n queue are equivale...