1091 search results - page 154 / 219 » The State of Cognitive Systems Engineering |
COMPSAC
2005
IEEE
14 years 2 months ago
2005
IEEE
To protect software against malicious activities, organizations are required to monitor security breaches. Intrusion Detection Systems (IDS) are those kinds of monitoring tools th...
KBSE
2005
IEEE
14 years 2 months ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
IUI
2004
ACM
14 years 2 months ago
2004
ACM
In many practical scenarios, users are faced with the problem of choosing the most preferred outcome from a large set of possibilities. As people are unable to sift through them m...
RE
2004
Springer
14 years 2 months ago
2004
Springer
Scenarios and goals are effective and popular techniques for requirements definition. Validation is essential in order to ensure that they represent what stakeholders actually wan...
AC
1999
Springer
14 years 1 months ago
1999
Springer
In a distributed system, replication of components, such as objects, is a well known way of achieving availability. For increased availability, crashed and disconnected components...