Result 1 to 20 of 280 total
Optimal sensor placement for health monitoring of high-rise structure based on genetic algorithm. (English)
Math. Probl. Eng. 2011, Article ID 395101, 12 p. (2011).
1
Asymptotical optimality of WSEPT for stochastic online scheduling on uniform machines. (English)
Ann. Oper. Res. 191, 97-113 (2011).
2
Domain-driven probabilistic analysis of programmable logic controllers. (English)
Qin, Shengchao (ed.) et al., Formal methods and software engineering. 13th international conference on formal engineering methods, ICFEM 2011, Durham, UK, October 26‒28, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24558-9/pbk). Lecture Notes in Computer Science 6991, 115-130 (2011).
3
An improvement in feature feedback using R-LDA with application to Yale database. (English)
Lee, Geuk (ed.) et al., Convergence and hybrid information technology. 5th international conference, ICHIT 2011, Daejeon, Korea, September 22‒24, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24081-2/pbk). Lecture Notes in Computer Science 6935, 352-359 (2011).
4
A novel fault diagnosis mechanism for wireless sensor networks. (English)
Math. Comput. Modelling 54, No. 1-2, 330-343 (2011).
5
Competent predicate abstraction in model checking. (English)
Sci. China, Inf. Sci. 54, No. 2, 258-267 (2011).
6
Symbolic model checking the knowledge in herbivore protocol. (English)
van der Meyden, Ron (ed.) et al., Model checking and artificial intelligence. 6th international workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-642-20673-3/pbk). Lecture Notes in Computer Science 6572. Lecture Notes in Artificial Intelligence, 112-129 (2011).
7
Hierarchical attribute-set based encryption for scalable, flexible and fine-grained access control in cloud computing. (English)
Bao, Feng (ed.) et al., Information security practice and experience. 7th international conference, ISPEC 2011, Guangzhou, China, May 30 ‒ June 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21030-3/pbk). Lecture Notes in Computer Science 6672, 98-107 (2011).
8
A novel fault diagnosis mechanism for wireless sensor networks (English)
Mathematical and Computer Modelling 54, No. 1-2, 330-343 (2011).
9
Energy-efficient key distribution using electrocardiograph biometric set for secure communications in wireless body healthcare networks (English)
J. Medical Systems 35, No. 5, 745-753 (2011).
10
Higher order numerical discretization methods with Sobolev norm minimization (English)
Procedia CS 4, 206-215 (2011).
11
Competent predicate abstraction in model checking (English)
SCIENCE CHINA Information Sciences 54, No. 2, 258-267 (2011).
12
Formalisation and verification of programmable logic controllers timers in coq (English)
IET Software 5, No. 1, 32-42 (2011).
13
Mens: multi-user emergency navigation system using (English)
Ad Hoc & Sensor Wireless Networks 12, No. 1-2, 23-53 (2011).
14
Formal modeling and synthesis of programmable logic controllers (English)
Computers in Industry 62, No. 1, 23-31 (2011).
15
Hierarchical attribute-set based encryption for scalable, flexible and fine-grained access control in cloud computing (English)
ISPEC, 98-107 (2011).
16
Domain-driven probabilistic analysis of programmable logic controllers (English)
ICFEM, 115-130 (2011).
17
Automatic compositional reasoning for multi-thread programs (English)
CSCWD, 175-182 (2011).
18
Design and realizing of face recognition algorithm (English)
CSISE (2), 263-268 (2011).
19
Directional diagnosis for wireless sensor networks (English)
DCOSS, 1-8 (2011).
20
Result 1 to 20 of 280 total
Start
Contact
Print
General Help
