1127 search results - page 197 / 226 » Theory Extension in ACL2(r) |
122
Voted
ECRTS
2004
IEEE
15 years 4 months ago
2004
IEEE
A common method for dealing with overload conditions in periodic task systems is to reduce the load by enlarging activation periods. When a periodic task implements a digital cont...
124
Voted
CIKM
2006
Springer
15 years 4 months ago
2006
Springer
Data stream clustering has emerged as a challenging and interesting problem over the past few years. Due to the evolving nature, and one-pass restriction imposed by the data strea...
105
click to vote
ESORICS
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. We revisit the classical notion of noninterference for statebased systems, as presented by Rushby in 1992. We strengthen his results in several ways, in particular clarif...
98
Voted
ECTEL
2006
Springer
15 years 4 months ago
2006
Springer
The experience described in this paper is being developed in the framework of the PALETTE1 project by two teams of researchers involved in collecting information from some Communi...
90
Voted
FDTC
2006
Springer
15 years 4 months ago
2006
Springer
We present a new approach to fault tolerant public key cryptography based on redundant arithmetic in finite rings. Redundancy is achieved by embedding non-redundant field or ring ...