Result 1 to 20 from 88 total
Spatio-temporal reasoning in biometrics based smart environments (English)
Procedia CS 5, 378-385 (2011).
1
Verifying security properties of internet protocol stacks: the Split verification approach (English)
Journal of Systems Architecture - Embedded Systems Design 57, No. 3, 269-281 (2011).
2
The three rs of cyberphysical spaces (English)
IEEE Computer 44, No. 9, 73-79 (2011).
3
Distribution coefficient algorithm for small mass nodes in material point method (English)
J. Comput. Physics 229, No. 20, 7819-7833 (2010).
4
Performance analysis of subthreshold cascode current mirror in 130 nm CMOS technology. (English)
J. Low Power Electron. 5, No. 4, 484-496 (2009).
5
Dos attacks on real-time media through indirect contention-in-hosts (English)
IEEE Internet Computing 13, No. 6, 22-30 (2009).
6
A SAS-based solution to evaluate study design efficiency of phase I pediatric oncology trials via discrete event simulation. (English)
Comput. Methods Progr. Biomed. 90, No. 3, 240-250 (2008).
7
Logic programming with solution preferences. (English)
J. Log. Algebr. Program. 78, No. 1, 1-21 (2008).
8
Biometrics driven smart environments: Abstract framework and evaluation. (English)
Sandnes, Frode Eika (ed.) et al., Ubiquitous intelligence and computing. 5th international conference, UIC 2008, Oslo, Norway, June 23‒25, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-69292-8/pbk). Lecture Notes in Computer Science 5061, 75-89 (2008).
9
Biometrics driven smart environments: abstract framework and evaluation (English)
UIC, 75-89 (2008).
10
Javata: A logic-based debugger for Java. (English)
Comput. Res. Repos. 2007, Article No. 0701107 (2007).
11
Declarative and visual debugging in eclipse (English)
ETX, 31-35 (2007).
12
High precision 16-bit readout gas sensor interface in $0.13μm$ CMOS (English)
ISCAS, 3071-3074 (2007).
13
Relaxation on optimization predicates. (English)
Etalle, Sandro (ed.) et al., Logic programming. 22nd international conference, ICLP 2006, Seattle, WA, USA, August 17‒20, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-36635-5/pbk). Lecture Notes in Computer Science 4079, 425-426 (2006).
14
Relaxation on optimization predicates (English)
ICLP, 425-426 (2006).
15
Methodology and architecture of JIVE (English)
SOFTVIS, 95-104 (2005).
16
Mode-directed preferences for logic programs (English)
SAC, 1414-1418 (2005).
17
Visualizing errors in object oriented programs (English)
OOPSLA Companion, 156-157 (2005).
18
Optimization with mode-directed preferences (English)
PPDP, 242-251 (2005).
19
Aggregation in functional query languages. (English)
J. Funct. Log. Program. 2004, Article 2, 40 p., electronic only (2004).
20
Result 1 to 20 from 88 total
Start
Contact
Print
General Help
