In this paper a low cost open architecture PC-based axis controller for robotic applications is described. the system is based on an available low price commercial PC interface board and the controller software runs t...
详细信息
the paper is concerned withthose properties of softwarethat can be statically surmised from the source code. Many such properties have been extensively studied from the perspective of compiler construction technolog...
the paper presents a case study on the design of communication protocols using formalized design patterns. On principle, the approach adopts the well-known design patterns concept for reusing design solutions. However...
详细信息
ISBN:
(纸本)0818683775
the paper presents a case study on the design of communication protocols using formalized design patterns. On principle, the approach adopts the well-known design patterns concept for reusing design solutions. However a formal description technique (FDT) is applied as design language and therefore knowledge about pattern instantiation or its impact on the embedding context can be precisely specified. We consider formalization to be a prerequisite for increased correctness of resulting products and tool-supported pattern application. the FDT of our choice is the specification and description language SDL. thus pattern application follows strict rules ill terms of the SDL syntax. Additionally, assumptions and effects stated in terms of the SDL semantics help to ensure the intended working of an SDL-pattern,within the embedding context. An SDL-pattern based re-engineering of the Internet Stream Protocol ST2+ is presented. In particular it is demonstrated how SDL-pattern based design can boost the developer's confidence in the resulting product.
A new approach to software design based on an agent oriented architecture is presented. Unlike current research, we consider software to be designed and implemented withthis methodology in mind. In this approach agen...
详细信息
In this paper a software architecture, designed to explore and control an industrial robot from a usual personal computer, is briefly presented and explained. Actual robot control systems are position controllers and ...
详细信息
the move to the Windows NT operating system by the University Computing Service, was an excellent opportunity for the Electronic engineering Department at Kent to develop a new digital engineering curriculum, which cl...
详细信息
there are many applications in which the direction to some pulsed optical sources have to be determined: pointing and tracking systems for laser based free-beam optical communications, laser writing systems, ECM and s...
详细信息
MPEG-4 is a new standard for multimedia applications. Due to the flexible and extensible features of MPEG-4, the software-based implementation seems to be a natural and viable option. While such approaches usually req...
详细信息
this paper discusses a methodology for system level synthesis of Analog-to-Digital Converters (ADCs). the synthesis process takes symbolic or numeric user specifications as the input, transfers them into the choice of...
详细信息
this paper describes operating system process, software, and business function oriented workload characterization abstractions for distributed applications. Many can be supported directly by ARM 2.0. Suggestions for e...
详细信息
暂无评论