2838 search results - page 381 / 568 » Verifying Controlled Components |
CORR
2011
Springer
13 years 5 months ago
2011
Springer
— Future power networks will be characterized by safe and reliable functionality against physical malfunctions and cyber attacks. This paper proposes a unified framework and adv...
FIMH
2011
Springer
13 years 2 months ago
2011
Springer
In this paper, we present an effective algorithm to construct a 3D shape atlas for the left ventricle of heart from cardiac Magnetic Resonance Image data. We derive a framework tha...
PPPJ
2009
ACM
14 years 5 months ago
2009
ACM
Repository-based revision control systems such as CVS, RCS, Subversion, and GIT, are extremely useful tools that enable software developers to concurrently modify source code, man...
SIGMOD
2000
ACM
14 years 3 months ago
2000
ACM
The DataLinks technology developed at IBM Almaden Research Center and now available in DB2 UDB 5.2 introduces a new data type called DATALINK for a database to reference and manag...
RTSS
1999
IEEE
14 years 3 months ago
1999
IEEE
Statistical Rate Monotonic Scheduling (SRMS) is a generalization of the classical RMS results of Liu and Layland [LL73] for periodic tasks with highly variable execution times and...