247 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.
Sabonnadiere, J.C.; Meunier, G.; Morel, B. Magnetics, IEEE Transactions on, 1982
Achievement of finite element methods leads nowadays to the development of general purpose packages. FLUX, developed by the Laboratoire d'Electrotechnique de l'Institut National Polytechnique de Grenoble is an interactive system in which graphic facilities are combined with a convenient command language to allow a high level of conversationnal use. FLUX is made of three independant programs : a pre-precessor : ...
Shaw, A.C. Software Engineering, IEEE Transactions on, 1978
Flow expressions describe sequential and concurrent flows of entities, such as control, messages, commands, jobs, and resources, through system software components, such as programs, procedures, modules, and processes. They consist of regular expressions extended with cyclic and interleaving operators and a synchronization facility. The language of flow expressions is defined and some of its formal properties are presented. Applications are ...
Silage, D.A.; Ward, C.F. Engineering in Medicine and Biology Society, 1990., Proceedings of the Twelfth Annual International Conference of the IEEE, 1990
First Page of the Article !(/xploreAssets/images/absImages/00691627.png)
Rajan, A.V.S.; Bavan, S.; Abeysinghe, G. Advanced Computing and Communications, 2006. ADCOM 2006. International Conference on, 2006
This paper describes the semantics for a distributed programming language called LIPS (language for implementing parallel systems). The formalism presented is used for the specification and verification of LIPS programs for the successful point-to-point intercommunication in distributed systems. The main focus of the paper is to define the semantics of the computational part of LIPS using Dijkstra's weakest preconditions and ...
Bertino, E.; Bettini, C.; Ferrari, E.; Samarati, P. Knowledge and Data Engineering, IEEE Transactions on, 1996
The paper presents a discretionary access control model in which authorizations contain temporal intervals of validity. An authorization is automatically revoked when the associated temporal interval expires. The proposed model provides rules for the automatic derivation of new authorizations from those explicitly specified. Both positive and negative authorizations are supported. A formal definition of those concepts is presented, together with ...
No standards are currently tagged "Command languages"