10275 search results - page 109 / 2055 » Case Studies of Autonomy |
205
click to vote
JCDL
2011
ACM
14 years 7 months ago
2011
ACM
A pattern is a model or a template used to summarize and describe the behavior (or the trend) of a data having generally some recurrent events. Patterns have received a considerab...
147
Voted
ASM
1998
ASM
15 years 9 months ago
1998
ASM
This paper is devoted to the speci cation of the Stanford FLASHcache coherence protocol within the ASM formalism. Correctness proofs related to data consistency are presented. Corn...
127
click to vote
ICSEA
2007
IEEE
15 years 11 months ago
2007
IEEE
We present experiences from a two-year study of adopting pair programming (PP) in a Finnish software product company. When adopting PP, the company used five tactics: the creation...
148
click to vote
SC
2005
ACM
15 years 10 months ago
2005
ACM
In developing High-Performance Computing (HPC) software, time to solution is an important metric. This metric is comprised of two main components: the human effort required develo...
118
click to vote
FLAIRS
2008
15 years 7 months ago
2008
The paper is dedicated to an analysis of the classic business rules study called UServ. The importance of this study comes from the fact, that it serves as a benchmark example for...