2026 search results - page 243 / 406 » Tools for Test Case Generation |
143
click to vote
ISN
1999
Springer
15 years 9 months ago
1999
Springer
The competitive pressures of the telecoms sector are leading to a major push towards the automation and integration of many operational support processes. This creates pressures to...
119
click to vote
UML
2000
Springer
15 years 9 months ago
2000
Springer
The emergence of the Unified Modeling Language (UML) has provided software developers with an effective and efficient shared language. However, UML is often too restrictive in init...
146
click to vote
JNW
2008
15 years 5 months ago
2008
Mobile phone can serve as powerful tool for world-wide communication. A system is developed to remotely monitor process through spoken commands using mobile. Mel cepstrum features ...
138
click to vote
IJNSEC
2007
15 years 5 months ago
2007
In this paper, we argue that heterogeneity should be an important principle in design and use of cryptographic protocols. We use automated formal analysis tools to randomly genera...
192
click to vote
SIGMOBILE
2010
15 years 7 days ago
2010
As new approaches toward clean-slate network transport continue to emerge in the wireless domain and beyond, so grows the difficulty of conducting reproducible, head-to-head evalu...