3688 search results - page 445 / 738 » Static analysis of aspects |
228
click to vote
AOSD
2011
ACM
15 years 1 months ago
2011
ACM
A Software Product Line (SPL) is a family of programs where each program is defined by a unique combination of features. Testing or checking properties of an SPL is hard as it ma...
247
click to vote
JUCS
2010
15 years 1 months ago
2010
Abstract: Authoring of Adaptive Educational Hypermedia is a complex activity requiring the combination of a range of design and validation techniques. We demonstrate how Adaptive E...
199
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
We investigate classification of non-linguistic vocalisations with a novel audiovisual approach and Long Short-Term Memory (LSTM) Recurrent Neural Networks as highly successful d...
171
click to vote
VLSID
2008
IEEE
16 years 7 months ago
2008
IEEE
Worst-case execution time (WCET) analysis and, in general, the predictability of real-time applications implemented on multiprocessor systems has been addressed only in very restri...
193
click to vote
CCS
2007
ACM
16 years 29 days ago
2007
ACM
In measuring the overall security of a network, a crucial issue is to correctly compose the measure of individual components. Incorrect compositions may lead to misleading results...