1254 search results - page 71 / 251 » Making Hard Problems Harder |
ICFEM
2009
Springer
14 years 3 months ago
2009
Springer
Coinductive proofs of behavioral equivalence often require human ingenuity, in that one is expected to provide a “good” relation extending one’s goal with additional lemmas, ...
CEC
2008
IEEE
14 years 3 months ago
2008
IEEE
— Many complex, real world phenomena are difficult to study directly using controlled experiments. Instead, the use of computer simulations has become commonplace as a cost effe...
LCN
2008
IEEE
14 years 3 months ago
2008
IEEE
—Tag collisions can impose a major delay in Radio Frequency IDentification (RFID) systems. Such collisions are hard to overcome with passive tags due to their limited capabiliti...
CSMR
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper describes a research project concentrating on improving requirements management. We started this research by identifying the problems companies face with respect to req...
DSD
2007
IEEE
14 years 3 months ago
2007
IEEE
— Programmable multiprocessor systems-on-chip are becoming the preferred implementation platform for embedded streaming applications. This enables using more software components,...