849 search results - page 81 / 170 » A survey of state vectors |
206
click to vote
ASM
2008
ASM
15 years 8 months ago
2008
ASM
Abstract. We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and busin...
176
click to vote
FMCAD
2008
Springer
15 years 7 months ago
2008
Springer
Post-silicon debug is the problem of determining what's wrong when the fabricated chip of a new design behaves incorrectly. This problem now consumes over half of the overall ...
160
click to vote
WSC
1998
15 years 7 months ago
1998
Most features in commercial simulation packages are often omitted in parallel simulation benchmarks, because they neither affect the overall correctness of the simulation protocol...
157
click to vote
FTIR
2006
15 years 6 months ago
2006
Authorship attribution, the science of inferring characteristics of the author from the characteristics of documents written by that author, is a problem with a long history and a...
266
click to vote
ICONFERENCE
2011
15 years 1 months ago
2011
Medicine, psychology and quality of life literature all point to the importance of not just asking ‘how are you?’, but assessing and being aware of self and others’ well-bei...