Modeling high assurance agent-based Earthquake Management System using formal techniques.
- Published in:
- Journal of Supercomputing, 2010, v. 52, n. 2, p. 97, doi. 10.1007/s11227-009-0266-9
- By:
- Publication type:
- Article
Works matching IS 09208542 AND DT 2010 AND VI 52 AND IP 2
Results: 5
1
2
The computational energy spectrum of a program as it executes.
- Published in:
- Journal of Supercomputing, 2010, v. 52, n. 2, p. 119, doi. 10.1007/s11227-009-0273-x
- By:
- Publication type:
- Article
3
A dynamic framework for integrated management of all types of resources in P2P systems.
- Published in:
- Journal of Supercomputing, 2010, v. 52, n. 2, p. 149, doi. 10.1007/s11227-009-0281-x
- By:
- Publication type:
- Article
4
A randomized clustering of anonymous wireless ad hoc networks with an application to the initialization problem.
- Published in:
- Journal of Supercomputing, 2010, v. 52, n. 2, p. 135, doi. 10.1007/s11227-009-0274-9
- By:
- Publication type:
- Article
5
Performance-based data distribution for data mining applications on grid computing environments.
- Published in:
- Journal of Supercomputing, 2010, v. 52, n. 2, p. 171, doi. 10.1007/s11227-009-0286-5
- By:
- Publication type:
- Article