Descripción
|
|
---|---|
The main research areas of SpaRCIM are centered around: * Formal methods and programming languages: design and analysis of critical systems, quality and security of computing systems, rule-based programming, optimization, parallel and concurrent systems, programmer efficiency. * Software engineering: agile methods, components, e-mobility, mobile internet, web engineering, architecture, e-democracy, service oriented and model driven engineering. * Artificial intelligence: machine learning, multi-agent systems, constraint-based reasoning, ontologies, semantic web services, image processing and recognition. * Information systems: data mining, databases, data warehouses, modeling, decision support sytems. | |
Internacional
|
No |
Tipo de proyecto
|
Proyectos y convenios en convocatorias públicas competitivas |
Entidad financiadora
|
MICINN 2009-07495-E/TIN Special action / EU |
Nacionalidad Entidad
|
ESPAÑA |
Tamaño de la entidad
|
Pequeña Empresa (11-50) |
Fecha concesión
|