Result 1 to 20 of 37 total
NII, Japan at mediaeval 2011 violent scenes detection task (English)
MediaEval (2011).
1
Carousel: scalable logging for intrusion prevention systems (English)
NSDI, 361-376 (2010).
2
Equivalences of BPMN processes (English)
Service Oriented Computing and Applications 3, No. 3, 189-204 (2009).
3
Puppetnets: Misusing web browsers as a distributed attack infrastructure. (English)
ACM Trans. Inf. Syst. Secur. 12, No. 2 (2008).
4
Using formal concept analysis for microarray data comparison. (English)
J. Bioinform. Comput. Biol. 6, No. 1, 65-75 (2008).
5
Theory for classifying equivalences of unified modelling language activity diagrams (English)
IET Software 2, No. 5, 391-403 (2008).
6
Moderate structural realism about space-time (English)
Synthese 160, No. 1, 27-46 (2008).
7
Dynamic workflow patterns (English)
Enterprise Information Systems and Web Technologies, 160-166 (2008).
8
A formalism for reasoning about UML activity diagrams. (English)
Nord. J. Comput. 14, No. 1-2, 43-64 (2007).
9
Using formal concept analysis for microarray data comparison (English)
APBC, 57-66 (2007).
10
An insight-based longitudinal study of visual analytics. (English)
IEEE Transactions on Visualization and Computer Graphics 12, No. 06, 1511-1522 (2006).
11
Analysis of meta-programs: An example. (English)
Int. J. Softw. Eng. Knowl. Eng. 16, No. 1, 77-101 (2006).
12
An insight-based longitudinal study of visual analytics (English)
IEEE Trans. Vis. Comput. Graph. 12, No. 6, 1511-1522 (2006).
13
A component-level path composition approach for efficient transient analysis of large ctmcs (English)
DSN, 485-494 (2006).
14
An adaptive distributed resource allocation scheme for sensor networks (English)
MSN, 770-781 (2006).
15
Data analysis and visualization within the Möbius modeling environment (English)
QEST, 137-138 (2006).
16
Puppetnets: misusing web browsers as a distributed attack infrastructure (English)
ACM Conference on Computer and Communications Security, 221-234 (2006).
17
Consistency checking of sequence diagrams and statechart diagrams using the $π$-calculus. (English)
Romijn, Judi (ed.) et al., Integrated formal methods. 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29 ‒ December 2, 2005. Proceedings. Berlin: Springer (ISBN 978-3-540-30492-0/pbk). Lecture Notes in Computer Science 3771, 347-365 (2005).
18
Sensor grid: integration ofwireless sensor networks and the grid (English)
LCN, 91-99 (2005).
19
Consistency checking of sequence diagrams and statechart diagrams using the pi-calculus (English)
IFM, 347-365 (2005).
20
Result 1 to 20 of 37 total
Start
Contact
Print
General Help
