733 search results - page 37 / 147 » Formal Reasoning About Intrusion Detection Systems |
108
click to vote
INTELLCOMM
2004
Springer
15 years 7 months ago
2004
Springer
Web prefetching techniques have pointed to be especially important to reduce web latencies and, consequently, an important set of works can be found in the open literature. But, in...
128
click to vote
VALUETOOLS
2006
ACM
15 years 8 months ago
2006
ACM
Cache locality optimization is an efficient way for reducing the idle time of modern processors in waiting for needed data. This kind of optimization can be achieved either on the...
115
click to vote
AAMAS
2005
Springer
15 years 1 months ago
2005
Springer
A Multi-linked negotiation problem occurs when an agent needs to negotiate with multiple other agents about different subjects (tasks, conflicts, or resource requirements), and th...
119
click to vote
DLOG
2003
15 years 3 months ago
2003
An object-oriented software design is often modelled as a collection of UML diagrams. There is an inherent need to preserve the consistency between these diagrams. Moreover, throu...
107
click to vote
WWW
2008
ACM
16 years 2 months ago
2008
ACM
Applications of semantic technologies often require the representation of and reasoning with structured objects--that is, objects composed of parts connected in complex ways. Alth...