8658 search results - page 29 / 1732 » Models of Command and Control |
IROS
2006
IEEE
14 years 1 months ago
2006
IEEE
— In this paper the application of a behavior-based control approach, namely the Null-Space-based Behavioral control, to coordinate a fleet of autonomous surface vessels is pres...
QEST
2006
IEEE
14 years 1 months ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...
WSC
1998
13 years 9 months ago
1998
The United States Marine Corps has a unique role in development of the next-generation warfare gaming system for command staff training. This system, titled the Joint Simulation S...
CHI
1997
ACM
13 years 12 months ago
1997
ACM
—The Amulet user interface development environment makes it easier for programmers to create highly-interactive, graphical user interface software for Unix, Windows and the Macin...
TACAS
2012
Springer
12 years 3 months ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...