3792 search results - page 600 / 759 » Techniques for Trusted Software Engineering |
153
click to vote
ICESS
2004
Springer
15 years 12 months ago
2004
Springer
Recent work showed that staging and abstract interpretation can be used to derive correct families of combinatorial circuits, and illustrated this technique with an in-depth analys...
170
click to vote
COBUILD
1998
Springer
15 years 10 months ago
1998
Springer
Traditional graphical user interfaces (GUIs) are mainly designed for an environment consisting of a single display and a set of single input devices. However, in the near future we...
169
click to vote
ASSETS
2007
ACM
15 years 10 months ago
2007
ACM
Computers offer valuable assistance to people with physical disabilities. However designing human-computer interfaces for these users is complicated. The range of abilities is mor...
154
click to vote
ENTCS
2010
15 years 3 months ago
2010
Fundamental nano-patterns are simple, static, binary properties of Java methods, such as ObjectCreator and Recursive. We present a provisional catalogue of 17 such nano-patterns. ...
162
click to vote
TASLP
2010
15 years 1 months ago
2010
We present a frequency-domain technique based on PARAllel FACtor (PARAFAC) analysis that performs multichannel blind source separation (BSS) of convolutive speech mixtures. PARAFAC...