104 search results - page 14 / 21 » Verification Under Increasing Dimensionality |
116
Voted
NETWORKING
2008
15 years 1 months ago
2008
Currently emerging standard routing protocols for MANETs do not perform well in presence of malicious nodes that intentionally drop data traffic but otherwise behave correctly with...
100
click to vote
FLAIRS
2001
15 years 1 months ago
2001
We present our consistency support tool BIS, an extension to the electronic product data management system (EPDMS) used at DaimlerChrysler AG to configure the Mercedes lines of pa...
126
click to vote
DB
2008
14 years 11 months ago
2008
Software testing can benefit from technologies that enable evolution toward increased engineering discipline. In current practice, software developers lack practical means to dete...
CODES
2010
IEEE
14 years 9 months ago
2010
IEEE
Due to the ever increasing system complexity, deciding whether a given platform is sufficient to implement a set of applications under given constraints becomes a serious bottlene...
113
click to vote
ENTCS
2010
14 years 9 months ago
2010
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...