7557 search results - page 218 / 1512 » Modeling Timed Concurrent Systems |
146
click to vote
WWW
2005
ACM
16 years 1 days ago
2005
ACM
How to effectively allocate system resource to meet the Service Level Agreement (SLA) of Web servers is a challenging problem. In this paper, we propose an improved scheme for aut...
195
click to vote
ASAP
2008
IEEE
15 years 8 months ago
2008
IEEE
Arithmetic coding is an efficient entropy compression method that achieves results close to the entropy limit and it is used in modern standards such as JPEG-2000 and H.264. Arith...
187
click to vote
ACSW
2007
15 years 8 months ago
2007
Low latency anonymous network systems, such as Tor, were considered secure against timing attacks when the threat model does not include a global adversary. In this threat model t...
166
click to vote
PATMOS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Portable digital systems tend to be not just low power but power efficient as they are powered by low batteries or energy harvesters. Energy harvesting systems tend to pr...
176
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
In the clock semantics for epistemic logic, two situations are indistinguishable for an agent when it makes the same observation and the time in the situations is the same. The pa...