Sciweavers

1040 search results - page 126 / 208
» Controlling Aspect Reentrancy
Sort
View
ISMIR
2005
Springer
172views Music» more  ISMIR 2005»
15 years 6 months ago
Herding Folksongs
Cataloging a large, multi-media collection of traditional song and drama in preparation for online presentation highlights issues of song identity and access in the context of con...
Robert Young Walser
DFG
2004
Springer
15 years 6 months ago
Combining Formal Methods and Safety Analysis - The ForMoSA Approach
In the ForMoSA project [17] an integrated approach for safety analysis of critical, embedded systems has been developed. The approach brings together the best of engineering practi...
Frank Ortmeier, Andreas Thums, Gerhard Schellhorn,...
94
Voted
CDC
2009
IEEE
15 years 5 months ago
Metrics on the space of bounded Keplerian orbits and space situational awareness
— A main difficulty for orbit determination of space debris is the correlation of tracks of data belonging to the same physical object. A sequence of optical measurements of an ...
Jared M. Maruskin, Daniel J. Scheeres
102
Voted
KIVS
2001
Springer
15 years 5 months ago
Improving the Performance of TCP on Guaranteed Bandwidth Connections
This paper discusses the performance of the Transmission Control Protocol under two aspects: First, the future Internet will provide some kind of service differentiation and bandw...
Hartmut Ritter, Klaus Wehrle, Lars C. Wolf
76
Voted
SIGECOM
2000
ACM
116views ECommerce» more  SIGECOM 2000»
15 years 5 months ago
Privacy-preserving global customization
d Abstract) Robert M. Arlein Ben Jai Markus Jakobsson Fabian Monrose Michael K. Reiter Information Sciences Research Center Bell Labs, Lucent Technologies Murray Hill, NJ, USA We ...
Robert M. Arlein, Ben Jai, Markus Jakobsson, Fabia...