Asked | Open questions | Answered 1 2 Next
Date Pair Term Level Status Answers (undeclined) Gloss
Feb 12 eng>fas more targeted pro closed 5 no
Feb 12 eng>fas conformance pro closed 7 ok
Feb 12 eng>fas subsume pro closed 3 no
Feb 12 eng>fas leveraged this feature pro closed 6 no
Feb 12 eng>fas property-coverage criterion pro closed 5 ok
Feb 11 eng>fas branch coverage pro closed 6 ok
Feb 11 eng>fas cross-coverage measurement pro closed 4 ok
Feb 11 eng>fas semantics of a requirement pro closed 8 ok
Feb 11 eng>fas counterexample producing capability of an off-the-shelf model checker, pro closed 6 ok
Feb 11 eng>fas instrumental in developing linear temporal model checkers pro closed 7 ok
Feb 10 eng>fas centering it towards requirements pro closed 6 ok
Feb 10 eng>fas extracted from an implementation pro closed 7 ok
Feb 10 eng>fas more scalable pro closed 5 no
Feb 10 eng>fas safety-critical systems pro closed 7 ok
Feb 10 eng>fas Verification and Validation (V&V) techniques pro closed 6 ok
Feb 9 eng>fas adversary condition pro closed 5 ok
Feb 9 eng>fas cross-coverage comparison pro closed 5 ok
Feb 9 eng>fas model-checking-assisted algorithm pro closed 6 ok
Feb 9 eng>fas specification-based testing technique pro closed 6 ok
Feb 9 eng>fas reactive system pro closed 6 ok
Jun 27 '19 eng>.fs switchover pro closed 4 no
Jun 27 '19 eng>.fs payloa pro closed 3 no
Jun 27 '19 eng>.fs buffer the latter pro closed 3 no
Jun 27 '19 eng>.fs nonce pro closed 4 no
Jun 27 '19 eng>.fs wrapped data pro closed 4 no
Jun 26 '19 eng>.fs daemon program pro closed 4 no
Jun 26 '19 eng>.fs certificate issuing pro closed 3 no
Jun 26 '19 eng>.fs care-of address change pro closed 5 no
Jun 26 '19 eng>.fs encapsulated Mobile IP Registration Request pro closed 5 no
Jun 26 '19 eng>.fs hop pro closed 3 no
Jun 24 '19 eng>.fs intradomain roaming pro closed 5 no
Jun 24 '19 eng>.fs end-to-end authentication pro closed 5 no
Jun 24 '19 eng>.fs link-layer-assisted Mobile IP handoff mechanism pro closed 3 no
Jun 24 '19 eng>.fs seamless roaming pro closed 6 no
Jun 3 '19 eng>.fs circuits pro closed 1 no
Jun 3 '19 eng>.fs neurosynaptic plasticity pro closed 4 ok
Jun 3 '19 eng>.fs experience-driven specialization of perceptual and motor skills pro closed 4 no
Jun 3 '19 eng>.fs timely trigger behavioural responses pro closed 4 no
Jun 3 '19 eng>.fs annotated training samples pro closed 3 no
Jun 1 '19 eng>.fs multisensory integration pro closed 2 no
Jun 1 '19 eng>.fs learn representations pro closed 4 no
Jun 1 '19 eng>.fs non-stationary data distributions pro closed 4 no
Jun 1 '19 eng>.fs mediated pro closed 6 no
Jun 1 '19 eng>.fs fine-tune pro closed 5 no
May 20 '19 eng>.fs inclusive hierarchy of risk controls pro closed 3 no
May 20 '19 eng>.fs industrial forefront pro closed 3 no
May 19 '19 eng>.fs more merely individual pro closed 4 no
May 19 '19 eng>.fs erector spinaes pro closed 3 no
May 19 '19 eng>.fs Severe shoulder flexion and abduction pro closed 3 no
May 19 '19 eng>.fs snapshot pro closed 3 no
Asked | Open questions | Answered  1 2 Next