Takip et
Heinrich (Heinz) Wilhelm Schmidt
Heinrich (Heinz) Wilhelm Schmidt
Computer Science, RMIT University & Innovation Software Advisory
rmit.edu.au üzerinde doğrulanmış e-posta adresine sahip
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Reliability prediction for component-based software architectures
RH Reussner, HW Schmidt, IH Poernomo
Journal of systems and software 66 (3), 241-252, 2003
4272003
Impact of nanoscale roughness of titanium thin film surfaces on bacterial retention
EP Ivanova, VK Truong, JY Wang, CC Berndt, RT Jones, II Yusuf, I Peake, ...
Langmuir 26 (3), 1973-1982, 2010
2352010
Time Petri nets for workflow modelling and analysis
S Ling, H Schmidt
Smc 2000 conference proceedings. 2000 ieee international conference on …, 2000
1642000
Generating adapters for concurrent component protocol synchronisation
HW Schmidt, RH Reussner
Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6/WG6. 1 …, 2002
1152002
Trustworthy components––compositionality and prediction
H Schmidt
Journal of Systems and Software 65 (3), 215-225, 2003
992003
Providing trusted components to the industry
B Meyer, C Mingins, H Schmidt
Computer 31 (5), 104-105, 1998
851998
Reasoning about software architectures with contractually specified components
RH Reussner, IH Poernomo, HW Schmidt
Component-Based Software Quality: Methods and Techniques, 287-325, 2003
822003
Document overlap detection system for distributed digital libraries
K Monostori, A Zaslavsky, H Schmidt
Proceedings of the fifth ACM conference on Digital libraries, 226-227, 2000
672000
Signature Extraction for Overlap Detection in Documents.
RA Finkel, AB Zaslavsky, K Monostori, HW Schmidt
ACSC, 59-64, 2002
662002
MatchDetectReveal: finding overlapping and similar digital documents.
K Monostori, AB Zaslavsky, HW Schmidt
IRMA Conference, 955-957, 2000
592000
Software defined networking for communication and control of cyber-physical systems
K Ahmed, JO Blech, MA Gregory, H Schmidt
2015 IEEE 21st International Conference on Parallel and Distributed Systems …, 2015
562015
Formalising Service-Oriented Design.
M Perepletchikov, C Ryan, K Frampton, HW Schmidt
J. Softw. 3 (2), 1-14, 2008
542008
Using parameterised contracts to predict properties of component based software architectures
R Reussner, H Schmidt
542002
Phosphanstabilisierte Silber (I)–Carboxylate: Synthese und Verwendung in der Silber-CVD
H Schmidt, Y Shen, M Leschke, T Haase, K Kohse-Höinghaus, H Lang
Journal of organometallic chemistry 669 (1-2), 25-31, 2003
502003
Prophylactic infusion regimens in the management of hemophilia
RCR Ljung
Thrombosis and haemostasis 82 (08), 525-530, 1999
501999
Modelling and analysing resilient cyber-physical systems
A Bennaceur, C Ghezzi, K Tei, T Kehrer, D Weyns, R Calinescu, ...
2019 IEEE/ACM 14th International Symposium on Software Engineering for …, 2019
472019
Software defined networks in industrial automation
K Ahmed, JO Blech, MA Gregory, HW Schmidt
Journal of Sensor and Actuator Networks 7 (3), 33, 2018
472018
A model-oriented framework for runtime monitoring of nonfunctional properties
K Chan, I Poernomo, H Schmidt, J Jayaputera
International Conference on the Quality of Software Architectures, 38-52, 2005
422005
Towards formalizing virtual enterprise architecture
A Goel, H Schmidt, D Gilbert
2009 13th Enterprise Distributed Object Computing Conference Workshops, 238-242, 2009
402009
Predictable component architectures using dependent finite state machines
HW Schmidt, BJ Krämer, I Poernomo, R Reussner
Radical Innovations of Software and Systems Engineering in the Future: 9th …, 2004
402004
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20