This book contains extended and revised versions of the best papers presented at the 25th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2017, held in Abu Dhabi, United Arab Emirates, in August 2017. ...Loe edasi...
This book contains extended and revised versions of the best papers presented at the 26th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2018, held in Verona, Italy, in October 2018.The 13 full papers incl...Loe edasi...
This book contains extended and revised versions of the best papers presented at the 26th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2018, held in Verona, Italy, in October 2018.The 13 full papers incl...Loe edasi...
This book contains extended and revised versions of the best papers presented at the 25th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2017, held in Abu Dhabi, United Arab Emirates, in August 2017. ...Loe edasi...
Alex Orailoglu, H. Fatih Ugurdag, Luís Miguel Silveira, Martin Margala, Ricardo Reis
Sari: IFIP Advances in Information and Communication Technology
(Ilmumisaeg: 28-Nov-2015, Hardback, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319237985)
This book contains extended and revised versions of the best papers presented at the 21st IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2013, held in Istanbul, Turkey, in October 2013. The 11 papers included in...Loe edasi...
Salvador Mir, Chi-Ying Tsui, Ricardo Reis, Oliver C.S. Choy
Sari: IFIP Advances in Information and Communication Technology
(Ilmumisaeg: 20-Sep-2014, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642445095)
This book contains extended and revised versions of the best papers presented at the 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, held in Hong Kong, China, in October 2011. The 10 papers included in...Loe edasi...
Sari: IFIP Advances in Information and Communication Technology
(Ilmumisaeg: 09-Feb-2013, Paperback / softback, Kirjastus: Springer-Verlag New York Inc., ISBN-13: 9781475754995)
The area of virtual organizations, and industrial virtual enterprises in particular, is attracting a large and growing interest both in terms of the research and development and the implementation of new business practices. An ever-increasing number...Loe edasi...
Myungchul Kim, Byoungmoon Chin, Sungwon Kang, Danhyung Lee
Sari: IFIP Advances in Information and Communication Technology
(Ilmumisaeg: 22-Jun-2013, Paperback / softback, Kirjastus: Springer-Verlag New York Inc., ISBN-13: 9781475788259)
FORTE 2001, formerly FORTE/PSTV conference, is a combined conference of FORTE (Formal Description Techniques for Distributed Systems and Communication Protocols) and PSTV (Protocol Specification, Testing and Verification) conferences. This year the c...Loe edasi...
Bart De Decker, Frank Piessens, Jan Smits, Els Van Herreweghen
Sari: IFIP Advances in Information and Communication Technology
(Ilmumisaeg: 08-Jun-2013, Paperback / softback, Kirjastus: Springer-Verlag New York Inc., ISBN-13: 9781475776652)
practioners who want to get involved in this Working Group, are kindlyrequestedtocontactthechairman. MoreinformationontheworkingsofWG11.4isavailable from the officialIFIP website:http://www.ifip.at.org/. Finally,wewish toexpressour gratitudetoallthos...Loe edasi...
Sari: IFIP Advances in Information and Communication Technology
(Ilmumisaeg: 30-May-2013, Paperback / softback, Kirjastus: Springer-Verlag New York Inc., ISBN-13: 9781475783278)
The book contains the proceedings of the Third International Working Conference on Distributed Applications and Interoperable Systems (DAIS2001), which was held in September 2001 in Kraków, Poland, and sponsored by the International Federation o...Loe edasi...
Sari: IFIP Advances in Information and Communication Technology
(Ilmumisaeg: 20-Apr-2013, Paperback / softback, Kirjastus: Springer-Verlag New York Inc., ISBN-13: 9781475747898)
Towards collaborative business ecosystems Last decade was fertile in the emerging of new collaboration mechanisms and forms of dynamic virtual organizations, leading to the concept of dynamic business ecosystem, which is supported (or induced ?) by t...Loe edasi...
Sari: IFIP Advances in Information and Communication Technology
(Ilmumisaeg: 18-Apr-2013, Paperback / softback, Kirjastus: Springer-Verlag New York Inc., ISBN-13: 9781475752700)
Formal Methods for Protocol Engineering and Distributed Systems addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application,...Loe edasi...
Luis M. Camarinha-Matos, Hamideh Afsarmanesh, Ricardo J. Rabelo
Sari: IFIP Advances in Information and Communication Technology
(Ilmumisaeg: 03-Apr-2013, Paperback / softback, Kirjastus: Springer-Verlag New York Inc., ISBN-13: 9781475750454)
The fast progress in computer networks and their wide availability complemented with on one hand the explosion of the mobile computing and on the other hand the trends in the direction of ubiquitous computing, act as powerful enablers for new forms...Loe edasi...
Sari: IFIP Advances in Information and Communication Technology
(Ilmumisaeg: 21-Mar-2013, Paperback / softback, Kirjastus: Springer-Verlag New York Inc., ISBN-13: 9781475745351)
Due to the decreasing production costs of IT systems, applications that had to be realised as expensive PCBs formerly, can now be realised as a system-on-chip. Furthermore, low cost broadband communication media for wide area communication as wel...Loe edasi...
Sari: IFIP Advances in Information and Communication Technology
(Ilmumisaeg: 21-Mar-2013, Paperback / softback, Kirjastus: Springer-Verlag New York Inc., ISBN-13: 9781475752687)
Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields: Formal methods; Distributed systems; Object-based technology.Such a convergence is r...Loe edasi...
Sari: IFIP Advances in Information and Communication Technology
(Ilmumisaeg: 05-Mar-2013, Paperback / softback, Kirjastus: Springer-Verlag New York Inc., ISBN-13: 9781475757132)
Welcome to the third International Conference on Management of Multimedia Networks and Services (MMNS2000) in Fortaleza (Brazil)! The first MMNS was held in Montreal ( Canada) in july 1997 and the second MMNS was held in Versailles (France) in Novem...Loe edasi...
Sari: IFIP Advances in Information and Communication Technology
(Ilmumisaeg: 05-Mar-2013, Paperback / softback, Kirjastus: Springer-Verlag New York Inc., ISBN-13: 9781475752625)
Formal Description Techniques and Protocol Specification, Testing and Verification addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the...Loe edasi...
Bernd Kleinjohann, K.H. (Kane) Kim, Lisa Kleinjohann, Achim Rettberg
Sari: IFIP Advances in Information and Communication Technology
(Ilmumisaeg: 05-Mar-2013, Paperback / softback, Kirjastus: Springer-Verlag New York Inc., ISBN-13: 9781475749373)
Design and Analysis of Distributed Embedded Systems is organized similar to the conference. Chapters 1 and 2 deal with specification methods and their analysis while Chapter 6 concentrates on timing and performance analysis. Chapter...Loe edasi...
Sari: IFIP Advances in Information and Communication Technology
(Ilmumisaeg: 04-Mar-2013, Paperback / softback, Kirjastus: Springer-Verlag New York Inc., ISBN-13: 9781475767056)
Testing of Communicating Systems XIV presents the latest international results in both the theory and industrial practice of the testing of communicating systems, ranging from tools and techniques for testing to test standards, frame...Loe edasi...
Sari: IFIP Advances in Information and Communication Technology
(Ilmumisaeg: 03-Mar-2013, Paperback / softback, Kirjastus: Springer-Verlag New York Inc., ISBN-13: 9781475749083)
This volume presents recent and original research relating to the modeling and performance of high speed multimedia networks in general, and ATM networks in particular. It addresses problems encountered from the design of switch architectures to h...Loe edasi...
