3901 search results - page 209 / 781 » software 2008 |
156
Voted
CPHYSICS
2007
15 years 4 months ago
2007
A new software code for computing selected eigenvalues and associated eigenvectors of a real symmetric matrix is described. The eigenvalues are either the smallest or those closes...
159
Voted
TSE
2008
15 years 4 months ago
2008
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
166
click to vote
UMUAI
1998
15 years 4 months ago
1998
We have implemented an application-independent collaboration manager, called Collagen, based on the SharedPlan theory of discourse, and used it to build a software interface agent...
143
Voted
CHI
2008
ACM
16 years 5 months ago
2008
ACM
With the proliferation of computer security threats on the Internet, especially threats such as worms that automatically exploit software flaws, it is becoming more and more impor...
155
click to vote
ISSA
2004
15 years 6 months ago
2004
This paper attempts to address the issue of hardening the internal security of an organisation's network by easing its patch management. Traditionally security has been model...