8838 search results - page 1404 / 1768 » Generalizing Domain Theory |
296
click to vote
ASWSD
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Test processes in the automotive industry are tool-intensive and affected by technologically heterogeneous test infrastructures. In the industrial practice a product has ...
172
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Comprehending and analyzing agent behavior is an arduous task due to complexities in agent systems and sophistication of agent behaviors, in addition to the common difficulties wi...
189
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
As agent systems are solving more and more complex tasks in increasingly challenging domains, the systems themselves are becoming more complex too, often compromising their adapti...
168
click to vote
CSFW
2004
IEEE
15 years 10 months ago
2004
IEEE
Intrusion Detection Systems (IDSs) have become an important part of operational computer security. They are the last line of defense against malicious hackers and help detect ongo...
177
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...