Home

Biblio

Export 11 results:
Sort by: [ Author (Desc)] Title Type Year
Filters: First Letter Of Last Name is H  [Clear All Filters]
A B C D E F G [H] I J K L M N O P Q R S T U V W X Y Z   [Show ALL]
H
Huhns, M. N., and M. P. Singh, "Service-Oriented Computing: Key Concepts and Principles", IEEE Internet Computing, vol. 9, no. 1, pp. 75-81, 2005.
Holzmann, G. J., The SPIN Model Checker: Primer and Reference Manual, : Addison-Wesley, 2003.
ter Hofstede, A. H. M., W. Aalst, M. Adams, and N. Russell, Modern Business Process Automation - YAWL and its Support Environment, : Springer, 2010.
van Hoeve, W. J., "The AllDifferent Constraint: a Survey", Sixth Annual Workshop of the ERCIM Working Group on Constraints, 2001.
van Hoeve, W. J., and M. Milano, "Postponing Branching Decisions", Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI'2004, pp. 1105-1106, 2004.
van Hoeve, W. J., C. P. Gomes, B. Selman, and M. Lombardi, "Optimal Multi-Agent Scheduling with Constraint Programming", AAAI, pp. 1813-1818, 2007.
application/pdf iconAAAI07-291.pdf
Hewitt, C., "Open Information Systems Semantics for Distributed Artificial Intelligence", Artificial Intelligence, vol. 47, no. 1-3, pp. 79-106, 1991.
Havelund, K., and G. Rosu, Testing Linear Temporal Logic Formulae on Finite Execution Traces, , no. TR 01-08: RIACS Technical Report, 2001.
Hartshorn, C., and P. Weiss, Collected Papers of Charles Sanders Peirce, , vol. 2: {Harvard University Press}, 1965.
Halpern, J. Y., and M. Y. Vardi, "Model Checking vs. Theorem Proving: A Manifesto", Academic Press Prof., Inc, pp. 151-176, 1991.
Hallé, S., and R. Villemaire, "Runtime Monitoring of Web Service Choreographies Using Streaming XML", Proceedings of to the 24th Annual ACM Symposium on Applied Computing (ACM SAC 2009), 2009.