1829 search results - page 271 / 366 » Towards Validation of Requirements Models |
166
click to vote
ITC
2003
IEEE
16 years 4 hour ago
2003
IEEE
In this paper, a new paradigm for designing logic circuits with concurrent error detection (CED) is described. The key idea is to exploit the asymmetric soft error susceptibility ...
173
click to vote
STEP
2003
IEEE
16 years 6 min ago
2003
IEEE
The adoption of the Internet technologies favors the diffusion of Web and Grid-based applications. However, the development of new applications exploiting the modern interfaces an...
226
click to vote
CBSQ
2003
Springer
15 years 12 months ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
201
click to vote
CVPR
2010
IEEE
15 years 11 months ago
2010
IEEE
Videos of multi-player team sports provide a challenging domain for dynamic scene analysis. Player actions and interactions are complex as they are driven by many factors, such as...
169
click to vote
OOPSLA
2001
Springer
15 years 11 months ago
2001
Springer
Preventing abusive resource consumption is indispensable for all kinds of systems that execute untrusted mobile code, such as mobile object systems, extensible web servers, and we...