13717 search results - page 2335 / 2744 » Control Systems |
162
click to vote
EMSOFT
2011
Springer
14 years 4 months ago
2011
Springer
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...
153
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
Commitment-modeled protocols enable flexible and robust interactions among agents. However, existing work has focused on features and capabilities of protocols without considerin...
146
click to vote
ITICSE
2009
ACM
15 years 11 months ago
2009
ACM
The Xen Worlds project at Iowa State University was designed to provide a virtualized lab environment for the Information Assurance program. The large number of off-campus student...
151
click to vote
SIGUCCS
2003
ACM
15 years 10 months ago
2003
ACM
It has been our effort at Ringling school to provide our campus community with the capability to uniformly access resources across multiple platforms. Empowering the user with a s...
179
click to vote
AIA
2006
15 years 6 months ago
2006
Model-based diagnosis of technical systems requires both a simulation machinery and a logic calculus. The former is responsible for the system's behavior analysis, the latter...