400 search results - page 35 / 80 » Moving Proofs-As-Programs into Practice |
HICSS
2009
IEEE
14 years 2 months ago
2009
IEEE
Scrum was designed for hyperproductive teams where productivity increases by 5-10 times over industry averages and many colocated teams have achieved this effect. The question for...
CHI
2009
ACM
14 years 2 months ago
2009
ACM
We review the current status of ethnography in systems design. We focus particularly on new approaches to and understandings of ethnography that have emerged as the computer has m...
SAC
2009
ACM
14 years 2 months ago
2009
ACM
Shelf space allocation is the problem of efficiently arranging retail products on shelves in order to maximise profit, improve stock control, improve customer satisfaction, etc. ...
INFOCOM
2009
IEEE
14 years 2 months ago
2009
IEEE
—Vehicular Internet access via open WLAN access points (APs) has been demonstrated to be a feasible solution to provide opportunistic data service to moving vehicles. Using an in...
GECCO
2009
Springer
14 years 2 months ago
2009
Springer
Evolution has proven to be an effective method of training heterogeneous multi-agent teams of autonomous agents to explore unknown environments. Autonomous, heterogeneous agents ...