468 search results - page 94 / 94 » A New Type System for Deadlock-Free Processes |
IJNSEC
2006
13 years 4 months ago
2006
Alert correlation is an important technique for managing large the volume of intrusion alerts that are raised by heterogenous Intrusion Detection Systems (IDSs). The recent trend ...
AI
2002
Springer
13 years 4 months ago
2002
Springer
Research on resource-bounded agents has established that rational agents need to be able to revise their commitments in light of new opportunities. In the context of collaborative...
ECOOP
2010
Springer
13 years 9 months ago
2010
Springer
We reduce JavaScript to a core calculus structured as a small-step operational semantics. We present several peculiarities of the language and show that our calculus models them. W...