759 search results - page 127 / 152 » Identifying Modeling Errors in Signatures by Model Checking |
85
Voted
ICRE
1998
IEEE
15 years 1 months ago
1998
IEEE
Systems requirements errors are numerous, persistent, and expensive. To detect such errors, and focus on critical ones during the development of a requirements document, we have d...
82
Voted
CAD
2006
Springer
14 years 9 months ago
2006
Springer
Limited by the regular grids in computing, many modelling approaches (e.g., field-based methods) sample 3D shape insensitive to sharp features therefore exhibit aliasing errors, b...
68
Voted
TCOM
2008
14 years 9 months ago
2008
We consider cross-layer adaptive transmission for a single-user system with stochastic data traffic and a timevarying wireless channel. The objective is to vary the transmit power ...
83
Voted
IEEEPACT
2009
IEEE
14 years 7 months ago
2009
IEEE
Abstract--Chip-MultiProcessor (CMP) architectures are becoming more and more popular as an alternative to the traditional processors that only extract instruction-level parallelism...
114
click to vote
USS
2010
14 years 7 months ago
2010
Web applications are the most common way to make services and data available on the Internet. Unfortunately, with the increase in the number and complexity of these applications, ...