5398 search results - page 165 / 1080 » On the Effective Use of Software Standards in Systems Integr... |
194
click to vote
TPHOL
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
151
click to vote
INFSOF
2007
15 years 6 months ago
2007
The growing pervasiveness of computer systems is bringing with it more societal reliance on those systems, which in turn is attracting the attention of various legal and political...
152
click to vote
CCS
2004
ACM
15 years 12 months ago
2004
ACM
Address-space randomization is a technique used to fortify systems against bu er over
ow attacks. The idea is to introduce arti cial diversity by randomizing the memory location o...
183
click to vote
TLT
2008
15 years 6 months ago
2008
For many practical learning scenarios, the integrated use of more than one learning tool is educationally beneficial. In these cases, interoperability between learning tools--getti...
182
click to vote
ISD
1999
Springer
15 years 10 months ago
1999
Springer
This paper describes an ongoing collaborative research program between the Computer Science and the Forestry and Wildlife Management Departments at the University of Massachusetts...