3130 search results - page 272 / 626 » Design Correctness of Digital Systems |
117
click to vote
MVA
1998
15 years 4 months ago
1998
Abstract. A new 2D code called Secure 2D code is designed in this paper, both encoder and decoder are also proposed. Secure 2D code can store any kind of data and provides high sec...
141
click to vote
ACSAC
2004
IEEE
15 years 8 months ago
2004
IEEE
Anomaly-based Intrusion Detection (AID) techniques are useful for detecting novel intrusions without known signatures. However, AID techniques suffer from higher false alarm rate ...
110
click to vote
IJCAI
2003
15 years 6 months ago
2003
The structural rigidity property, a generalization of Laman’s theorem which characterizes rigid bar frameworks in 2D, is generally considered a good approximation of rigidity in...
134
click to vote
ICEIS
1999
IEEE
15 years 9 months ago
1999
IEEE
Group Decision Support Systems (GDSS) present important limitations that constrain their usage in current organisations. The fundamental reason is the lack of integration in the c...
146
click to vote
WDAG
1993
Springer
15 years 8 months ago
1993
Springer
Fairness is an important concept in design and implementation of distributed systems. At the specification level, fairness usually serves as an assumption for proving liveness. At ...