From post

Model Checking by Generating Observers from an Interface Specification Between Components.

, и . UNISCON, том 20 из Lecture Notes in Business Information Processing, стр. 526-538. Springer, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Dynagent: An Incremental Forward-Chaining HTN Planning Agent in Dynamic Domains., , , и . DALT, том 3904 из Lecture Notes in Computer Science, стр. 171-187. Springer, (2005)Preliminary Report of Public Experiment of Semantic Service Matchmaker with UDDI Business Registry., , , , и . ICSOC, том 2910 из Lecture Notes in Computer Science, стр. 208-224. Springer, (2003)A fault-tolerant architecture based on autonomous replicated objects., , , и . HICSS (2), стр. 506-515. IEEE Computer Society, (1995)A Directory Server for Mobile Agents Interoperability., , , , , и . EDOC, стр. 144-. IEEE Computer Society, (2000)Web Service Gateway - A Step Forward to E-Business., , и . ICWS, стр. 648-655. IEEE Computer Society, (2004)JCMT BISTRO Survey observations of the Ophiuchus Molecular Cloud: Dust grain alignment properties inferred using a Ricean noise model, , , , , , , , , и 11 other автор(ы). (2019)cite arxiv:1906.03391Comment: 21 pages, 8 figures, 3 tables, accepted for publication in ApJ.Web Services Lookup: A Matchmaker Experiment., , , , и . IT Prof., 7 (2): 36-41 (2005)Ubiquitous Metadata Scouter - Ontology Brings Blogs Outside., , , , и . ASWC, том 4185 из Lecture Notes in Computer Science, стр. 752-761. Springer, (2006)Interoperability for mobile agents by incarnation agents., , , , , и . AAMAS, стр. 1006-1007. ACM, (2003)Dynamic Invocation Model of Web Services Using Subsumption Relations., , , и . ICWS, стр. 150-. IEEE Computer Society, (2004)