1376 search results - page 252 / 276 » Model-Driven Software Verification |
120
click to vote
MEDINFO
2007
15 years 3 months ago
2007
Managing time-stamped data is essential to clinical research activities and often requires the use of considerable domain knowledge, which is difficult to support within database ...
106
click to vote
DAGSTUHL
2004
15 years 3 months ago
2004
Complexity is the core problem of contemporary information technology, as the "artificial complicatedness" of its artefacts is exploding. Intellectually easy and economic...
129
Voted
NSDI
2004
15 years 3 months ago
2004
Network protocols must work. The effects of protocol specification or implementation errors range from reduced performance, to security breaches, to bringing down entire networks....
129
Voted
WCE
2007
15 years 3 months ago
2007
— Software testing is a perennial problem, consequently it scores scant attention. An inclusion to testing challenges is aspect-oriented paradigm, which has a dichotomy of core a...
130
click to vote
CADE
2010
Springer
15 years 3 months ago
2010
Springer
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...