Výsledky vyhľadávania - "ACM: B.: Hardware/B.8: PERFORMANCE AND RELIABILITY"

An Analytical Approach for Predicting QoS of Web Services Choreographies

Autori: Goldman, Alfredo Ngoko, Yanik Milojicic, Dejan a ďalší

Prispievatelia: Goldman, Alfredo Ngoko, Yanik Milojicic, Dejan a ďalší

Zdroj: Middleware for Grid and eScience ; https://hal.inria.fr/hal-00739179 ; Middleware for Grid and eScience, Dec 2012, Montreal, Canada

Predmety: ACM: H.: Information Systems/H.4: INFORMATION SYSTEMS APPLICATIONS, ACM: B.: Hardware/B.8: PERFORMANCE AND RELIABILITY, [INFO.INFO-WB]Computer Science [cs]/Web

Geografické téma: Montreal

Time: Montreal, Canada

Relation: hal-00739179; https://hal.inria.fr/hal-00739179; https://hal.inria.fr/hal-00739179/document; https://hal.inria.fr/hal-00739179/file/mgc2012.pdf

Dostupnosť: https://hal.inria.fr/hal-00739179
https://hal.inria.fr/hal-00739179/document
https://hal.inria.fr/hal-00739179/file/mgc2012.pdf

Modeling and Verification of Real-Time Systems - Formalisms and Software Tools

Autori: Merz, Stephan Navet, Nicolas Proof-oriented development of computer-based systems (MOSEL) a ďalší

Prispievatelia: Merz, Stephan Navet, Nicolas Proof-oriented development of computer-based systems (MOSEL) a ďalší

Zdroj: https://inria.hal.science/inria-00187581 ; Stephan Merz and Nicolas Navet. ISTE Publishing, pp.400, 2008, 9781847040244.

Predmety: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, ACM: B.: Hardware/B.8: PERFORMANCE AND RELIABILITY, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Dostupnosť: https://inria.hal.science/inria-00187581

Modeling and Verification of Real-Time Systems - Formalisms and Software Tools

Autori: Merz, Stephan Navet, Nicolas Proof-oriented development of computer-based systems (MOSEL) a ďalší

Prispievatelia: Merz, Stephan Navet, Nicolas Proof-oriented development of computer-based systems (MOSEL) a ďalší

Zdroj: https://inria.hal.science/inria-00187581 ; Stephan Merz and Nicolas Navet. ISTE Publishing, pp.400, 2008, 9781847040244.

Predmety: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, ACM: B.: Hardware/B.8: PERFORMANCE AND RELIABILITY, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Dostupnosť: https://inria.hal.science/inria-00187581

Modeling and Verification of Real-Time Systems - Formalisms and Software Tools

Autori: Merz, Stephan Navet, Nicolas Proof-oriented development of computer-based systems (MOSEL) a ďalší

Prispievatelia: Merz, Stephan Navet, Nicolas Proof-oriented development of computer-based systems (MOSEL) a ďalší

Zdroj: https://hal.inria.fr/inria-00187581 ; Stephan Merz and Nicolas Navet. ISTE Publishing, pp.400, 2008, 9781847040244.

Predmety: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, ACM: B.: Hardware/B.8: PERFORMANCE AND RELIABILITY, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Relation: inria-00187581; https://hal.inria.fr/inria-00187581

Dostupnosť: https://hal.inria.fr/inria-00187581