4250 search results - page 770 / 850 » Understanding the Requirements on Modelling Techniques |
ICPP
2008
IEEE
14 years 3 months ago
2008
IEEE
Numerical simulations in computational physics, biology, and finance, often require the use of high quality and efficient parallel random number generators. We design and optimi...
TPHOL
2008
IEEE
14 years 3 months ago
2008
IEEE
Although graphs are very common in computer science, they are still very difficult to handle for proof assistants as proving properties of graphs may require heavy computations. T...
IAT
2007
IEEE
14 years 3 months ago
2007
IEEE
The paper presents security platform based on agents as an efficient and robust solution for high-performance intrusion detection system designed for deployment on highspeed netw...
ICIW
2007
IEEE
14 years 3 months ago
2007
IEEE
Service-centric computing is developing and maturing rapidly as a paradigm for developing distributed systems. In recent years there has been a rapid growth in the number and type...
ICNS
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— The study of protocol behavior and traffic characteristics in a simulated environment is commonly supported by ad-hoc or general purpose simulators (e.g., Opnet, NS-2)...