2796 search results - page 511 / 560 » A time structure based software reliability model |
156
Voted
AADEBUG
2005
Springer
15 years 9 months ago
2005
Springer
This paper introduces program chipping, a simple yet effective technique to isolate bugs. This technique automatically removes or chips away parts of a program so that the part t...
171
Voted
COMSWARE
2008
IEEE
15 years 5 months ago
2008
IEEE
Social networks refer to structures made of nodes that represent people or other entities embedded in a social context, and whose edges represent interaction between entities. Typi...
225
Voted
TOPLAS
2008
15 years 3 months ago
2008
lem of inferring termination from such abstract information is not the halting problem for programs and may well be decidable. If this is the case, the decision algorithm forms a &...
182
Voted
ISCA
2011
IEEE
14 years 7 months ago
2011
IEEE
High assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of hardware and software to manage the rest of the system. ...
152
click to vote
TEI
2012
ACM
13 years 11 months ago
2012
ACM
In the real world, touch based interaction relies on haptic feedback (e.g., grasping objects, feeling textures). Unfortunately, such feedback is absent in current tabletop systems...