Ditapis dengan
Requirements Engineering
A Generic Process for Requirements Engineering -- System Modelling for Requirements Engineering -- Writing and Reviewing Requirements -- Requirements Engineering in the Problem Domain -- Requirements Engineering in the Solution Domain -- Advanced Traceability -- Management Aspects of Requirements Engineering -- DOORS: A Tool to Manage Requirements.This second edition follows quickly on the ?rst…
- Edisi
- 2nd ed.
- ISBN/ISSN
- 9781846280757
- Deskripsi Fisik
- XVI, 198 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
An Introduction to Queueing Theory and Matrix-Analytic Methods
Queues: The Art of Modelling -- Markov Chains and Queues in Discrete Time -- Homogeneous Markov Processes on Discrete State Spaces -- Markovian Queues in Continuous Time -- Markovian Queueing Networks -- Renewal Theory -- Markov Renewal Theory -- Semi-Markovian Queues -- Phase-Type Distributions -- Markovian Arrival Processes -- The GI/PH/1 Queue -- The BMAP/G/1 Queue -- Discrete Time Approache…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9781402036316
- Deskripsi Fisik
- XIV, 272 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Quantitative Measure for Discrete Event Supervisory Control
Theory of Language Measure and Supervisory Control -- Signed Real Measure of Regular Languages -- Optimal Supervisory Control of Regular Languages -- Robust Optimal Control of Regular Languages -- Advanced Topics in Supervisory Control -- Engineering and Software Applications of Language Measure and Supervisory Control -- Discrete Event Supervisory Control of a Mobile Robotic System -- Optimal …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387239033
- Deskripsi Fisik
- XX, 264 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Quality of Software Architectures and Software Quality
Keynotes -- Reexamining the Role of Interactions in Software Architecture -- Are Successful Test Cases Useless or Not? -- QoSA Long Papers -- DoSAM – Domain-Specific Software Architecture Comparison Model -- An Architecture-Centric Approach for Producing Quality Systems -- A Model-Oriented Framework for Runtime Monitoring of Nonfunctional Properties -- Predicting Mean Service Execution Times …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320562
- Deskripsi Fisik
- XIV, 294 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Passive and Active Network Measurement
Section 1: TCP Measurements -- On the Impact of Bursting on TCP Performance -- A Study of Burstiness in TCP Flows -- On the Stationarity of TCP Bulk Data Transfers -- Section 2: Application Measurements -- Toward the Accurate Identification of Network Applications -- A Traffic Identification Method and Evaluations for a Pure P2P Application -- Analysis of Peer-to-Peer Traffic on ADSL -- Analysi…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319665
- Deskripsi Fisik
- XII, 374 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Parallel and Distributed Processing and Applications - ISPA 2005 Workshops
Workshop 1: International Workshop on Applications and Economics of Peer-to-Peer Systems (AEPP 2005) -- Aurelia: Building Locality-Preserving Overlay Network over Heterogeneous P2P Environments -- On Building and Updating Distributed LSI for P2P Systems -- Performing Efficient Keyword Search by Keyword Grouping in DHT Peer-to-Peer Network -- Characterization of P2P File-Sharing System -- Analys…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540321156
- Deskripsi Fisik
- XX, 672 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Parallel and Distributed Processing and Applications
Keynote Speech -- Tutorial -- Session 1A: Cluster Systems and Applications -- Session 1B: Performance Evaluation and Measurements -- Session 1C: Distributed Algorithms and Systems -- Session 1D: Fault Tolerance and Reliability -- Session 2A: High-Performance Computing and Architecture I -- Session 2B: Parallel Algorithms and Systems I -- Session 2C: Network Routing and Communication Algorithms …
- Edisi
- 1st ed. 2
- ISBN/ISSN
- 9783540321002
- Deskripsi Fisik
- XXIV, 1164 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Embedded Software and Systems
Keynote Speeches and Invited Talks Abstracts (Partial) -- Track 1 Distributed Embedded Computing -- Track 2 Embedded Systems -- Track 3 Embedded Hardware and Architecture -- Track 4 Middleware for Embedded Computing -- Track 5 Mobile Systems -- Track 6 Transducer Network -- Track 7 Embedded Operating System -- Track 8 Power-Aware Computing -- Track 9 Real-Time System -- Track 10 Embedded System…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318231
- Deskripsi Fisik
- XX, 612 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Embedded Computer Systems: Architectures, Modeling, and Simulation
Keynote -- Platform Thinking in Embedded Systems -- Reconfigurable System Design and Implementations -- Interprocedural Optimization for Dynamic Hardware Configurations -- Reconfigurable Embedded Systems: An Application-Oriented Perspective on Architectures and Design Techniques -- Reconfigurable Multiple Operation Array -- RAPANUI: Rapid Prototyping for Media Processor Architecture Exploration…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316640
- Deskripsi Fisik
- XV, 476 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Analyzing Computer System Performance with Perl::PDQ
Theory of System Performance Analysis -- Time—The Zeroth Performance Metric -- Getting the Jump on Queueing -- Queueing Systems for Computer Systems -- Linux Load Average—Take a Load Off! -- Performance Bounds and Log Jams -- Practice of System Performance Analysis -- Pretty Damn Quick (PDQ)—A Slow Introduction -- Multicomputer Analysis with PDQ -- How to Scale an Elephant with PDQ -- Cli…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540268604
- Deskripsi Fisik
- XXIII, 436 p. 176 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah