4438 search results - page 507 / 888 » The Case for Collaborative Programming |
165
click to vote
HASE
2005
IEEE
16 years 12 days ago
2005
IEEE
Checking various temporal requirements is a key dependability concern in safety-critical systems. As modelchecking approaches do not scale well to systems of high complexity the r...
207
click to vote
ISESE
2005
IEEE
2005
IEEE
Dialog-based protocol: an empirical research method for cognitive activities in software engineering
16 years 11 days ago
This paper proposes dialog-based protocol for the study of the cognitive activities during software development and evolution. The dialog-based protocol, derived from the idea of ...
173
click to vote
ISIPTA
2005
IEEE
16 years 11 days ago
2005
IEEE
A protocol for the elicitation of imprecise probabilities based on linear programming is applied to the case of two continuous variables. Two medical experts were elicited. The re...
154
click to vote
EUROPAR
2004
Springer
16 years 5 days ago
2004
Springer
The APART working group is developing the APART Test Suite (ATS) for evaluating (automatic) performance analysis tools with respect to their correctness – that is, their ability...
212
click to vote
ICALP
2004
Springer
16 years 5 days ago
2004
Springer
We study graph orientations that minimize the entropy of the in-degree sequence. The problem of finding such an orientation is an interesting special case of the minimum entropy ...