Sciweavers

738 search results - page 117 / 148
» cases 2001
Sort
View
KIVS
2001
Springer
14 years 2 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
LPAR
2001
Springer
14 years 2 months ago
Local Temporal Logic is Expressively Complete for Cograph Dependence Alphabets
Abstract. Recently, local logics for Mazurkiewicz traces are of increasing interest. This is mainly due to the fact that the satisfiability problem has the same complexity as in t...
Volker Diekert, Paul Gastin
MASA
2001
Springer
14 years 2 months ago
Motivated Agent Behaviour and Requirements Applied to Virtual Emergencies
Virtual environments provide a rich and varied domain for intelligent agents, but questions of design and development in this context are still to be answered. An agent with multip...
Sorabain Wolfheart de Lioncourt, Michael Luck
MICCAI
2001
Springer
14 years 2 months ago
A New Method for the Registration of Cardiac PET and MR Images Using Deformable Model Based Segmentation of the Main Thorax Stru
Abstract. Integration of magnetic resonance (MR) and positron emission tomography (PET) images of the heart has proved its usefulness for the estimation of the myocardial viability...
Timo Mäkelä, Patrick Clarysse, Jyrki L&o...
OOPSLA
2001
Springer
14 years 2 months ago
A Categorization of Classes based on the Visualization of their Internal Structure: The Class Blueprint
The reengineering and reverse engineering of software systems is gaining importance in software industry, because the accelerated turnover in software companies creates legacy sys...
Michele Lanza, Stéphane Ducasse