Sciweavers

718 search results - page 44 / 144
» Toward Models for Forensic Analysis
Sort
View
ISER
2004
Springer
117views Robotics» more  ISER 2004»
15 years 3 months ago
Synthesis and Analysis of Non-Reactive Controllers for Multi-Robot Sequential Task Domains
In this paper we present a macroscopic model for the analysis of homogeneous task-directed multi-robot systems (MRS). The model is used to compute the probability that a given MRS ...
Chris Jones, Maja J. Mataric
ICDM
2010
IEEE
142views Data Mining» more  ICDM 2010»
14 years 7 months ago
Towards Community Discovery in Signed Collaborative Interaction Networks
Abstract--We propose a framework for discovery of collaborative community structure in Wiki-based knowledge repositories based on raw-content generation analysis. We leverage topic...
Petko Bogdanov, Nicholas D. Larusso, Ambuj K. Sing...
ISOLA
2010
Springer
14 years 8 months ago
Towards Dynamic Adaptation of Probabilistic Systems
Dynamic system adaptation is modeled in the coordination language Paradigm as coordination of collaborating components. A special component McPal allows for addition of new behavio...
Suzana Andova, Luuk Groenewegen, Erik P. de Vink
CN
2010
134views more  CN 2010»
14 years 8 months ago
TCP Libra: Derivation, analysis, and comparison with other RTT-fair TCPs
— The Transmission Control Protocol (TCP), the most widely used transport protocol over the Internet, has been advertised to implement fairness between flows competing for the s...
Gustavo Marfia, Claudio E. Palazzi, Giovanni Pau, ...
AICT
2007
IEEE
122views Communications» more  AICT 2007»
14 years 11 months ago
Towards Security Analyses of an Identity Federation Protocol for Web Services in Convergent Networks
— We describe a formal approach to the analysis of security aspects of an identity federation protocol for web services in convergent networks. This network protocol was proposed...
Maurice H. ter Beek, Corrado Moiso, Marinella Petr...