Sciweavers

1501 search results - page 210 / 301
» Towards Integration of Modeling Methods for Cyber-Physical S...
Sort
View
ICECCS
2009
IEEE
161views Hardware» more  ICECCS 2009»
15 years 11 months ago
Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
Jeremy Bryans, John S. Fitzgerald, Alexander Roman...
CCS
2003
ACM
15 years 9 months ago
Incentive-based modeling and inference of attacker intent, objectives, and strategies
Although the ability to model and infer Attacker Intent, Objectives and Strategies (AIOS) may dramatically advance the literature of risk assessment, harm prediction, and predicti...
Peng Liu, Wanyu Zang
FGCS
2011
123views more  FGCS 2011»
14 years 11 months ago
Mapping attribution metadata to the Open Provenance Model
A description of a data item’s provenance can be provided in different forms, and which form is best depends on the intended use of that description. Because of this, differen...
Simon Miles
BMCBI
2010
150views more  BMCBI 2010»
15 years 4 months ago
Systematic calibration of a cell signaling network model
Background: Mathematical modeling is being applied to increasingly complex biological systems and datasets; however, the process of analyzing and calibrating against experimental ...
Kyoung Ae Kim, Sabrina L. Spencer, John G. Albeck,...
MICCAI
2008
Springer
16 years 5 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...