372 search results - page 54 / 75 » Integrated governmental publication system |
SIMUTOOLS
2008
14 years 11 months ago
2008
The OMNeT++ discrete event simulation environment has been publicly available since 1997. It has been created with the simulation of communication networks, multiprocessors and ot...
SPIESR
2004
14 years 11 months ago
2004
Visual information retrieval (VIR) is a research area with more than 300 scientific publications every year. Technological progress lets surveys become out of date within a short ...
EL
2008
14 years 9 months ago
2008
CDS/ISIS is an Integrated Storage and Information retrieval System of United Nations Educational Scientific and Cultural Organization (UNESCO), which is widely used for managing bi...
106
click to vote
IVS
2008
14 years 9 months ago
2008
During emergency response events, situational awareness is critical in effectively managing and safe-guarding civilians and in-field personnel. To better support both command cent...
SIGADA
2005
Springer
15 years 3 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...