5196 search results - page 152 / 1040 » State of Application Assessment |
143
Voted
COR
2008
15 years 3 months ago
2008
Operations research and management science are often confronted with sequential decision making problems with large state spaces. Standard methods that are used for solving such c...
133
Voted
ICADL
2003
Springer
15 years 8 months ago
2003
Springer
: Metadata++ is a digital library system that we are developing to serve the needs of the United States Department of Agriculture Forest Service, the United States Department of th...
113
Voted
EUROCAST
2007
Springer
15 years 7 months ago
2007
Springer
Most non-trivial applications use some form of input/output (I/O), such as network communication. When model checking such an application, a simple state space exploration scheme i...
95
Voted
ICSE
2003
IEEE-ACM
16 years 3 months ago
2003
IEEE-ACM
Database systems play an important role in nearly every modern organization, yet relatively little research effort has focused on how to test them. AGENDA, A (test) GENerator for ...
124
Voted
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
The Behavior Action Simulation Platform (BASP) has been in existence since early 2000, when it was first applied to small-team reconnaissance scenarios for the United States Marin...