Sciweavers

6187 search results - page 487 / 1238
» Practical Software Measurement
Sort
View
CAISE
2006
Springer
15 years 11 months ago
Validation of Regulation Documents by Automated Analysis of Formal Models
Abstract. The security of civil aviation is regulated by a series of international standards and recommended practices. The EDEMOI project aims at investigating different technique...
Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie V...
NSDI
2008
15 years 9 months ago
The Heisenbot Uncertainty Problem: Challenges in Separating Bots from Chaff
In this paper we highlight a number of challenges that arise in using crawling to measure the size, topology, and dynamism of distributed botnets. These challenges include traffic...
Chris Kanich, Kirill Levchenko, Brandon Enright, G...
COLING
2000
15 years 8 months ago
Automatic Optimization of Dialogue Management
Designing the dialogue strategy of a spoken dialogue system involves many nontrivial choices. This paper presents a reinforcement learning approach for automatically optimizing di...
Diane J. Litman, Michael S. Kearns, Satinder P. Si...
HPN
1998
15 years 8 months ago
Nondeterministic Classifier Performance Evaluation for Flow Based IP Switching
In modern IP networks, processing cost in network nodes is considered as a bottleneck. This problem is tackled with traffic based IP switching. The performance of traffic based IP...
Jouni Karvo, Mika Ilvesmäki
ECSCW
1997
15 years 8 months ago
The Production of Order and the Order of Production
Drawing on a fieldwork study, this paper considers different design options for the development of a system for facilitating distributed organisation and distributed working withi...
Graham Button, Wes Sharrock