Result 1 to 20 of 38 total
Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets. (English)
Theor. Comput. Sci. 446, 48-74 (2012).
1
A high-performance and scalable multi-core aware software solution for network monitoring (English)
The Journal of Supercomputing 59, No. 2, 720-743 (2012).
2
On the use of Haar wavelet transform and scaling data perturbation for privacy preserving clustering of large datasets. (English)
Int. J. Wavelets Multiresolut. Inf. Process. 9, No. 6, 867-904 (2011).
3
On the impacts of join and leave on the propagation ratio of topology-aware active worms (English)
SIN, 209-214 (2011).
4
A hybrid fraud scoring and spike detection technique in streaming data. (English)
Intell. Data Anal. 14, No. 6, 773-800 (2010).
5
An extension for combination of duty constraints in role-based access control. (English)
Comput. Res. Repos. 2010, Article No. 1001.2268 (2010).
6
Task scheduling modelling and reliability evaluation of grid services using coloured Petri nets (English)
Future Generation Comp. Syst. 26, No. 8, 1141-1150 (2010).
7
A distributed multi-approach intrusion detection system for web services (English)
SIN, 238-244 (2010).
8
Performance evaluation of sensor medium access control protocol using coloured Petri nets. (English)
Electron. Notes Theor. Comput. Sci. 242, No. 2, 31-42 (2009).
9
Conflict-free scheduling and routing of automated guided vehicles in mesh topologies. (English)
Robot. Auton. Syst. 57, No. 6-7, 738-748 (2009).
10
Incorporating historical test case performance data and resource constraints into test case prioritization. (English)
Dubois, Catherine (ed.), Tests and proofs. Third international conference, TAP 2009, Zurich, Switzerland, July 2‒3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02948-6/pbk). Lecture Notes in Computer Science 5668, 43-57 (2009).
11
PDETool: a multi-formalism modeling tool for discrete-event systems based on SDES description. (English)
Franceschinis, Giuliana (ed.) et al., Applications and theory of Petri nets. 30th international conference, PETRI NETS 2009, Paris, France, June 22‒26, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02423-8/pbk). Lecture Notes in Computer Science 5606, 343-352 (2009).
12
Security evaluation of an intrusion tolerant web service architecture using stochastic activity networks. (English)
Park, Jong Hyuk (ed.) et al., Advances in information security and assurance. Third international conference and workshops, ISA 2009, Seoul, Korea, June 25‒27, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02616-4/pbk). Lecture Notes in Computer Science 5576, 260-269 (2009).
13
A method for estimation of the success probability of an intrusion process by considering the temporal aspects of the attacker behavior. (English)
Gavrilova, Marina L. (ed.) et al., Transactions on Computational Science IV. Special issue on security in computing. Berlin: Springer (ISBN 978-3-642-01003-3/pbk). Lecture Notes in Computer Science 5430. Journal Subline, 200-214 (2009).
14
A method for estimation of the success probability of an intrusion process by considering the temporal aspects of the attacker behavior (English)
Transactions on Computational Science 4, 200-214 (2009).
15
Conflict-free scheduling and routing of automated guided vehicles in mesh topologies (English)
Robotics and Autonomous Systems 57, No. 6-7, 738-748 (2009).
16
Pdetool: A multi-formalism modeling tool for discrete-event systems based on SDES description (English)
Petri Nets, 343-352 (2009).
17
Improving route stability and overhead on AODV routing protocol and make it usable for VANET (English)
ICDCS Workshops, 464-467 (2009).
18
Security evaluation of an intrusion tolerant web service architecture using stochastic activity networks (English)
ISA, 260-269 (2009).
19
Incorporating historical test case performance data and resource constraints into test case prioritization (English)
TAP, 43-57 (2009).
20
Result 1 to 20 of 38 total
Start
Contact
Print
General Help
