Result 1 to 20 of 53 total
On the formalization of UML activities for component-based protocol design specifications. (English)
Bieliková, Mária (ed.) et al., SOFSEM 2012: Theory and practice of computer science. 38th conference on current trends in theory and practice of computer science, Špindlerův Mlýn, Czech Republic, January 21‒27, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27659-0/pbk). Lecture Notes in Computer Science 7147, 479-491 (2012).
1
Efficient hardware-based nonintrusive dynamic application profiling. (English)
ACM Trans Embed. Comput. Syst. 10, No. 3, 32 (2011).
2
Digiswitch: A device to allow older adults to monitor and direct the collection and transmission of health information collected at home (English)
J. Medical Systems 35, No. 5, 1181-1195 (2011).
3
A long-duration propulsive lunar landing testbed (English)
ICRA, 2184-2189 (2011).
4
Model-driven protocol design based on component oriented modeling. (English)
Dong, Jin Song (ed.) et al., Formal methods and software engineering. 12th international conference on formal engineering methods, ICFEM 2010, Shanghai, China, November 17‒19, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16900-7/pbk). Lecture Notes in Computer Science 6447, 613-629 (2010).
5
Pervasive computing and an aging populace: methodological challenges for understanding privacy implications (English)
J. Inf., Comm, Ethics in Society 8, No. 3, 236-248 (2010).
6
Parametric decomposition of sample space for classification (English)
J. Intelligent Systems 19, No. 2, 163-189 (2010).
7
Control focused soft error detection for embedded applications (English)
Embedded Systems Letters 2, No. 4, 127-130 (2010).
8
Model-driven protocol design based on component oriented modeling (English)
ICFEM, 613-629 (2010).
9
Workload capacity considering NBTI degradation in multi-core systems (English)
ASP-DAC, 450-455 (2010).
10
A $100 μW$ decimator for a 16 bit 24 khz bandwidth audio $Δσ$ modulator (English)
ISCAS, 2410-2413 (2010).
11
A self-evolving design methodology for power efficient multi-core systems (English)
ICCAD, 264-268 (2010).
12
Digiswitch: design and evaluation of a device for older adults to preserve privacy while monitoring health at home (English)
IHI, 153-162 (2010).
13
Sort-ITEMS: sequence orthology based approach for improved taxonomic estimation of metagenomic sequences. (English)
Bioinformatics 25, No. 14, 1722-1730 (2009).
14
Sequential learning using temporal context. (English)
J. Math. Psychol. 53, No. 6, 474-485 (2009).
15
Classification based on parametric partitioning of solution space (English)
IICAI, 388-407 (2009).
16
Non-intrusive dynamic application profiling for multitasked applications (English)
DAC, 130-135 (2009).
17
Understanding customer problem troubleshooting from storage system logs (English)
FAST, 43-56 (2009).
18
Research methods in information. (English)
J. Am. Soc. Inf. Sci. Technol. 59, No. 1, 158-159 (2008).
19
Wind, water, and wi-fi: new trends in community informatics and disaster management (English)
Inf. Soc. 24, No. 2, 116-120 (2008).
20
Result 1 to 20 of 53 total
Start
Contact
Print
General Help
