Search Sciweavers | Sciweavers

8658 search results - page 204 / 1732

» Models of Command and Control

124

click to vote

ECAI
1994
Springer

96views Artificial Intelligence» more ECAI 1994»

Model-Based Control

15 years 10 months ago

Download www.acsitoledo.com

Eric Sauthier, Boi Faltings

claim paper

Read More »

125

click to vote

IPPS
1992
IEEE

89views Distributed And Parallel Com...» more IPPS 1992»

Modeling and Control of Distributed Asynchronous Computations

15 years 10 months ago

Download www.cs.ou.edu

Longsong Lin, John K. Antonio

claim paper

Read More »

148

click to vote

ASWSD
2006
Springer

299views Software Engineering» more ASWSD 2006»

Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control

15 years 10 months ago

Download aswsd.ucsd.edu

Sandeep Neema, Sushil Birla, Shige Wang, Tripti Sa...

claim paper

Read More »

168

click to vote

FMCAD
2006
Springer

87views Formal Methods» more FMCAD 2006»

Model Checking Data-Dependent Real-Time Properties of the European Train Control System

15 years 10 months ago

Download csd.informatik.uni-oldenburg.de

Johannes Faber, Roland Meyer

claim paper

Read More »

107

click to vote

ICRA
1995
IEEE

68views Robotics» more ICRA 1995»

Modeling and Control Alternatives for Robots in Dynamic Cooperation

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers