Sciweavers

359 search results - page 18 / 72
» What to Do About Microsoft
Sort
View
76
Voted
SIGUCCS
2003
ACM
15 years 2 months ago
Escaping the quicksand and getting back on the trail of team projects
Working in a team environment can be either an efficient and productive means of completing projects or a nightmare where the project never seems to end. Most of us have been a pa...
Steven K. Brawn, Kelly Caye, R. Mark Koan
SIGSOFT
1994
ACM
15 years 1 months ago
Foundations of Software Testing: Dependability Theory
Testing is potentially the best grounded part of software engineering, since it deals with the well defined situation of a fixed program and a test (a finite collection of input v...
Richard G. Hamlet
CCR
2010
102views more  CCR 2010»
14 years 9 months ago
FIE: future internet enervation
I'm so Bored of the Future Internet (FI). There are so many initiatives to look at the Internet's Future1 , anyone would think that there was some tremendous threat like...
Jon Crowcroft
CHI
2003
ACM
15 years 9 months ago
Ethnographic interviews guide design of ford vehicles website
This case study describes ethnographic interviews with vehicle buyers to learn how they make purchase decisions. The research was conducted for J. Walter Thompson (JWT), the digit...
Lori Anschuetz, Stephanie Rosenbaum
FMCO
2005
Springer
153views Formal Methods» more  FMCO 2005»
15 years 3 months ago
Smallfoot: Modular Automatic Assertion Checking with Separation Logic
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...
Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn