1938 search results - page 173 / 388 » Dependable Software |
117
click to vote
CC
2008
Springer
15 years 2 months ago
2008
Springer
There exists a positive constant < 1 such that for any function T(n) n and for any problem L BPTIME(T(n)), there exists a deterministic algorithm running in poly(T(n)) time w...
156
Voted
ISSE
2010
15 years 28 days ago
2010
A UML model of a software system can be represented by a sequence of model transformations, starting from an empty model. To effectively support the design of complex systems, tra...
109
click to vote
IWPC
2009
IEEE
15 years 9 months ago
2009
IEEE
A common static software bug detection technique is to use path simulation. Each execution path is simulated using symbolic variables to determine if any software errors could occ...
133
click to vote
VL
2006
IEEE
15 years 8 months ago
2006
IEEE
The problem of dependability in end-user programming is an emerging area of interest. Pair collaboration in end-user software development may offer a way for end users to debug th...
113
click to vote
ESOP
2010
Springer
15 years 12 months ago
2010
Springer
Proving software free of security bugs is hard. Languages that ensure that programs correctly enforce their security policies would help, but, to date, no security-typed language h...