Result 1 to 20 of 259 total
S2N: Model transformation from SPIN to NuSMV. (Tool paper). (English)
Donaldson, Alastair (ed.) et al., Model checking software. 19th international workshop, SPIN 2012, Oxford, UK, July 23‒24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31758-3/pbk). Lecture Notes in Computer Science 7385, 255-260 (2012).
1
Polar differential power attacks and evaluation. (English)
Sci. China, Inf. Sci. 55, No. 7, 1588-1604 (2012).
2
A real-time life experience logging tool. (English)
Schoeffmann, Klaus (ed.) et al., Advances in multimedia modeling. 18th international conference, MMM 2012, Klagenfurt, Austria, January 4‒6, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27354-4/pbk). Lecture Notes in Computer Science 7131, 636-638 (2012).
3
Multi-strain persistence induced by host age structure. (English)
J. Math. Anal. Appl. 391, No. 2, 595-612 (2012).
4
A Fourier-Legendre spectral element method in polar coordinates (English)
J. Comput. Physics 231, No. 2, 666-675 (2012).
5
WP semantics and behavioral subtyping. (English)
Cerone, Antonio (ed.) et al., Theoretical aspects of computing ‒ ICTAC 2011. 8th international colloquium, Johannesburg, South Africa, August 31‒September 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23282-4/pbk). Lecture Notes in Computer Science 6916, 154-172 (2011).
6
Research of EEG from patients with temporal lobe epilepsy on causal analysis of directional transfer functions. (English)
Lu, Bao-Liang (ed.) et al., Neural information processing. 18th international conference, ICONIP 2011, Shanghai, China, November 13‒17, 2011. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-24954-9/pbk). Lecture Notes in Computer Science 7062, 337-344 (2011).
7
Selecting distinctive features to improve performances of multidimensional fuzzy vault scheme. (English)
Sun, Zhenan (ed.) et al., Biometric recognition. 6th Chinese conference, CCBR 2011, Beijing, China, December 3‒4, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25448-2/pbk). Lecture Notes in Computer Science 7098, 229-236 (2011).
8
Verification of scalable synchronous queue. (English)
Jouannaud, Jean-Pierre (ed.) et al., Certified programs and proofs. First international conference, CPP 2011, Kenting, Taiwan, December 7‒9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25378-2/pbk). Lecture Notes in Computer Science 7086, 247-263 (2011).
9
Coexistence of competitors in deterministic and stochastic patchy environments. (English)
J. Biol. Dyn. 5, No. 5, 454-473 (2011).
10
Formal methods and software engineering. 13th international conference on formal engineering methods, ICFEM 2011, Durham, UK, October 26‒28, 2011. Proceedings. (English)
Lecture Notes in Computer Science 6991. Berlin: Springer (ISBN 978-3-642-24558-9/pbk). xiv, 670~p. EUR~84.53 (2011).
11
Worst-case SINR constrained robust coordinated beamforming for multicell wireless systems. (English)
Comput. Res. Repos. 2011, Article No. 1106.1351 (2011).
12
A secure RFID deactivation/Activation mechanism for supporting customer service and consumer shopping. (English)
Comput. Res. Repos. 2011, Article No. 1105.3790 (2011).
13
New direct probabilistic approach for static responses of structures with uncertainties. (English)
Int. J. Comput. Math. 88, No. 4, 714-730 (2011).
14
Worst case performance bounds for multimedia flows in QoS-enhanced TNPOSS network (English)
Comput. Sci. Inf. Syst. 8, No. 3, 890-908 (2011).
15
Design reusability assessment for effective CAD model retrieval and reuse (English)
IJCAT 40, No. 1-2, 3-12 (2011).
16
Using wavelet transform and multi-class least square support vector machine in multi-spectral imaging classification of chinese famous tea (English)
Expert Syst. Appl. 38, No. 9, 11149-11159 (2011).
17
DPA leakage evaluation and countermeasure plug-in (English)
IACR Cryptology ePrint Archive 2011, 77 (2011).
18
Dynamics of an epidemic model with host migration (English)
Applied Mathematics and Computation 218, No. 8, 4614-4625 (2011).
19
Research and practice of group decision systems (English)
ICEIS (2), 287-290 (2011).
20
Result 1 to 20 of 259 total
Start
Contact
Print
General Help
