5398 search results - page 194 / 1080 » On the Effective Use of Software Standards in Systems Integr... |
147
click to vote
HT
1997
ACM
15 years 10 months ago
1997
ACM
Traditionally hypertexts have been limited in size by the manual effort required to create hypertext links. In addition, large hyper–linked collections may overwhelm users with ...
195
click to vote
ACMSE
2005
ACM
16 years 3 days ago
2005
ACM
As the field of human-computer interaction matures, the need for proven, dependable engineering processes for interface development becomes apparent. Our continuing work in develo...
119
click to vote
ISCAS
2005
IEEE
16 years 4 days ago
2005
IEEE
— In this paper, a systematic methodology for the assessment of Power/Signal Integrity effects in high-speed communication and information systems is presented. The proposed meth...
151
click to vote
MOC
2010
15 years 1 months ago
2010
In this paper, a Jacobi-collocation spectral method is developed for Volterra integral equations of the second kind with a weakly singular kernel. We use some function transformati...
166
click to vote
RE
2001
Springer
15 years 11 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...