4917 search results - page 424 / 984 » Software Engineering is Not Computer Science |
150
click to vote
EMSOFT
2008
Springer
15 years 6 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
189
click to vote
TC
2010
14 years 11 months ago
2010
Tweakable enciphering schemes are length preserving block cipher modes of operation that provide a strong pseudo-random permutation. It has been suggested that these schemes can b...
124
click to vote
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
We present a method to verify the correctness of parallel programs that perform complex numerical computations, including computations involving floating-point arithmetic. The me...
147
click to vote
PERCOM
2005
ACM
16 years 4 months ago
2005
ACM
Pervasive computing applications must be engineered to provide unprecedented levels of flexibility in order to reconfigure and adapt in response to changes in computing resources ...
136
click to vote
AUIC
2006
IEEE
15 years 10 months ago
2006
IEEE
The Future Operations Centre Analysis Laboratory (FOCAL) at Australia’s Defence Science and Technology Organisation (DSTO) is aimed at exploring new paradigms for situation awar...