Sciweavers

4126 search results - page 668 / 826
» Set based logic programming
Sort
View
IFM
2009
Springer
15 years 4 months ago
Verifying UML/OCL Operation Contracts
In current model-driven development approaches, software models are the primary artifacts of the development process. Therefore, assessment of their correctness is a key issue to e...
Jordi Cabot, Robert Clarisó, Daniel Riera
LION
2009
Springer
135views Optimization» more  LION 2009»
15 years 4 months ago
Neural Network Pairwise Interaction Fields for Protein Model Quality Assessment
We present a new knowledge-based Model Quality Assessment Program (MQAP) at the residue level which evaluates single protein structure models. We use a tree representation of the ...
Alberto J. M. Martin, Alessandro Vullo, Gianluca P...
ESEM
2009
ACM
15 years 4 months ago
An empirical study on software engineers motivational factors
This article describes a survey which aims to identify the relative importance of a set of factors that affect the motivation of software engineers at work. The conceptual underpi...
A. Cesar C. Franca, Fabio Q. B. da Silva
66
Voted
CDC
2008
IEEE
110views Control Systems» more  CDC 2008»
15 years 4 months ago
Multistage investments with recourse: A single-asset case with transaction costs
— We consider a financial decision problem involving dynamic investment decisions on a single risky instrument over multiple and discrete time periods. Investment returns are as...
Ufuk Topcu, Giuseppe Carlo Calafiore, Laurent El G...
HPDC
2008
IEEE
15 years 4 months ago
Resource tracking in parallel and distributed applications
In this paper, we introduce the Join-Elect-Leave (JEL) model, a simple yet powerful model for tracking the resources participating in an application. This model is based on the co...
Niels Drost, Rob van Nieuwpoort, Jason Maassen, He...