Reliable Systems on Unreliable Networked Platforms (Record no. 36803)

000 -LEADER
fixed length control field 03235nam a22005535i 4500
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 9783540711568
-- 978-3-540-71156-8
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.1
245 10 - TITLE STATEMENT
Title Reliable Systems on Unreliable Networked Platforms
Sub Title 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers /
Statement of responsibility, etc edited by Fabrice Kordon, Janos Sztipanovits.
260 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication Berlin, Heidelberg :
Name of publisher Springer Berlin Heidelberg,
Year of publication 2007.
300 ## - PHYSICAL DESCRIPTION
Number of Pages XIV, 320 p.
Other physical details online resource.
490 1# - SERIES STATEMENT
Series statement Lecture Notes in Computer Science,
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Reinventing Computing for Real Time -- Applying Service-Oriented Development to Complex Systems: BART Case Study -- Towards Dynamic Partitioning of Reactive System Behavior: A Train Controller Case Study -- The GridLite DREAM: Bringing the Grid to Your Pocket -- DARX - A Self-healing Framework for Agents -- Nautical Predictive Routing Protocol (NPRP) for the Dynamic Ad-Hoc Nautical Network (DANN) -- A Factory to Design and Build Tailorable and Verifiable Middleware -- A Concurrency Abstraction for Reliable Sensor Network Applications -- Outdoor Distributed Computing with Split Smart Messages -- Towards a Real-Time Coordination Model for Mobile Computing -- Dynamic System Reconfiguration Via Service Composition for Dependable Computing -- A Component-Based Approach for Constructing High-Confidence Distributed Real-Time and Embedded Systems -- Providing Dependable Services with Unreliable SoCs—The DECOS Approach -- Modeling and Verification of Cooperative Self-adaptive Mechatronic Systems -- Architectural Design, Behavior Modeling and Run-Time Verification of Network Embedded Systems -- Approaches for Inheritance in the TMO Programming Scheme.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Computer science.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Computer Communication Networks.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Computer system performance.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Software engineering.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Logic design.
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Computer Science.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Software Engineering.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Programming Techniques.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Programming Languages, Compilers, Interpreters.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Logics and Meanings of Programs.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Computer Communication Networks.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term System Performance and Evaluation.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Kordon, Fabrice.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Sztipanovits, Janos.
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier http://dx.doi.org/10.1007/978-3-540-71156-8
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type E-BOOKS
264 #1 -
-- Berlin, Heidelberg :
-- Springer Berlin Heidelberg,
-- 2007.
336 ## -
-- text
-- txt
-- rdacontent
337 ## -
-- computer
-- c
-- rdamedia
338 ## -
-- online resource
-- cr
-- rdacarrier
347 ## -
-- text file
-- PDF
-- rda
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
-- 0302-9743 ;
Holdings
Withdrawn status Lost status Damaged status Not for loan Current library Accession Number Uniform Resource Identifier Koha item type
        IMSc Library EBK7509 http://dx.doi.org/10.1007/978-3-540-71156-8 E-BOOKS
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha