12981 search results - page 2158 / 2597 » Model Checking (Abstract) |
159
click to vote
INFOCOM
2009
IEEE
16 years 29 days ago
2009
IEEE
Abstract—In transportation network research, the main approach for predicting traffic distribution due to noncooperative vehicle choices has been through fluid type models. The...
172
click to vote
DEXA
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. Fine-grained lock protocols should allow for highly concurrent transaction processing on XML document trees, which is addressed by the taDOM lock protocol family enabling...
153
click to vote
ESA
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. Most recent papers addressing the algorithmic problem of allocating advertisement space for keywords in sponsored search auctions assume that pricing is done via a first...
129
click to vote
ICSOC
2009
Springer
16 years 27 days ago
2009
Springer
In this demonstration1 we present an approach to engineering service brokering requirements and capabilities using the concepts of Service Modes. The demonstration illustrates buil...
198
click to vote
RAID
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. We propose a novel framework of autonomic intrusion detection that fulfills online and adaptive intrusion detection in unlabeled audit data streams. The framework owns a...