Sciweavers

8810 search results - page 404 / 1762
» Openness
Sort
View
WADS
2007
Springer
106views Algorithms» more  WADS 2007»
16 years 1 months ago
Maximizing Maximal Angles for Plane Straight-Line Graphs
Let G = (S, E) be a plane straight-line graph on a finite point set S ⊂ R2 in general position. The incident angles of a point p ∈ S in G are the angles between any two edges ...
Oswin Aichholzer, Thomas Hackl, Michael Hoffmann, ...
CSFW
2006
IEEE
16 years 1 months ago
Securing Interaction between Threads and the Scheduler
The problem of information flow in multithreaded programs remains an important open challenge. Existing approaches to specifying and enforcing information-flow security often su...
Alejandro Russo, Andrei Sabelfeld
IROS
2006
IEEE
128views Robotics» more  IROS 2006»
16 years 1 months ago
Kinematic Design Optimization of an Actuated Carrier for the DLR Multi-Arm Surgical System
— In this paper, a generic approach to optimize the design of an actuated carrier for the DLR multi-arm surgical system is presented. The carrier is attached to the ceiling of th...
Rainer Konietschke, Tobias Ortmaier, Ulrich Hagn, ...
IWPC
2006
IEEE
16 years 1 months ago
How Webmining and Coupling Metrics Improve Early Program Comprehension
During initial program comprehension, software engineers could benefit from knowing the most need-to-beunderstood classes in the system under study in order to kick-start their s...
Andy Zaidman, Bart Du Bois, Serge Demeyer
QEST
2006
IEEE
16 years 1 months ago
UPPAAL 4.0
— UPPAAL 4.0 is the result of over two and a half years of development and contains many new features, additions to the modeling language, performance improvements, enhancements ...
Gerd Behrmann, Alexandre David, Kim Guldstrand Lar...