Sciweavers

5009 search results - page 669 / 1002
» Value chain modelling using system dynamics
Sort
View
DAC
2010
ACM
15 years 5 months ago
SCEMIT: a systemc error and mutation injection tool
As high-level models in C and SystemC are increasingly used for verification and even design (through high-level synthesis) of electronic systems, there is a growing need for com...
Peter Lisherness, Kwang-Ting (Tim) Cheng
IS4TH
2003
Springer
15 years 12 months ago
Tracking the Movement of Surgical Tools in a Virtual Temporal Bone Dissection Simulator
In this paper we present the current state of our research on simulation of temporal bone surgical procedures. We describe the results of tests performed on a virtual surgical trai...
Marco Agus, Andrea Giachetti, Enrico Gobbetti, Gia...
251
Voted
CDC
2009
IEEE
170views Control Systems» more  CDC 2009»
15 years 11 months ago
Adaptive constraint-filtering method and its application to GPS positioning
—To deal with the estimation problem for systems subject to constraints while the corresponding noise processes are not completely known, the adaptive constraint-filtering method...
Tsai-Hsin Chang, Li-Sheng Wang, Fan-Ren Chang
CCS
2006
ACM
15 years 10 months ago
Safety analysis of usage control authorization models
The usage control (UCON) model was introduced as a unified approach to capture a number of extensions for traditional access control models. While the policy specification flexibi...
Xinwen Zhang, Ravi S. Sandhu, Francesco Parisi-Pre...
EDOC
2011
IEEE
14 years 6 months ago
Modeling Contextual Concerns in Enterprise Architecture
Abstract—Enterprise Architecture approaches are used to provide rigorous descriptions of the organization-wide environment, manage the alignment of deployed services to the organ...
Gonçalo Antunes, José Barateiro, Chr...