Sciweavers

7397 search results - page 1077 / 1480
» Processes Are Data: A Programming Model for Distributed Appl...
Sort
View
ICSE
2008
IEEE-ACM
16 years 7 months ago
Calysto: scalable and precise extended static checking
Automatically detecting bugs in programs has been a long-held goal in software engineering. Many techniques exist, trading-off varying levels of automation, thoroughness of covera...
Domagoj Babic, Alan J. Hu
DAGM
2005
Springer
16 years 8 days ago
Cluster-Based Point Cloud Analysis for Rapid Scene Interpretation
A histogram-based method for the interpretation of three-dimensional (3D) point clouds is introduced, where point clouds represent the surface of a scene of multiple objects and ba...
Eric Wahl, Gerd Hirzinger
UML
1998
Springer
15 years 10 months ago
Supporting and Applying the UML Conceptual Framework
The Unified Modelling Language (UML) ostensibly assumes a four level (meta) modelling framework, both for its definition and for the conceptual context in which its users operate. ...
Colin Atkinson
170
Voted
INFOCOM
2007
IEEE
16 years 1 months ago
Stochastic Analysis and Improvement of the Reliability of DHT-Based Multicast
Abstract— This paper investigates the reliability of applicationlevel multicast based on a distributed hash table (DHT) in a highly dynamic network. Using a node residual lifetim...
Guang Tan, Stephen A. Jarvis
APBC
2003
135views Bioinformatics» more  APBC 2003»
15 years 8 months ago
The Visualization and Measurement of Left Ventricular Deformation
While medical progress has been made in the diagnosis and treatment of heart diseases it remains the biggest killer in the western world. Cardiovascular diseases cause considerabl...
Burkhard Wünsche
« Prev « First page 1077 / 1480 Last » Next »