12981 search results - page 2048 / 2597 » Model Checking (Abstract) |
174
Voted
DSOM
2005
Springer
16 years 27 days ago
2005
Springer
Abstract. A method is proposed whereby values for Service Level Objectives (SLOs) of an SLA can be chosen to reduce the sum IT infrastructure cost plus business financial loss. Bu...
200
click to vote
ACNS
2004
Springer
16 years 26 days ago
2004
Springer
Abstract. We propose a novel framework named Hidden Colored PetriNet for Alert Correlation and Understanding (HCPN-ACU) in intrusion detection system. This model is based upon the ...
208
click to vote
AMDO
2004
Springer
16 years 26 days ago
2004
Springer
Abstract. In this paper new results are presented for tracking complex multi-body objects. The theoretical framework is based on robotics techniques and uses an a-priori model of t...
215
click to vote
AOSE
2004
Springer
16 years 26 days ago
2004
Springer
Abstract. The agent-oriented approach has been successfully applied to the solution of complex problems in dynamic open environments. However, to extend its use to mainstream compu...
206
click to vote
ASWSD
2004
Springer
16 years 26 days ago
2004
Springer
Abstract The automotive domain is one of the most promising areas for component and service technologies in the near future. Vehicles are increasingly becoming integrated systems w...