Publications

Export results as:

Showing 4041 - 4050 results of 5682

2012

Military Reconstructive Simulation in the Cloud to Aid Battlefield Excavations

2012 IEEE 4th International Conference on Cloud Computing Technology and Science

P. Wittek, and X. Rubio-Campillo
Scalable Agent-based Modelling with Cloud HPC Resources for Social Simulations

2012 IEEE 4th International Conference on Cloud Computing Technology and Science

P. Wittek, and X. Rubio-Campillo
Business-Driven IT Management for Cloud Computing Providers

4th IEEE International Conference on Cloud Computing Technology and Science (CloudCom'12)

O. Fitó, M. Macías, F. Julià, and J. Guitart
Air Quality Services.Europe and North Africa, Internatiol. Monitoring and Forecasting Dust Storms

The Growing uses of GMES across Europe's regions

E. Cuevas, O. Boucher, J. M. Baldasano, M. Schulz, E. Terradellas, and J. J. Morcrette
Cheat-proof Trust Model for Cloud Computing Markets

Lecture Notes on Computer Science (LNCS), 9th International Conference on Economics of Grids, Clouds, Systems, and Services (GECON'12)

M. Macías, and J. Guitart
Improving disk I/O by paravirtualizing block requests

KVM Forum

M. Brugger, R. Nou, and T. Cortes
Kernel Partitioning of Streaming Applications: A Statistical Approach to an NP-complete Problem

International Symposium on Microarchitecture (MICRO-45)

P. Radojkovic, P. Carpenter, M. Moreto, A. Ramirez, and F. Cazorla
OCL-Lite: A Decidable (Yet Expressive) Fragment of OCL

Description Logics

A. Queralt, A. Artale, D. Calvanese, and E. Teniente
Verification and Validation of UML Conceptual Schemas with OCL Constraints

ACM Transactions on Software Engineering and Methodology

A. Queralt, and E. Teniente
OCL-Lite: Finite reasoning on UML/OCL conceptual schemas

Data & Knowledge Engineering

A. Queralt, A. Artale, D. Calvanese, and E. Teniente

Pages