6308 search results - page 892 / 1262 » Modeling Urgency in Timed Systems |
148
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
Prediction error identification requires that data be informative with respect to the chosen model structure. Whereas sufficient conditions for informative experiments have been av...
189
click to vote
ATVA
2010
Springer
15 years 7 months ago
2010
Springer
This paper proposes a method for automatically inserting check statements for access control into a given recursive program according to a given security specification. A history-b...
190
click to vote
IPMI
2005
Springer
16 years 7 months ago
2005
Springer
Abstract. In this paper, we propose an original and efficient tree matching algorithm for intra-patient hepatic vascular system registration. Vascular systems are segmented from CT...
166
click to vote
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
Cardiac magnetic resonance imaging (MRI) has demonstrated to be the most accurate and reproducible tool for assessment of the cardiovascular system.Traditional quantification meth...
1799
click to vote
ICECCS
2008
IEEE
16 years 1 months ago
2008
IEEE
Component-based software development focuses on building large software systems by integrating existing software components to reduce cost, risk and time. However, behavioural and...