2191 search results - page 289 / 439 » Aspect - A Problem For MT |
118
click to vote
COMPSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
153
click to vote
DASC
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— In stream authentication protocols used for largescale data dissemination in autonomuous systems, authentication is based on the timing of the publication of keys, and ...
139
click to vote
DSN
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper addresses the problem of fault resilience of overlay-based live media streaming from two aspects: (1) how to construct a stable multicast tree that minimizes the negati...
130
click to vote
HICSS
2006
IEEE
15 years 10 months ago
2006
IEEE
This study addresses a long-standing and wellrecognized problem in KM research, namely the lack of conceptual integration and a cumulative tradition. Knowledge management needs an...
147
click to vote
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper investigates asymptotically optimal scalar quantizers to address QIM watermark detection with i.i.d. host data and additive noise. False-alarm probability of detection ...