Sciweavers

8810 search results - page 404 / 1762
» Openness
Sort
View
WADS
2007
Springer
106views Algorithms» more  WADS 2007»
16 years 25 days 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 24 days 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 23 days 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, ...
155
Voted
IWPC
2006
IEEE
16 years 23 days 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 22 days 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...