2632 search results - page 307 / 527 » Alternating Timed Automata |
147
Voted
CCS
2008
ACM
15 years 5 months ago
2008
ACM
Identity-based encryption (IBE) is an exciting alternative to public-key encryption, as IBE eliminates the need for a Public Key Infrastructure (PKI). Any setting, PKI- or identit...
140
Voted
CIKM
2005
Springer
15 years 5 months ago
2005
Springer
We consider the general problem of tracking moving objects in sensor networks. The specific application we consider is that of tracking a chemical plume moving over a large infra...
150
Voted
DALT
2008
Springer
15 years 5 months ago
2008
Springer
We propose a variant of alternating time temporal logic (ATL) with imperfect information, perfect recall, epistemic modalities for the past and strategies which are required to be ...
131
Voted
DAWAK
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We investigate the problem of finding frequent patterns in a continuous stream of transactions. It is recognized that the approximate solutions are usually sufficient and...
104
Voted
EVOW
2008
Springer
15 years 5 months ago
2008
Springer
The military radio stations with frequency hopping propose new problems of frequency assignment which must take into account the size of the deployment, the limited resources and a...