最 低 价：￥488.16
| The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community, with numerous individuals, as well as with prestigious organizations and societies, LNCS has grown into the most comprehensive computer science resarch forum available. The scope of LNCS, including its subseries LNAI, spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. The type of material publised traditionally includes. -proceedings(published in time for the respective conference) -post-proceedings(consisting of thoroughly revised final full papers) -research monographs(which may be basde on outstanding PhD work, research projects, technical reports, etc.) |
| Invited Papers Embedded Systems Unsuitable for Object Orientation On Architectural Stability and Evolution Encapsulating Failure Detection: From Crash to Byzantine Failures Contextware: Bridging Physical and Virtual Worlds Embedded Systems Evaluating Performance and Power of Object-Oriented Vs. Procedural Programming in Embedded Processors OMC-INTEGRAL Memory Management Language Issues of Compiling Ada to Hardware Case Studies Software Development Reengineering - An Experience Report Development of a Control System for Teleoperated Robots Using UML and Ada95 Using a Secure Java Micro-kernel on Embedded Devices for the Reliable Execution of Dynamically Uploaded Applications Real-Time Systems A POSIX-Ada Interface for Application-Defined Scheduling High-Integrity Systems Closing the Loop: The Influence of Code Analysis on Design High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNAT Ada Language How to Use GNAT to Efficiently Preprocess New Ada Sentences Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada Adding Design by Contract to the Ada Language Program Analysis Static Dependency Analysis for Concurrent Ada 95 Programs DataFAN: A Practical Approach to Data Flow Analysis for Ada 95 Prioritization of Test Cases in MUMCUT Test Sets: An Empirical Study. Tools About the Difficulties of Building a Pretty-Printer for Ada A Tailorable Distributed Programming Environment Distributed Systems Modeling and Schedulability Analysis of Hard Real-Time Distributed Systems Based on Ada Components …… Libraries, APIs, and Bindings Object-Orientation Author Index |
内容加载中，请稍后...
商品评论（0条）