Sciweavers

7167 search results - page 1017 / 1434
» Answer Set Programming
Sort
View
ESEM
2009
ACM
15 years 10 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
ISSTA
2009
ACM
15 years 10 months ago
A formal analysis of requirements-based testing
The aim of requirements-based testing is to generate test cases from a set of requirements for a given system or piece of software. In this paper we propose a formal semantics for...
Charles Pecheur, Franco Raimondi, Guillaume Brat
WIKIS
2009
ACM
15 years 10 months ago
Incremental knowledge acquisition in software development using a weakly-typed Wiki
Software development is a knowledge-intensive activity and frequently implies a progressive crystallization of knowledge, towards programming language statements. Although wikis h...
Filipe Figueiredo Correia, Hugo Sereno Ferreira, N...
109
Voted
CDC
2008
IEEE
110views Control Systems» more  CDC 2008»
15 years 10 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...
DEXAW
2008
IEEE
113views Database» more  DEXAW 2008»
15 years 10 months ago
Gestures, Shapes and Multitouch Interaction
Abstract—We discuss issues related to the design of a multitouch gesture sensing environment, allowing the user to execute both independent and coordinated gestures. We discuss d...
Augusto Celentano, Andrea Minuto
« Prev « First page 1017 / 1434 Last » Next »