545 search results - page 29 / 109 » Concepts and models for typing events for event-based system... |
IRI
2007
IEEE
14 years 2 months ago
2007
IEEE
Biomedical researchers rely on keyword-based search engines to retrieve superficially relevant documents, from which they must filter out irrelevant information manually. Hence, t...
ACSAC
2004
IEEE
14 years 11 days ago
2004
IEEE
Complementary security systems are widely deployed in networks to protect digital assets. Alert correlation is essential to understanding the security threats and taking appropria...
ECOWS
2009
Springer
14 years 3 months ago
2009
Springer
—This paper aims to present a method of creating architectures which allow monitoring occurrence of failure in Service oriented Architectures (SoA). The presented approach extend...
WSC
2008
13 years 11 months ago
2008
The requirements on production systems and their planning and control systems are constantly growing. Systems have to be flexible and provide viable solutions at the same time. Di...
ICSE
1999
IEEE-ACM
14 years 27 days ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...