2403 search results - page 377 / 481 » Using the WinWin Spiral Model: A Case Study |
SAC
2009
ACM
15 years 6 months ago
2009
ACM
In this paper we propose a passive conformance testing technique applied to a Mobile ad hoc network (MANET) routing protocol, OLSR, that is characterized by a dynamically changing...
77
Voted
SLE
2009
Springer
15 years 6 months ago
2009
Springer
In consequence of changing requirements and technological progress, software languages are subject to change. The changes affect the language’s specification, which in turn a...
103
Voted
TAP
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
84
Voted
HICSS
2008
IEEE
15 years 6 months ago
2008
IEEE
On September 5, 2006, a legal precedent was set for web accessibility. Federal judge Marilyn Patel sustained discrimination claims by the National Federation for the Blind against...
ICASSP
2008
IEEE
15 years 6 months ago
2008
IEEE
Recently, a novel and structural representation of speech was proposed [1, 2], where the inevitable acoustic variations caused by nonlinguistic factors are effectively removed fro...