Result 1 to 20 of 22 total
Protein secondary structure prediction using DWKF based on SVR-NSGAII. (English)
Neurocomputing 94, 87-101 (2012).
1
A hybrid model for correlating alerts of known and unknown attack scenarios and updating attack graphs. (English)
Comput. Netw. 55, No. 9, 2221-2240 (2011).
2
Optical graph 3-colorability. (English)
Dolev, Shlomi (ed.) et al., Optical supercomputing. Third international workshop, OSC 2010, Bertinoro, Italy, November 17‒19, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-22493-5/pbk). Lecture Notes in Computer Science 6748, 16-22 (2011).
3
Pobsam: policy-based managing of actors in self-adaptive systems. (English)
Electron. Notes Theor. Comput. Sci. 263, 129-143 (2010).
4
Molecular dynamics simulation study of association in trifluoroethanol/water mixtures. (English)
J. Comput. Chem. 31, No. 2, 286-294 (2010).
5
Correlating alerts into compressed graphs using an attribute-based method and time windows. (English)
Ślęzak, D. (ed.) et al., Security technology. International conference, SecTech 2009, held as part of the future generation information technology conference, FGIT 2009, Jeju Island, Korea, December 10‒12, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-10846-4/pbk; 978-3-642-10847-1/ebook). Communications in Computer and Information Science 58, 18-25 (2010).
6
Optical graph 3-colorability (English)
OSC, 16-22 (2010).
7
Formal analysis of policy-based self-adaptive systems (English)
SAC, 2536-2543 (2010).
8
Verification of distributed firewalls configuration vs. Security policies using $A$L$C$Q$I(d)$. (English)
Appl. Artif. Intell. 23, No. 10, 945-975 (2009).
9
An optical wavelength-based solution to the 3-SAT problem. (English)
Dolev, Shlomi (ed.) et al., Optical supercomputing. Second international workshop, OSC 2009, Bertinoro, Italy, November 18‒20, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-10441-1/pbk). Lecture Notes in Computer Science 5882, 77-85 (2009).
10
An optical wavelength-based solution to the 3-SAT problem (English)
OSC, 77-85 (2009).
11
A novel quantum-inspired evolutionary algorithm for solving combinatorial optimization problems (English)
GECCO, 1807-1808 (2009).
12
Formal analysis of smart home policies using compositional verification (English)
ICFI, 220-233 (2009).
13
Monitoring safety properties of composite web services at runtime using CSP (English)
EDOCW, 107-113 (2009).
14
Correlating alerts into compressed graphs using an attribute-based method and time windows (English)
FGIT-SecTech, 18-25 (2009).
15
Minimization analysis of network attack graphs using genetic algorithms (English)
I. J. Comput. Appl. 15, No. 4, 263-273 (2008).
16
A multi-start quantum-inspired evolutionary algorithm for solving combinatorial optimization problems (English)
GECCO, 613-614 (2008).
17
An improved replacement algorithm in fault-tolerant meshes (English)
SCSC, 443-448 (2007).
18
RVERL: run-time verification of real-time and reactive programs using event-based real-time logic approach (English)
SERA, 550-557 (2007).
19
RVRTL: run-time verification of real-time and reactive programs with real-time logic approach (English)
Software Engineering Research and Practice, 371-377 (2007).
20
Result 1 to 20 of 22 total
Start
Contact
Print
General Help
