Information Technology Reference
In-Depth Information
231. Nau, D., Ilghami, O., Kuter, U., et al.: SHOP2: An HTN planning system.
Journal of Artificial Intelligence Research 20, 379-404 (2003)
232. Naujokat, S.: Automatische Generierung von Prozessen im jABC. Diploma
thesis, TU Dortmund (September 2009)
233. Naujokat, S., Lamprecht, A.-L., Steffen, B.: Tailoring Process Synthesis to
Domain Characteristics. In: Proceedings of the 16th IEEE International Con-
ference on Engineering of Complex Computer Systems, ICECCS (2011)
234. Naujokat, S., Lamprecht, A.-L., Steffen, B.: Loose Programming with
PROPHETS. In: de Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol. 7212,
pp. 94-98. Springer, Heidelberg (2012)
235. Naujokat, S., Neubauer, J., Lamprecht, A.-L., et al.: Plug-Ins: The Enabling
Power of Simplicity. In: Garbervetsky, D., Kim, S. (eds.) Special Issue on
Tools as Plug-ins, Software: Practice and Experience. John Wiley & Sons,
Ltd. (submission; review pending, 2013)
236. Needleman, S.B., Wunsch, C.D.: A general method applicable to the search for
similarities in the amino acid sequence of two proteins. Journal of Molecular
Biology 48(3), 443-453 (1970)
237. Nelson, B.J.: Remote Procedure Call. Phd thesis, Xerox Palo Alto Research
Center (May 1981)
238. Neubauer, J., Margaria, T., Steffen, B.: Design for Verifiability: The OCS
Case Study. In: Formal Methods for Industrial Critical Systems: A Survey of
Applications, ch. 8, pp. 153-178. Wiley-IEEE Computer Society Press (March
2013)
239. Neubauer, J., Steffen, B.: Second-Order Servification. In: Herzwurm, G., Mar-
garia, T. (eds.) ICSOB 2013. LNBIP, vol. 150, pp. 13-25. Springer, Heidelberg
(2013)
240. Nixon, T., Regnier, A., Modi, V., Kemp, D.: Web Services Dynamic Discovery
(WS-Discovery) Version 1.1 - OASIS Standard (July 2009),
241. Object Management Group (OMG): Common Object Request Broker Archi-
2013)
242. Oinn, T., Greenwood, M., Addis, M., et al.: Taverna: lessons in creating a
workflow environment for the life sciences: Research Articles. Concurrency
and Computation: Practice and Experience 18(10), 1067-1100 (2006)
243. Oldfield, P.: Domain Modelling (2002),
cessed May 5, 2013)
244. Oliver, H., Diallo, G., de Quincey, E., et al.: A user-centred evaluation frame-
work for the Sealife semantic web browsers. BMC Bioinformatics 10(suppl.
10), S14 (2009)
245. Pautasso, C.: A Flexible System for Visual Service Composition. PhD thesis,
ETH Zurich (July 2004)
246. Pesic, M., Schonenberg, H., van der Aalst, W.M.P.: DECLARE: Full Support
for Loosely-Structured Processes. In: Proceedings of the 11th IEEE Interna-
tional Enterprise Distributed Object Computing Conference (EDOC 2007),
pp. 287-300 (2007)
Search WWH ::
Custom Search