Result 1 to 20 of 1036 total
Authentication protocol using an identifier in an ad hoc network environment. (English)
Math. Comput. Modelling 55, No. 1-2, 134-141 (2012).
1
A novel method for SQL injection attack detection based on removing SQL query attribute values. (English)
Math. Comput. Modelling 55, No. 1-2, 58-68 (2012).
2
A safety case pattern for model-based development approach. (English)
Goodloe, Alwyn E. (ed.) et al., NASA formal methods. 4th international symposium, NFM 2012, Norfolk, VA, USA, April 3‒5, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28890-6/pbk). Lecture Notes in Computer Science 7226, 141-146 (2012).
3
State-based scheduling with tree schedules: analysis and evaluation. (English)
Real-Time Syst. 48, No. 4, 430-462 (2012).
4
CartoonModes: cartoon stylization of video objects through modal analysis. (English)
Graph. Models 74, No. 2, 51-60 (2012).
5
PADS: an approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling. (English)
Theor. Comput. Sci. 413, No. 1, 2-20 (2012).
6
A novel method for SQL injection attack detection based on removing SQL query attribute values (English)
Mathematical and Computer Modelling 55, No. 1-2, 58-68 (2012).
7
Authentication protocol using an identifier in an ad hoc network environment (English)
Mathematical and Computer Modelling 55, No. 1-2, 134-141 (2012).
8
Special issue on cyber-physical systems [Scanning the issue] (English)
Proceedings of the IEEE 100, No. 1, 6-12 (2012).
9
io-port 50248286 Lee, Insup;
Sokolsky, Oleg;
Chen, Sanjian;
Hatcliff, John;
Jee, Eunkyoung;
Kim, Baekgyu;
King, Andrew L.;
Mullen-Fortino, Margaret;
Park, Soojin;
Roederer, Alex;
Venkatasubramanian, Krishna K.
Challenges and research directions in medical cyber-physical systems (English)
Proceedings of the IEEE 100, No. 1, 75-90 (2012).
10
Video painting based on a stabilized time-varying flow field (English)
IEEE Trans. Vis. Comput. Graph. 18, No. 1, 58-67 (2012).
11
Parallel implementation of explicit 2 and 3-point block method for solving system of special second order ODEs directly. (English)
Malays. J. Math. Sci. 5, No. 2, 143-160 (2011).
12
Office device authentication and authorization protocol in ubiquitous office network. (English)
Information 14, No. 7, 2271-2291 (2011).
13
Graphical interface for motion editing using procedure visualization. (English)
Sci. China, Inf. Sci. 54, No. 6, 1227-1237 (2011).
14
A cooperative multicast routing protocol for mobile ad hoc networks. (English)
Comput. Netw. 55, No. 10, 2407-2424 (2011).
15
An animation bilateral filter for slow-in and slow-out effects. (English)
Graph. Models 73, No. 5, 141-150 (2011).
16
Idioculture in crowd computing: a focus on group interaction in an event-driven social media system. (English)
Int. J. Hum.-Comput. Stud. 69, No. 10, 632-646 (2011).
17
A vehicle tracking system overcoming occlusion and an accident detection monitoring using tracking trace. (English)
Lin, Song (ed.) et al., Advances in computer science, environment, ecoinformatics, and education. International conference, CSEE 2011, Wuhan, China, August 21‒22, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-23323-4/pbk; 978-3-642-23324-1/ebook). Communications in Computer and Information Science 215, 68-76 (2011).
18
Observe the user interactive behavior with a large multi-touch display in public space. (English)
Stephanidis, Constantine (ed.), Universal access in human-computer interaction. Context diversity. 6th international conference, UAHCI 2011, held as Part of HCI international 2011, Orlando, FL, USA, July 9‒14, 2011. Proceedings, Part III. Berlin: Springer (ISBN 978-3-642-21665-7/pbk). Lecture Notes in Computer Science 6767, 141-144 (2011).
19
AS-TRUST: a trust quantification scheme for autonomous systems in BGP. (English)
McCune, Jonathan M. (ed.) et al., Trust and trustworthy computing. 4th international conference, TRUST 2011, Pittsburgh, PA, USA, June 22‒24, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21598-8/pbk). Lecture Notes in Computer Science 6740, 262-276 (2011).
20
Result 1 to 20 of 1036 total