9739 search results - page 1604 / 1948 » Object-Oriented Analysis and Design |
204
click to vote
ATVA
2008
Springer
15 years 9 months ago
2008
Springer
The evaluation of successor or predecessor state spaces through time progress is a central component in the model-checking algorithm of dense-time automata. The definition of the t...
226
click to vote
AUTONOMICS
2008
ACM
15 years 9 months ago
2008
ACM
A goal of computing and networking systems is to limit administrative requirements for users and operators. A technical systems should be able to configure itself as much as possi...
227
click to vote
CCS
2008
ACM
15 years 9 months ago
2008
ACM
Although biometrics have garnered significant interest as a source of entropy for cryptographic key generation, recent studies indicate that many biometric modalities may not actu...
193
click to vote
CEAS
2008
Springer
15 years 9 months ago
2008
Springer
Gray mail, messages that could reasonably be considered either spam or good by different email users, is a commonly observed issue in production spam filtering systems. In this pa...
217
click to vote
CIKM
2008
Springer
15 years 9 months ago
2008
Springer
We argue that expert finding is sensitive to multiple document features in an organization, and therefore, can benefit from the incorporation of these document features. We propos...