Ditemukan 4 dokumen yang sesuai dengan query
Dougherty, Edward R., author
Englewood Cliffs, N.J. : Prentice-Hall, 1988
006.3 DOU m
Buku Teks Universitas Indonesia Library
This book focuses on web service specification, search, composition, validation, resiliency, security and engineering, and discusses various service specification standards like WSDL, SAWSDL, WSMO and OWLS. The theory and associated algorithms for service specification verification are detailed using formal models like Petrinet, FSM and UML. The book also explores various...
Singapore: Springer Nature, 2019
e20509422
eBooks Universitas Indonesia Library
Revaldo Zen, author
Banyaknya gedung bertingkat yang sangat tinggi saat ini menyebabkan elevator semakin dibutuhkan. Elevator bergerak pada setiap lantai di dalam gedung tersebut untuk melayani permintaan orang-orang yang ingin menaiki atau menuruni lantai. Pergerakan elevator tersebut diatur oleh sebuah sistem kontrol elevator. Skripsi ini membahas mengenai pembentukan model dan simulasi dari sistem...
Depok: Universitas Indonesia, 2008
S27695
UI - Skripsi (Open) Universitas Indonesia Library
Barkalov, Alexander, author
The book begins by discussing the distinctive features of ESs, above all their cybernetic-physical character, and how they can be designed to deliver the required performance with a minimum amount of hardware. In turn, it presents a range of design methodologies. Considerable attention is paid to the hardware implementation of...
Switzerland: Springer Nature, 2019
e20508822
eBooks Universitas Indonesia Library
