3357 search results - page 272 / 672 » On the Use of Process Trails to Understand Software Developm... |
168
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
When designing novel GUI controls, interaction designers are challenged by the “immaterial” materiality of the digital domain; they lack tools that effectively support a refle...
203
click to vote
FMICS
2010
Springer
15 years 6 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
174
click to vote
SAINT
2007
IEEE
16 years 27 days ago
2007
IEEE
A component framework for defining content-based network processing is presented. It is unique among other existing approaches because it enables contents to naturally define th...
159
click to vote
ICSE
2008
IEEE-ACM
16 years 6 months ago
2008
IEEE-ACM
Difficulties understanding update paths while understanding code cause developers to waste time and insert bugs. A detailed investigation of these difficulties suggests that a wid...
215
Voted
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
Bounded model checking--as well as symbolic equivalence checking--are highly successful techniques in the hardware domain. Recently, bit-vector bounded model checkers like CBMC ha...