Home

Biblio

Export 15 results:
Sort by: [ Author (Desc)] Title Type Year
Filters: First Letter Of Last Name is R  [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]
R
Russo, A., R. Miller, B. Nuseibeh, and J. Kramer, "An Abductive Approach for Analysing Event-Based Requirements Specifications", Proceedings of the 18th International Conference on Logic Programming (ICLP 2002), vol. 2401: Springer, pp. 22–37, 2002.
Ruggiero, M., D. Bertozzi, L. Benini, M. Milano, and A. Andrei, "Reducing the Abstraction and Optimality Gaps in the Allocation and Scheduling for Variable Voltage/Frequency MPSoC Platforms", IEEE Trans. on CAD of Integrated Circuits and Systems, vol. 28, no. 3, pp. 378-391, 2009.
Ruggiero, M., M. Lombardi, M. Milano, and L. Benini, "Cellflow: A Parallel Application Development Environment with Run-Time Support for the Cell BE Processor", 11th Euromicro Conference on Digital System Design: Architectures, Methods and Tools, DSD 2008, Parma, Italy, pp. 645-650, 2008.
Ruggiero, M., A. Guerri, D. Bertozzi, M. Milano, and L. Benini, "A Fast and Accurate Technique for Mapping Parallel Applications on Stream-Oriented MPSoC Platforms with Communication Awareness", International Journal of Parallel Programming, vol. 36, no. 1, pp. 3-36, 2008.
Ruggiero, M., A. Guerri, D. Bertozzi, F. Poletti, and M. Milano, "Communication-aware allocation and scheduling framework for stream-oriented multi-processor systems-on-chip", Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2006, pp. 3-8, 2006.
Rozinat, A., and W. Aalst, "Conformance Testing: Measuring the Fit and Appropriateness of Event Logs and Process Models", {Proceedings of the BPM 2005 Workshops}, vol. 3812: Springer, pp. 163-176, 2006.
Rozier, K. Y., and M. Y. Vardi, "LTL Satisfiability Checking", Model Checking Software. Proceedings of the 14th International {SPIN} Workshop: Springer, pp. 149–167, 2007.
Rouached, M., W. Fdhila, and C. Godart, "A Semantical Framework to Engineering WSBPEL Processes", Information Systems and E-Business Management, vol. 7, no. 2, pp. 223-250, 2008.
Ross, R. G., Business Rule Concepts: Getting to the Point of Knowledge, : Business Rule Solutions, LLC, 2009.
Roman, D., and M. Kifer, "Semantic Web Service Choreography: Contracting and Enactment", Proceedings of the 7th International Semantic Web Conference (ISWC 2008), vol. 5318: Springer, pp. 550-566, 2008.
Roman, D., U. Keller, H. Lausen, J. de Bruijn, R. Lara, M. Stollberg, A. Polleres, C. Feier, C. Bussler, and D. Fensel, "Web Service Modeling Ontology", Applied Ontology, vol. 1(1), pp. 77 - 106, 2005.
Roli, A., and M. Milano, "An Overview of AI Research in Italy", Artificial Intelligence: An International Perspective, pp. 174-192, 2009.
Rescher, N., and A. Urquhart, Temporal Logic, : Springer, 1971.
Reiter, R., "On Closed-Word Data Bases", Logic and Data Bases: Plenum Press, pp. 55-76, 1978.
Reichert, M., S. Rinderle, U. Kreher, and P. Dadam, "Adaptive Process Management with ADEPT2", {Proceedings of the 21st International Conference on Data Engineering (ICDE 2005)}: IEEE Computer Society, pp. 1113-1114, 2005.