2255 search results - page 235 / 451 » High Assurance Software Systems |
129
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
Speech privacy techniques are used to scramble clear speech into an unintelligible signal in order to avoid eavesdropping. Some analog speech-privacy equipments (scramblers) have ...
184
click to vote
SSDBM
1999
IEEE
15 years 10 months ago
1999
IEEE
Conducting bioinformatic analyses involves biologists in expressing requests over a range of highly heterogeneous information sources and software tools. Such activities are labor...
187
click to vote
FC
1997
Springer
15 years 10 months ago
1997
Springer
Existing software proposals for electronic payments can be divided into "on-line" schemes that require participation of a trusted party (the bank) in every transaction an...
147
click to vote
BIOSTEC
2008
15 years 8 months ago
2008
In the last years the interest for magnetic stimulation of the human nervous tissue has increased considerably, because this technique has proved its utility and applicability bot...
181
click to vote
COMPSAC
2009
IEEE
15 years 11 months ago
2009
IEEE
Given the rapid rise of model-driven software development methodologies, it is highly desirable that tools be developed to support the use of design patterns in this context. This...