1554 search results - page 164 / 311 » Testing Polymorphic Behavior |
ATVA
2006
Springer
13 years 11 months ago
2006
Springer
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...
DSN
2006
IEEE
13 years 11 months ago
2006
IEEE
Due to our increasing reliance on computer systems, security incidents and their causes are important problems that need to be addressed. To contribute to this objective, the pape...
AUTONOMICS
2008
ACM
13 years 10 months ago
2008
ACM
Autonomic Management capabilities become increasingly important for attaining functional and quality goals in software systems. Nonetheless, successful Autonomic Management soluti...
CCS
2008
ACM
13 years 10 months ago
2008
ACM
Evaluating and enforcing policies in large-scale networks is one of the most challenging and significant problems facing the network security community today. Current solutions ar...
LREC
2008
2008
What would you Ask a conversational Agent? Observations of Human-Agent Dialogues in a Museum Setting
13 years 9 months ago
Embodied Conversational Agents have typically been constructed for use in limited domain applications, and tested in very specialized environments. Only in recent years have there...