this paper analyzes the status of the computer lab and traditional management of several problems, made use of its software and manage the development of secondary development of access control systems and remote vide...
详细信息
ECSAM is a method for modeling and analysis of embedded computersystems and their software and the generation of their requirements. Previous ECSAM papers described its application to the conceptual modeling of syste...
详细信息
Automobile detecting line system Based on CAN bus was established. the structure of computer control system was described in detail. the hardware and software of motor vehicle safety performance detecting line control...
详细信息
the world is moving towards automation and autonomous systems, in which devices are expected to be seamlessly integrated and complex, which act on our behalf and deliver better quality services anywhere anytime and in...
详细信息
ISBN:
(纸本)9781424408504
the world is moving towards automation and autonomous systems, in which devices are expected to be seamlessly integrated and complex, which act on our behalf and deliver better quality services anywhere anytime and in any fashion. However most of the Electrical Power Supply Companies across the world still use the good old traditional approaches for home related services pose big challenges for home automation. Author proposes a novel computing model to achieve an autonomous environment for home automation. A model is based on agent technology in which agents are assigned certain tasks to achieve. the architecture is portable, flexible and can easily integrated with other architectures.
the proceedings contain 11 papers. the topics discussed include: challenges in designing an automated system for planning spacecraft activities;designing reusable mission operations center software components;securing...
ISBN:
(纸本)9781479956203
the proceedings contain 11 papers. the topics discussed include: challenges in designing an automated system for planning spacecraft activities;designing reusable mission operations center software components;securing the link - fitting authentication into an existing space link implementation;a unified situational awareness dashboard for spacecraft operations;first steps on an on-ground autonomy test environment;is agile too fragile for space-based systemsengineering?;a quantum approach to diagnosis of multiple faults in electrical power systems;modeling for partitioned and multi-core flight softwaresystems;establishing secure interactions across distributed applications in satellite clusters;and resource planning for long-duration robotic space missions.
Reo is an exogenous coordination language for compositional construction of the coordinating subsystem of a component-based software. Constraint automaton is defined as the operational semantics of Reo. the main goal ...
详细信息
ISBN:
(纸本)9789898111043
Reo is an exogenous coordination language for compositional construction of the coordinating subsystem of a component-based software. Constraint automaton is defined as the operational semantics of Reo. the main goal of this work is to prepare a model checking based verification environment for component-based systems, which their component connectors are modeled by Reo networks and Constraint Automata. We use compositional minimization and abstraction methods of model checking for verification of component-based systems and their component connectors modeled by Reo.
Lack of hearing ability hinders deaf children from mastering grammar in language studies. Unfortunately, such software targeting Malay language is limited. this paper attempts to generate new approach in handling such...
详细信息
暂无评论