Sciweavers

3432 search results - page 453 / 687
» Model Development in the UML-based Specification Environment...
Sort
View
GPC
2007
Springer
15 years 10 months ago
Assessing Contention Effects on MPI_Alltoall Communications
Abstract. One of the most important collective communication patterns used in scientific applications is the complete exchange, also called All-to-All. Although efficient algorithm...
Luiz Angelo Steffenel, Maxime Martinasso, Denis Tr...
ACAL
2007
Springer
16 years 26 days ago
Investigating a Hybrid Metaheuristic for Job Shop Rescheduling
Previous research has shown that artificial immune systems can be used to produce robust schedules in a manufacturing environment. The main goal is to develop building blocks (anti...
Salwani Abdullah, Uwe Aickelin, Edmund K. Burke, A...
CLEIEJ
2007
133views more  CLEIEJ 2007»
15 years 6 months ago
Competency Assessment: Integrating COCOMO II and People-CMM for estimation improvement
: ‘Human factor’ is one of the most relevant and crucial aspects of software development projects management. Aiming at the performance improvement for software processes in or...
Ricardo Colomo Palacios, Marcos Ruano Mayoral, Jua...
OTM
2005
Springer
16 years 4 days ago
OWL-Based User Preference and Behavior Routine Ontology for Ubiquitous System
In ubiquitous computing, behavior routine learning is the process of mining the context-aware data to find interesting rules on the user’s behavior, while preference learning tri...
Kim Anh Pham Ngoc, Young-Koo Lee, Sungyoung Lee
SAS
2001
Springer
121views Formal Methods» more  SAS 2001»
15 years 11 months ago
Embedding Chaos
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...
Natalia Sidorova, Martin Steffen