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