Search Sciweavers | Sciweavers

676 search results - page 7 / 136

» Ubiquitous command and control

124

click to vote

FM
2008
Springer

184views Formal Methods» more FM 2008»

Safe and Reliable Metro Platform Screen Doors Control/Command Systems

15 years 4 months ago

Download www.bmethod.com

In this article we would like to present some recent applications of the B formal method to the development of safety critical system. These SIL3/SIL41 compliant systems have their...

Thierry Lecomte

claim paper

Read More »

click to vote

ICETE
2004

68views Business» more ICETE 2004»

Using Wireless Technology to Develop a Virtual Reality Command and Control Centre

15 years 4 months ago

Download bura.brunel.ac.uk

Damian Green, Neville A. Stanton, Guy H. Walker, P...

claim paper

Read More »

click to vote

CCS
2010
ACM

209views Security Privacy» more CCS 2010»

Inference and analysis of formal models of botnet command and control protocols

15 years 3 months ago

Download bitblaze.cs.berkeley.edu

Chia Yuan Cho, Domagoj Babic, Eui Chul Richard Shi...

claim paper

Read More »

click to vote

HF
2007

33views more HF 2007»

Effects of Imperfect Automation on Decision Making in a Simulated Command and Control Task

15 years 2 months ago

Download archlab.gmu.edu

Ericka Rovira, Kathleen McGarry, Raja Parasuraman

claim paper

Read More »

click to vote

EXPERT
2000

79views more EXPERT 2000»

Commanding And Controlling Satellite Clusters

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers