3555 search results - page 491 / 711 » Security-Critical System Development with Extended Use Cases |
158
click to vote
VSTTE
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
166
click to vote
WOSP
2005
ACM
15 years 11 months ago
2005
ACM
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...
161
click to vote
ICSM
2009
IEEE
16 years 5 days ago
2009
IEEE
Mainstream IDEs such as Eclipse support developers in managing software projects mainly by offering static views of the source code. Such a static perspective neglects any informa...
171
Voted
ISMB
2000
15 years 6 months ago
2000
Determination of the functions of all expressed proteins represents one of the major upcoming challenges in computational molecular biology. Since subcellular location plays a cru...
155
click to vote
ECCV
2002
Springer
16 years 7 months ago
2002
Springer
The instabilities of the medial axis of a shape under deformations have long been recognized as a major obstacle to its use in recognition and other applications. These instabilit...