955 search results - page 158 / 191 » Model Checking Operator Procedures |
233
click to vote
ICDE
2007
IEEE
16 years 2 months ago
2007
IEEE
In many distributed environments, the primary function of monitoring software is to detect anomalies, that is, instances when system behavior deviates substantially from the norm....
106
Voted
RAID
2004
Springer
15 years 6 months ago
2004
Springer
As the frequency of attacks faced by the average host connected to the Internet increases, reliance on manual intervention for response is decreasingly tenable. Operating system an...
134
click to vote
AAMAS
2004
Springer
15 years 19 days ago
2004
Springer
The Procedural Reasoning System (PRS) is the best established agent architecture currently available. It has been deployed in many major industrial applications, ranging from fault...
113
Voted
CCGRID
2010
IEEE
14 years 10 months ago
2010
IEEE
Due to the strong increase of processing units available to the end user, expressing parallelism of an algorithm is a major challenge for many researchers. Parallel applications ar...
143
click to vote
PAMI
2011
14 years 7 months ago
2011
—Inferring latent structures from observations helps to model and possibly also understand underlying data generating processes. A rich class of latent structures are the latent ...