298 search results - page 31 / 60 » Enhancing simulation as improvement and decision support sys... |
ECBS
1996
IEEE
13 years 12 months ago
1996
IEEE
Naval Surface Warfare Center Dahlgren Division; under joint sponsorship of the Office of Naval Research; the Naval Command, Control, and Ocean Surveillance Center; and the Naval S...
JSAC
2000
13 years 7 months ago
2000
Enhanced Data Rates for Global Evolution (EDGE) is currently being standardized as an evolution of GSM in Europe and of IS-136 in the United States as an air interface for high spe...
DGO
2004
13 years 9 months ago
2004
This demonstration will be presented at the 2004 National Conference on Digital Government Research. The third year results of the project "Digitalization of Coastal Manageme...
QEST
2007
IEEE
14 years 1 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
SIGSOFT
2008
ACM
14 years 8 months ago
2008
ACM
Executable models are increasingly being employed by development teams to implement robust software systems. Modern executable models offer powerful composition mechanisms that al...