Sciweavers

873 search results - page 48 / 175
» Effective Use of Organisational Abstractions for Confidence ...
Sort
View
ICCAD
2008
IEEE
151views Hardware» more  ICCAD 2008»
16 years 3 months ago
Race analysis for SystemC using model checking
—SystemC is a system-level modeling language that offers a wide range of features to describe concurrent systems rent levels of abstraction. The SystemC standard permits simulato...
Nicolas Blanc, Daniel Kroening
DCOSS
2010
Springer
15 years 11 months ago
Programming Sensor Networks Using Remora Component Model
Abstract. The success of high-level programming models in Wireless Sensor Networks (WSNs) is heavily dependent on factors such as ease of programming, code well-structuring, degree...
Amirhosein Taherkordi, Frédéric Loir...
162
Voted
MICCAI
2008
Springer
16 years 7 months ago
MRI Bone Segmentation Using Deformable Models and Shape Priors
Abstract. This paper addresses the problem of automatically segmenting bone structures in low resolution clinical MRI datasets. The novel aspect of the proposed method is the combi...
Jérôme Schmid, Nadia Magnenat-Thalman...
ACSAC
2009
IEEE
16 years 28 days ago
Modeling Modern Network Attacks and Countermeasures Using Attack Graphs
Abstract—By accurately measuring risk for enterprise networks, attack graphs allow network defenders to understand the most critical threats and select the most effective counter...
Kyle Ingols, Matthew Chu, Richard Lippmann, Seth E...
MICCAI
2005
Springer
16 years 7 months ago
Shape Modeling Using Automatic Landmarking
Abstract. This paper describes a novel approach to automatically recover accurate correspondence over various shapes. In order to detect the features points with the capability in ...
Jun Xie, Pheng-Ann Heng