4350 search results - page 132 / 870 » Case studies for contract-based systems |
114
click to vote
SIAMCO
2002
15 years 3 months ago
2002
Abstract. We study the stability of the origin for the dynamical system x(t) = u(t)Ax(t)+(1u(t))Bx(t), where A and B are two 2
145
click to vote
JSS
2006
15 years 4 months ago
2006
In this paper we investigate factors of the testability of object-oriented software systems. The starting point is given by a study of the literature to obtain both an initial mod...
128
click to vote
HICSS
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract. Despite a growing body of research on knowledge management (KM) systems, many managers are still unsure how they can implement a KM system that will effectively contribut...
154
click to vote
MIA
2011
14 years 6 months ago
2011
In this work we propose a comprehensive study of Digital Stent Enhancement (DSE), from the analysis of requirements to the validation of the proposed solution. First, we derive th...
174
click to vote
IPCAI
2010
15 years 1 months ago
2010
The Camera Augmented Mobile C-arm (CamC) system that augments a regular mobile C-arm by a video camera provides an overlay image of X-ray and video. This technology is expected to ...