1213 search results - page 117 / 243 » Traceability for System Families |
102
Voted
IANDC
2010
14 years 11 months ago
2010
Categorial grammars in the tradition of Lambek [18, 19] are asymmetric: sequent statements are of the form Γ ⇒ A, where the succedent is a single formula A, the antecedent a st...
129
Voted
LATA
2010
Springer
14 years 11 months ago
2010
Springer
We apply language theory to compare the expressive power of models that extend Petri nets with features like colored tokens and/or whole place operations. Specifically, we conside...
ICIP
2007
IEEE
16 years 2 months ago
2007
IEEE
Scaling attacks are well-known to be some of the most harmful strategies against quantization-based watermarking methods, as they can completely ruin the performance of the waterm...
IWDW
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Scaling attacks are well-known to be some of the most harmful strategies against quantization-based watermarking methods, as they desynchronize the decoder, completely ru...
DATE
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper briefly describes the picoArrayTM architecture, and in particular the deterministic internal communication fabric. The methods that have been developed for debugging a...