Sciweavers

1699 search results - page 264 / 340
» On the Expressive Power of QLTL
Sort
View
SAC
2004
ACM
15 years 11 months ago
Towards multisensor data fusion for DoS detection
In our present work we introduce the use of data fusion in the field of DoS anomaly detection. We present DempsterShafer’s Theory of Evidence (D-S) as the mathematical foundati...
Christos Siaterlis, Basil S. Maglaris
AH
2004
Springer
15 years 11 months ago
On the Dynamic Generation of Compound Critiques in Conversational Recommender Systems
Conversational recommender systems help to guide users through a product-space towards a particular product that meets their specific requirements. During the course of a “conve...
Kevin McCarthy, James Reilly, Lorraine McGinty, Ba...
CONCUR
2004
Springer
15 years 11 months ago
The Pros and Cons of Netcharts
Netcharts have been introduced recently by Mukund et al. in [17]. This new appealing approach to the specification of collections of message sequence charts (MSCs) benefits from ...
Nicolas Baudru, Rémi Morin
ECOOP
2004
Springer
15 years 11 months ago
Increasing Concurrency in Databases Using Program Analysis
Programmers have come to expect better integration between databases and the programming languages they use. While this trend continues unabated, database concurrency scheduling ha...
Roman Vitenberg, Kristian Kvilekval, Ambuj K. Sing...
FASE
2004
Springer
15 years 11 months ago
A Formal Treatment of Context-Awareness
Context-aware computing refers to a computing paradigm in which the behavior of individual components is determined by the circumstances in which they find themselves to an extent...
Gruia-Catalin Roman, Christine Julien, Jamie Payto...