Sciweavers

3830 search results - page 491 / 766
» From Reference Model to Component Model
Sort
View
FIMH
2003
Springer
16 years 11 days ago
Spatio-temporal Alignment of 4D Cardiac MR Images
Abstract. A 4D registration method for the spatio-temporal alignment of cardiac MR image sequences has been developed. The registration algorithm has the ability not only to correc...
Dimitrios Perperidis, Anil Rao, Maria Lorenzo-Vald...
ICSE
1997
IEEE-ACM
15 years 11 months ago
Analyzing Partially-Implemented Real-Time Systems
—Most analysis methods for real-time systems assume that all the components of the system are at roughly the same stage of development and can be expressed in a single notation, ...
George S. Avrunin, James C. Corbett, Laura K. Dill...
TC
2010
15 years 1 months ago
Performability Analysis of Multistate Computing Systems Using Multivalued Decision Diagrams
A distinct characteristic of multistate systems (MSS) is that the systems and/or their components may exhibit multiple performance levels (or states) varying from perfect operation...
Suprasad V. Amari, Liudong Xing, Akhilesh Shrestha...
GECCO
2007
Springer
147views Optimization» more  GECCO 2007»
16 years 1 months ago
GAINS: genetic algorithms for increasing net sales of a mobile reverse demand communication system
In this paper, I describe MRDCOM, a mobile reverse-demand communication system for the pizza industry. The web-based system will support student (buyer) sign-up and will be capabl...
Michael Henry Wolk
TCC
2005
Springer
169views Cryptology» more  TCC 2005»
16 years 19 days ago
Chosen-Ciphertext Security of Multiple Encryption
Encryption of data using multiple, independent encryption schemes (“multiple encryption”) has been suggested in a variety of contexts, and can be used, for example, to protect ...
Yevgeniy Dodis, Jonathan Katz