3765 search results - page 466 / 753 » Formal Methods for Systems Engineering Behavior Models |
185
Voted
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
The ability of human visual system to detect visual saliency is extraordinarily fast and reliable. However, computational modeling of this basic intelligent behavior still remains...
161
click to vote
ISSRE
2006
IEEE
16 years 21 days ago
2006
IEEE
This paper explores a novel application of queuing theory to the corrective software maintenance problem to support quantitative balancing between resources and responsiveness. In...
180
click to vote
IUI
2003
ACM
15 years 12 months ago
2003
ACM
The Stock Tracker is an adaptive recommendation system for trading stocks that automatically acquires content-based models of user preferences to tailor its buy and sell advice. T...
150
click to vote
FMICS
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. This paper reports the analysis of an industrial implementation of the session-layer of a load-balancing software system. This software comprises 7.5 thousand lines of C ...
182
click to vote
FMCO
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Attack graphs depict ways in which an adversary exploits system vulnerabilities to achieve a desired state. System administrators use attack graphs to determine how vulne...