491 search results - page 50 / 99 » RETNA: From Requirements to Testing in a Natural Way |
180
click to vote
INFOCOM
2011
IEEE
14 years 9 months ago
2011
IEEE
—In Vehicular Ad Hoc Networks (VANETs), the major communication challenge lies in very poor connectivity, which can be caused by sparse or unbalanced traffic. Deploying supporti...
149
click to vote
FOSSACS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Motivated by recent work on the derivation of labelled transitions and bisimulation congruences from unlabelled reaction rules, we show how to solve this problem in the D...
154
click to vote
WETICE
1999
IEEE
15 years 10 months ago
1999
IEEE
In order to design useful knowledge media spaces to knowledge workers it is essential that we understand the nature of the work conducted and the knowledge applied in real setting...
177
click to vote
NIPS
1998
15 years 7 months ago
1998
We compare the ability of three exemplar-based memory models, each using three different face stimulus representations, to account for the probability a human subject responded &q...
165
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
Dynamically discovering likely program invariants from concrete test executions has emerged as a highly promising software engineering technique. Dynamic invariant inference has t...