Sciweavers

3927 search results - page 434 / 786
» Emotional Concept Development
Sort
View
CCGRID
2008
IEEE
15 years 8 months ago
Formal Verification of a Grid Resource Allocation Protocol
As the adoption of grid technology moves from science to industry, new requirements arise. In todays grid middlewares, the notion of paying for a job is a secondary requirement. In...
Mathias Dalheimer, Franz-Josef Pfreundt, Peter Mer...
BPM
2005
Springer
96views Business» more  BPM 2005»
15 years 8 months ago
Business Process Modelling and Improvement Using TAD Methodology
Abstract. This paper aims at carrying out business process modelling and business process improvement using TAD methodology. The methodology consists of six phases; the first three...
Nadja Damij, Talib Damij
DFMA
2005
IEEE
169views Multimedia» more  DFMA 2005»
15 years 8 months ago
Collaborative Student Modeling by Cognitive Maps
The evolution of the Computer Supported Collaborative Learning (CSCL) implies the definition and managing of a Student Model (SM) regarding the collaborative group of learners cap...
Alejandro Peña Ayala
SAC
2010
ACM
15 years 8 months ago
Energy-efficient scheduling on homogeneous multiprocessor platforms
Low-power and energy-efficient system implementations have become very important design issues to extend operation duration or cut power bills. To balance the energy consumption r...
Jian-Jia Chen, Lothar Thiele
ECAI
2008
Springer
15 years 8 months ago
Justification-Based Non-Clausal Local Search for SAT
While stochastic local search (SLS) techniques are very efficient in solving hard randomly generated propositional satisfiability (SAT) problem instances, a major challenge is to i...
Matti Järvisalo, Tommi A. Junttila, Ilkka Nie...