Sciweavers

945 search results - page 72 / 189
» On the robustness of primitive words
Sort
View
ER
2007
Springer
105views Database» more  ER 2007»
16 years 10 days ago
Clarifying Goal Models
Representation and reasoning about information system (IS) requirements is facilitated with the use of goal models to describe the desired and undesired IS behaviors. One difficul...
Ivan Jureta, Stéphane Faulkner
TARK
2007
Springer
16 years 9 days ago
Preservation of epistemic properties in security protocol implementations
We introduce (i) a general class of security protocols with private channel as cryptographic primitive and (ii) a probabilistic epistemic logic to express properties of security pr...
Ron van der Meyden, Thomas Wilke
WIA
2007
Springer
16 years 9 days ago
Average Value and Variance of Pattern Statistics in Rational Models
We study the pattern statistics representing the number of occurrences of a given string in a word of length n generated at random by rational stochastic models, defined by means ...
Massimiliano Goldwurm, Roberto Radicioni
VTS
2002
IEEE
113views Hardware» more  VTS 2002»
15 years 11 months ago
Testing Static and Dynamic Faults in Random Access Memories
The ever increasing trend to reduce DPM levels of memories requires tests with very high fault coverages. The very important class of dynamic fault, therefore cannot be ignored an...
Said Hamdioui, Zaid Al-Ars, A. J. van de Goor
HAPTICS
2010
IEEE
15 years 11 months ago
Laterotactile Rendering of Vector Graphics with the Stroke Pattern
Raised line patterns are used extensively in the design of tactile graphics for persons with visual impairments. A tactile stroke pattern was therefore developed to enable the rend...
Vincent Lévesque, Vincent Hayward