3555 search results - page 492 / 711 » Security-Critical System Development with Extended Use Cases |
186
click to vote
RTAS
2008
IEEE
15 years 12 months ago
2008
IEEE
In previous work we have shown how modular code can be automatically generated from a synchronous block diagram notation where all blocks fire at all times. Here, we extend this ...
142
click to vote
ICC
2007
IEEE
15 years 12 months ago
2007
IEEE
— In this paper we describe a time-based admission control scheme for Multimedia over IP services in wireless LANs based on the IEEE 802.11e standard. We build on an existing wor...
162
click to vote
CRYPTO
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. We consider the broadcast exclusion problem: how to transmit a message over a broadcast channel shared by N = 2n users so that all but some specified coalition of k excl...
157
click to vote
EUROCRYPT
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. Provable security is a very nice property for cryptographic protocols. Unfortunately, in many cases, this is at the cost of a considerable loss in terms of efficiency. Mo...
158
Voted
KDD
1997
ACM
15 years 9 months ago
1997
ACM
1 Several clustering algorithms have been proposed for class identification in spatial databases such as earth observation databases. The effectivity of the well-known algorithms ...