2748 search results - page 380 / 550 » Generating Object-Z Specifications from Use Cases |
163
Voted
CSL
2010
Springer
15 years 4 months ago
2010
Springer
Robust speech recognition in everyday conditions requires the solution to a number of challenging problems, not least the ability to handle multiple sound sources. The specific ca...
128
click to vote
INFSOF
2006
15 years 4 months ago
2006
Problems related to interactions between components is a sign of problems with the software architecture of the system and are often costly to fix. Thus it is very desirable to id...
128
Voted
DSN
2007
IEEE
15 years 10 months ago
2007
IEEE
Attacks exploiting race conditions have been considered rare and “low risk”. However, the increasing popularity of multiprocessors has changed this situation: instead of waiti...
109
click to vote
ICDS
2009
IEEE
15 years 11 months ago
2009
IEEE
Existing traffic flow modeling theory lacks of guidelines to construct traffic flow models from scratch. In addition, traffic flow models are mainly analyzed with computer simulat...
139
click to vote
ISSAC
2007
Springer
15 years 10 months ago
2007
Springer
Algebraic randomization techniques can be applied to hybrid symbolic-numeric algorithms. Here we consider the problem of interpolating a sparse rational function from noisy values...