458 resources related to Command languages
- Topics related to Command languages
- IEEE Organizations related to Command languages
- Conferences related to Command languages
- Periodicals related to Command languages
- Most published Xplore authors for Command languages
The international IEEE Aerospace Conference is organized to promote interdisciplinary understanding of aerospace systems, their underlying science and technology, and their applications to government and commercial endeavors. The annual, weeklong conference, set in a stimulating and thought -provoking environment, is designed for aerospace experts, academics, military personnel, and industry leaders.
2013 IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN)
IEEE RO-MAN 2013 will focus on the up-to-date theories technologies and studies for HRI and the related issues such as artificial intelligence/emotion, human factors, social relationship, haptic interaction, application and evaluations, etc. Especially, Art & Technology issue is newly generated this year asrobotics tends to fuse with art. We truly welcome your papers on all aspects of human-robot interactive communication, and expect your great interest and participation.
Theory and applications of industrial electronics and control instrumentation science and engineering, including microprocessor control systems, high-power controls, process control, programmable controllers, numerical and program control systems, flow meters, and identification systems.
All aspects of the theory and applications of nuclear science and engineering, including instrumentation for the detection and measurement of ionizing radiation; particle accelerators and their controls; nuclear medicine and its application; effects of radiation on materials, components, and systems; reactor instrumentation and controls; and measurement of radiation in space.
Specification, development, management, test, maintenance, and documentation of computer software.
A. M. Beyls; B. Hennion; J. Lecourvoisier; G. Mazare; A. Puissochet Design Automation, 1982. 19th Conference on, 1982
This paper describes one of the new methodologies for IC design currently being used at the CNET. The main features detailed are the symbolic layout method called MDMOS and the integrated CAD system CASSIOPEE. Its most significant advantages are design safety, elimination of costly and inefficient checks and supply of technical specifications which are always up- to-date. This methodology is ...
L. Groves Software Engineering Conference, 2000. APSEC 2000. Proceedings. Seventh Asia-Pacific, 2000
This paper presents a systematic approach to implementing certain kinds of program modifications, in which (conceptually at least) the modification is implemented as a separate program and then integrated with the original program using semantically based transformations. This approach allows us to ensure that the required modification is implemented correctly and also allows us to explore different ways of implementing ...
E. Gugliemelli; M. Goodwin; C. Mule; P. Dario Intelligent Robots and Systems '94. 'Advanced Robotic Systems and the Real World', IROS '94. Proceedings of the IEEE/RSJ/GI International Conference on, 1994
This paper reports part of the work related to the design and development of the URMAD system, a mobile robotic unit purposely devised to assist the severely disabled in a household environment. A supervisory system based on distributed decision making and functional distribution has been designed and implemented on a VME/OS9 architecture. This system is capable of executing typical domestic ...
C. M. Lewis; W. Jamison Systems, Man and Cybernetics, 1989. Conference Proceedings., IEEE International Conference on, 1989
Transitional interfaces are based on the premise that if vocabulary and syntax are made accessible to new users they will be able to accomplish routine tasks as they learn about the system. Experiments conducted with UnixTutor (a transitional interface to the UNIX operating system) indicate that a training interface must do more than support vocabulary and syntax if it is ...
C. Schmidt; M. Sevcik IEEE Communications Magazine, 1995
The development of specialized telecommunications management network (TMN) applications using conventional programming languages requires enormous development resources. In this article a method is presented that enables any network operator to create customized applications utilizing visual programming techniques. The advanced script construction method outlined in this article represents a script in the operations system (OS) as a linked network of templates ...
Software, IEEE, 1985
Engineers may be able to design a better interface if they take into account the control structures underlying the interface syntax.
Computer Design: VLSI in Computers and Processors, 1994. ICCD '94. Proceedings., IEEE International Conference on, 1994
Domain based testing (DBT) is a test generation method based on two concepts from software reuse, domain analysis and domain modeling. We applied DBT to command-based systems where the domain model represents the syntax and semantics of the command language. The domain model drives the generation of test cases. The test generation process consists of three stages: scripting; command template ...
Aerospace Conference Proceedings, 2000 IEEE, 2000
In the era of faster, better, cheaper, JPL aims to develop and integrate an ever increasing number of spacecraft. One of the problems JPL faces is to quickly, efficiently and accurately test these spacecraft in a diverse set of environments from the breadboard, to environmental simulation and through launch preparation. The Test Execution Control Tool was developed using a Tool ...
Aerospace and Electronics Conference, 1989. NAECON 1989., Proceedings of the IEEE 1989 National, 1989
The author discusses the suitability of Ada for non-real-time computer-aided control engineering (CACE) projects, based on experiences gained during the design and implementation of the CACE program IMPACT. After a brief introduction to Ada and IMPACT, and a general discussion of the Ada language, the suitability of Ada in CACE is discussed in some detail. Particular attention is given to ...
Quantitative Evaluation of Systems (QEST), 2012 Ninth International Conference on, 2012
This paper proposes a simple operational semanticsof pGCL, Dijkstra's guarded command language extended withprobabilistic choice, and relates this to pGCL's wp-semantics byMcIver and Morgan. Parameterised Markov decision processeswhose state rewards depend on the post-expectation at handare used as operational model. We show that the weakest pre-expectationof a pGCL-program w.r.t. a post-expectation correspondsto the expected cumulative reward to reach a terminalstate ...
This chapter contains sections titled: Information Organization and Presentation, Menus and Command Languages, Programming Languages, Names, Natural Language, Speech, On "Conversational" Interaction, Friendliness and Usability
No standards are currently tagged "Command languages"