6047 search results - page 647 / 1210 » Modeling with Extend |
184
click to vote
LICS
2005
IEEE
16 years 25 days ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemâ€...
216
click to vote
ASIACRYPT
2005
Springer
16 years 24 days ago
2005
Springer
In this paper, we discuss non-interactive updating of decryption keys in identity-based encryption (IBE). IBE is a public key cryptosystem where a public key is an arbitrary strin...
208
click to vote
IPSN
2005
Springer
16 years 22 days ago
2005
Springer
Maximizing system lifetime in battery-powered wireless sensor networks with power aware topology control protocols and routing protocols has received intensive research. In the pa...
185
click to vote
ISAAC
2005
Springer
16 years 22 days ago
2005
Springer
A partition of a set of n items is a grouping of the items into k disjoint classes of equal size. Any partition can be modeled as a graph: the items become the vertices of the grap...
171
click to vote
KES
2005
Springer
16 years 22 days ago
2005
Springer
In most P2P business models, in which users purchase the media, it is necessary to securely identify the user in order to facilitate payment. In this paper, we present a technique ...