588 search results - page 60 / 118 » Using UML Environment Models for Test Case Generation |
94
Voted
GI
2009
Springer
15 years 5 months ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...
101
click to vote
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
In this work we concentrate on generating compound words with high order n-gram information for speech recognition. In most existing compound words generation methods, only bi-gra...
132
Voted
CCGRID
2010
IEEE
14 years 4 months ago
2010
IEEE
- Scientific workflows have become an integral part of cyberinfrastructure as their computational complexity and data sizes have grown. However, the complexity of the distributed i...
100
Voted
KI
2007
Springer
15 years 6 months ago
2007
Springer
To achieve complex missions an autonomous unmanned aerial vehicle (UAV) operating in dynamic environments must have and maintain situational awareness. This can be achieved by cont...
132
Voted
PPAM
2007
Springer
15 years 6 months ago
2007
Springer
This work concentrates on the design of a system intended for study of advanced scheduling techniques for planning various types of jobs in a Grid environment. The solution is able...